1154 search results - page 40 / 231 » Mathematizing C concurrency |
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
SIGSOFT
2009
ACM
14 years 9 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...
RTAS
1999
IEEE
14 years 1 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
SIGMOD
1997
ACM
14 years 1 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
PADL
2010
Springer
13 years 11 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...