1027 search results - page 154 / 206 » Callgraph properties of executables |
134
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
128
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
110
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a new register assignment heuristic for procedures in SSA Form, whose interference graphs are chordal; the heuristic is called optimistic chordal coloring (OCC...
117
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
143
click to vote
DLS
2007
15 years 7 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...