4722 search results - page 203 / 945 » Encoding Program Executions |
144
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
161
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
118
click to vote
APSEC
1997
IEEE
15 years 9 months ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
134
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
134
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...