Sciweavers

214 search results - page 27 / 43
» Automatic Correction of Loop Transformations
Sort
View
95
Voted
EUROSYS
2009
ACM
15 years 9 months ago
Ksplice: automatic rebootless kernel updates
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
Jeff Arnold, M. Frans Kaashoek
122
Voted
SAC
2010
ACM
15 years 5 months ago
Chemical-inspired self-composition of competing services
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
Mirko Viroli, Matteo Casadei
SP
2002
IEEE
165views Security Privacy» more  SP 2002»
15 years 2 days ago
NINJA: Java for high performance numerical computing
When Java was first introduced, there was a perception that its many benefits came at a significant performance cost. In the particularly performance-sensitive field of numerical ...
José E. Moreira, Samuel P. Midkiff, Manish ...
KBSE
2008
IEEE
15 years 6 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
119
Voted
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 8 days ago
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Michael Leuschel, Maurice Bruynooghe