1027 search results - page 51 / 206 » Callgraph properties of executables |
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...
110
Voted
GRID
2004
Springer
15 years 6 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
110
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
110
click to vote
CP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
135
Voted
DAGSTUHL
1994
15 years 2 months ago
1994
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...