Sciweavers

618 search results - page 79 / 124
» A Practical Program Transformation System for Reverse Engine...
Sort
View
ADAEUROPE
2005
Springer
15 years 8 months ago
Extending Ravenscar with CSP Channels
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
Diyaa-Addein Atiya, Steve King
100
Voted
WEBI
2004
Springer
15 years 8 months ago
Using Semantic Graphs in Clustering Process : Enhance Information Level
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
Jean-Sébastien Brunner, Isabelle Berrien
PLDI
1997
ACM
15 years 7 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
Michael Sperber, Peter Thiemann
ICSM
2005
IEEE
15 years 9 months ago
Appletizing: Running Legacy Java Code Remotely from a Web Browser
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...
Eli Tilevich, Yannis Smaragdakis, Marcus Handte
PLDI
2003
ACM
15 years 8 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...