3521 search results - page 17 / 705 » Algorithmic Control in Concurrent Computations |
GECCO
2007
Springer
14 years 14 days ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Screen readers can drive braille devices for allowing visually impaired users to access computer environments, by providing them the same information as sighted users. But in some...
NCA
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper presents a primary-backup protocol to manage replicated in-memory database systems (IMDBs). The protocol exploits two features of IMDBs: coarse-grain concurrency control...
HT
1993
ACM
14 years 20 days ago
1993
ACM
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
BIRTHDAY
2000
Springer
14 years 28 days ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...