4385 search results - page 50 / 877 » Abstraction for Concurrent Objects |
74
Voted
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
89
Voted
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
99
Voted
CONCURRENCY
1998
14 years 10 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
78
Voted
TGC
2005
Springer
15 years 4 months ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...