2673 search results - page 361 / 535 » Guided Static Analysis |
147
Voted
ASAP
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...
128
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
137
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
153
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
138
click to vote
JIT
1999
Springer
15 years 9 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...