7103 search results - page 521 / 1421 » Program Generation and Components |
153
click to vote
HIPEAC
2007
Springer
15 years 9 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
143
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
186
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
182
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
165
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...