Results 111 to 120 of about 461,576 (313)

Constraint-based Code Generation [PDF]

, 2013
Compiler back-ends generate assembly code by solving three main tasks: instruction selection, register allocation and instruction scheduling. We introduce constraint models and solving techniques for these code generation tasks and describe how the ...
Drejhammar, Frej, Mats Carlsson, Roberto Castañeda Lozano, Gabriel Hjort Blindell, Schulte, Christian,, Castañeda Lozano, Roberto, Christian Schulte, Carlsson, Mats, Schulte, Christian, Frej Drejhammar, Carlsson, Mats,, Drejhammar, Frej,, Hjort Blindell, Gabriel, Castañeda Lozano, Roberto,, Hjort Blindell, Gabriel,   +14 more
core   +1 more source

A generalization of the binary Preparata code

Discrete Applied Mathematics, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexey S. Kuzmin, Viktor T. Markov, Alexander A. Nechaev, A. S. Neljubin   +3 more
openaire   +1 more source

Keratin 19 as a prognostic marker and contributing factor of metastasis and chemoresistance in high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch, Isabel Vogel, Sina Nokodian, Johanna Moeller, Antonia Blechschmidt, Vicky Hecht, Vanessa Kuentzel, Katharina Thiedig, Melissa Schwab, Oliver Schilling, Holger Bronger, Marion Kiechle, Viktor Magdolen, Tobias Dreyer   +13 more
wiley   +1 more source

Formal Verification of Security Protocol Implementations: A Survey [PDF]

, 2014
Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
Pironti, Alfredo, Avalle, Matteo, Sisto, Riccardo, Avalle, Matteo Carlo   +3 more
core   +1 more source

Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma

Molecular Oncology, EarlyView.
The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic, Anne Nørremølle, Lilian Bomme Ousager, Lars van Brakel Andersen, Marie Louise Mølgaard Binderup, Mads Thomassen   +5 more
wiley   +1 more source

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis [PDF]

, 2012
This paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code.
Lim, Junghee, Reps, Thomas
core   +1 more source

Security Analysis of Automated Code Generation: Structural Vulnerabilities in AI-Generated Code

Tehnički Glasnik
AI-driven code generation enhances operational efficiency; however, it also introduces security vulnerabilities due to insufficient human oversight during development.
Sang Hyun Yoo, Hyun Jung Kim
doaj   +1 more source

Hippo pathway at the crossroads of stemness and therapeutic resistance in breast cancer

Molecular Oncology, EarlyView.
Dysregulation of the Hippo pathway drives nuclear accumulation of YAP/TAZ, activating stemness‐related transcriptional programs that sustain breast cancer stemness and fuel therapeutic resistance across subtypes, underscoring Hippo signaling as a targetable vulnerability. Figure created and edited with BioRender.com.
Giulia Schiavoni, Antonella Palmese, Stefano Scalera, Laura Cipriani, Davide Mascolo, Patrizia Vici, Teresa Arcuri, Lorena Filomeno, Eriseld Krasniqi, Giovanni Blandino, Giulia Bon, Marcello Maugeri‐Saccà   +11 more
wiley   +1 more source

An Approach for Rapid Source Code Development Based on ChatGPT and Prompt Engineering

IEEE Access
Code generation stands as a powerful technique in modern software development, improving development efficiency, reducing errors, and fostering standardization and consistency.
Youjia Li, Jianjun Shi, Zheng Zhang
doaj   +1 more source

Deciphering transcriptional plasticity in pancreatic ductal adenocarcinoma reveals alterations in sensory neuron innervation

Molecular Oncology, EarlyView.
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova, Michele Montrone, Uday Rangaswamy, Francesco Diversi, Irene Schiavo, Denise Ferrarini, Roberta Di Florio, Irene Longo, Michele Coscia, Nicola Zamboni, Giorgia Demontis, Lisa Veghini, Vincenzo Corbo, Remo Sanges, Paul Heppenstall   +14 more
wiley   +1 more source