4835 search results - page 831 / 967 » Refactoring Functional Programs |
HIPEAC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
CAV
2004
Springer
14 years 28 days ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
COOPIS
2004
IEEE
14 years 28 days ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
CSB
2004
IEEE
14 years 28 days ago
2004
IEEE
The ability to control gene expression during development in plants could be used for improving crop yields, resistance to disease, and environmental adaptability. It has been sug...
DAC
2004
ACM
14 years 28 days ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...