Sciweavers

1821 search results - page 117 / 365
» Security-Aware Program Transformations
Sort
View
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
14 years 1 months ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon
SOFTWARE
2011
13 years 4 months ago
A Refactoring Approach to Parallelism
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
Danny Dig
IJPP
2011
115views more  IJPP 2011»
13 years 15 days ago
Milepost GCC: Machine Learning Enabled Self-tuning Compiler
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
Grigori Fursin, Yuriy Kashnikov, Abdul Wahid Memon...
ICSE
2009
IEEE-ACM
14 years 10 months ago
Refactoring sequential Java code for concurrency via concurrent libraries
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
Danny Dig, John Marrero, Michael D. Ernst
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 9 months ago
Automatic Modular Abstractions for Template Numerical Constraints
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
David Monniaux