2943 search results - page 153 / 589 » Software Implementation of Synchronous Programs |
122
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
159
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
113
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
158
click to vote
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
Symmetric multiprocessing (SMP) virtual machines (VMs) allow users to take advantage of a multiprocessor infrastructure. Despite the advantage, SMP VMs can cause synchronization l...
114
click to vote
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...