2943 search results - page 175 / 589 » Software Implementation of Synchronous Programs |
115
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
122
click to vote
ICCD
1992
IEEE
15 years 7 months ago
1992
IEEE
Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in ...
141
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
222
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
130
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...