Sciweavers

10899 search results - page 609 / 2180
» The GP Programming System
Sort
View
PLDI
2009
ACM
16 years 2 months ago
Error propagation analysis for file systems
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
Cindy Rubio-González, Haryadi S. Gunawi, Be...
VLSID
2004
IEEE
112views VLSI» more  VLSID 2004»
16 years 7 months ago
Profiling Driven Computation Reuse: An Embedded Software Synthesis Technique for Energy and Performance Optimization
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
Weidong Wang, Anand Raghunathan, Niraj K. Jha
POPL
2004
ACM
16 years 7 months ago
Polymorphic typed defunctionalization
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
François Pottier, Nadji Gauthier
IWPC
2002
IEEE
16 years 3 days ago
Slicing Aspect-Oriented Software
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
Jianjun Zhao
REFLECTION
2001
Springer
15 years 11 months ago
A Hybrid Approach to Separation of Concerns: The Story of SADES
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
Awais Rashid