218 search results - page 22 / 44 » A Multi-level Approach to Program Synthesis |
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
ASAP
2004
IEEE
13 years 11 months ago
2004
IEEE
Distributed local memories, or scratchpads, have been shown to effectively reduce cost and power consumption of application-specific accelerators while maintaining performance. Th...
JSS
2008
13 years 7 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
ISCA
1997
IEEE
13 years 12 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...