345 search results - page 53 / 69 » A Programming Logic for Sequential Java |
106
click to vote
SECON
2007
IEEE
15 years 5 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
ESOP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
111
click to vote
PPOPP
2011
ACM
14 years 1 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
113
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
110
click to vote
SIGOPSE
1998
ACM
15 years 3 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...