575 search results - page 73 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
108
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
100
click to vote
ISSTA
1993
ACM
15 years 5 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...
105
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Software must be adapted to accommodate new features in the context of changing requirements. In this paper, we illustrate how applications with aspect weaving capabilities can be...
LSO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...