1880 search results - page 269 / 376 » A Static Analysis for Beta-Binders |
181
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
179
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
169
click to vote
ASAP
2000
IEEE
15 years 10 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...
145
click to vote
AGENTS
2000
Springer
15 years 10 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...
155
click to vote
ICCAD
1999
IEEE
15 years 10 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...