173 search results - page 25 / 35 » Interprocedural analysis of asynchronous programs |
123
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
152
Voted
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
103
Voted
ASYNC
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...
117
Voted
WSC
2001
15 years 4 months ago
2001
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
143
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...