45 search results - page 6 / 9 » A Partial Evaluation Framework for Curry Programs |
91
Voted
FMOODS
2007
14 years 11 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
78
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
122
Voted
VEE
2006
ACM
15 years 4 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
100
Voted
TCAD
2002
14 years 10 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...