3713 search results - page 521 / 743 » Constructing a Calculus of Programs |
107
click to vote
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
154
click to vote
RTSS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
136
click to vote
CHI
2007
ACM
15 years 7 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
121
click to vote
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
128
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...