Results 31 to 40 of about 230,052 (302)

CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

, 2019
We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary.
Bhatu, P., Brahmakshatriya, A., Garg, D., Kedia, P., Lal, A., McKee, D., Nemati, H., Panda, A., Rastogi, A.   +8 more
core   +1 more source

A Fast Compiler for NetKAT [PDF]

, 2015
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about network behavior. Unfortunately, current compilers only handle "local" programs
Eliopoulos, Spiridon, Foster, Nate, Guha, Arjun, Smolka, Steffen   +3 more
core   +1 more source

Developing evidence‐based, cost‐effective P4 cancer medicine for driving innovation in prevention, therapeutics, patient care and reducing healthcare inequalities

Molecular Oncology, EarlyView.
The cancer problem is increasing globally with projections up to the year 2050 showing unfavourable outcomes in terms of incidence and cancer‐related deaths. The main challenges are prevention, improved therapeutics resulting in increased cure rates and enhanced health‐related quality of life.
Ulrik Ringborg, Joachim von Braun, Julio Celis, Anton Berns, Michael Baumann, Tit Albreht, Nancy Abou‐Zeid, Vanderlei Bagnato, Christian Brandts, Chien‐Jen Chen, Massimiliano di Pietro, Manjit Dosanjh, Thomas Dubois, Alexander Eggermont, Angelika Eggert, Ingemar Ernberg, Sara Faithfull, Johannes Förner, Stefan Fröhling, Manuel Heitor, Leroy Hood, Wei Jiang, Bengt Jönsson, Ravi Kannan, Maria Leptin, Su Li, Peter Lindgren, Douglas Lowy, Jun Ma, Alex Markham, Péter Nagy, Simon Oberst, M. Iqbal Parker, Danielle Rodin, Kevin Ryan, Joachim Schüz, Richard Sullivan, Josep Tabernero, Peter Turkson, Oliver Várhelyi, Harold Varmus, Chijie Wang, Elisabete Weiderpass, Nils Wilking   +43 more
wiley   +1 more source

Quadsim Version 2.1 Student Manual [PDF]

, 1993
Quadsim is an intermediate code simulator. It allows you to "run" programs that your compiler generates in intermediate code format. Its user interface is similar to most debuggers in that you can step through your program, instruction by instruction ...
Shaban, Marwan
core   +1 more source

A Survey on Compiler Autotuning using Machine Learning

, 2018
Since the mid-1990s, researchers have been trying to use machine-learning based approaches to solve a number of different compiler optimization problems.
Ashouri, Amir H., Cavazos, John, Killian, William, Palermo, Gianluca, Silvano, Cristina   +4 more
core   +1 more source

A formally verified compiler back-end [PDF]

, 2008
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming ...
A Dold, A Dold, A Hobor, A Pnueli, ACJ Fox, AJ Chlipala, AW Appel, AW Appel, AW Appel, BK Rosen, C Lindig, CW Barrett, D Cachera, D Lacey, D Leinenbach, D Leinenbach, E Eide, F Henderson, G Barthe, G Barthe, G Barthe, G Barthe, G Clemmensen, G Goos, G Klein, G Li, G Li, G Morrisett, G Morrisett, GA Kildall, GC Necula, GC Necula, GC Necula, GC Necula, GJ Chaitin, GP Huet, H-J Boehm, IBM Corporation, J Chen, J Guttman, J Knoop, J Knoop, J McCarthy, J-B Tristan, J-B Tristan, JO Blech, JR Ellis, JS Moore, JS Moore, L Beringer, L Chirica, L George, L Rideau, LD Zuck, M Huisman, M Müller-Olm, M Strecker, MA Dave, N Benton, P Letouzey, P Letouzey, PH Hartel, PW O’Hearn, Q Huang, R Milner, R Stärk, S Beyer, S Blazy, S Blazy, S Coupet-Grimal, S Gulwani, S Lerner, SL Peyton Jones, SS Muchnick, TC Hales, WM McKeeman, X Feng, X Leroy, X Leroy, X Leroy, X Leroy, X Rival, Xavier Leroy, Y Bertot, Y Bertot, Z Shao   +85 more
core   +8 more sources

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Silicon compilation [PDF]

, 1987
Silicon compilation is a term used for many different purposes. In this paper we define silicon compilation as a mapping from some higher level description into layout.
Dutt, Nikil D., Gajski, Daniel D., Pangrle, Barry M.   +2 more
core  

Overview of molecular signatures of senescence and associated resources: pros and cons

FEBS Open Bio, EarlyView.
Cells can enter a stress response state termed cellular senescence that is involved in various diseases and aging. Detecting these cells is challenging due to the lack of universal biomarkers. This review presents the current state of senescence identification, from biomarkers to molecular signatures, compares tools and approaches, and highlights ...
Orestis A. Ntintas, Sylvia Vagena, Pavlos Pantelis, Giorgos Theocharous, Russel Petty, Konstantinos Evangelou, Vassilis G. Gorgoulis   +6 more
wiley   +1 more source

Baseline Evaluation of Backpropagation Artificial Neural Network for Visual Image-Based Vehicle Type Classification

Compiler
The increasing number of vehicles in urban areas requires technology-based solutions for efficient transportation management. This study proposes a vehicle classification model using Artificial Neural Networks (ANN) with the backpropagation algorithm ...
Rika Harman, Imam Riadi, Abdul Fadlil
doaj   +1 more source