6031 search results - page 93 / 1207 » Communicating Transaction Processes |
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
114
click to vote
SRDS
2000
IEEE
15 years 4 months ago
2000
IEEE
One way to implement a fault-tolerant a service is by replicating it at sites that fail independently. One of the replication techniques is active replication where each request i...
172
click to vote
ICDE
1998
IEEE
16 years 1 months ago
1998
IEEE
We consider an environment where one or more servers carry databases that are of interest to a community of clients. The clients are only intermittently connected to the server fo...
179
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
A reparable database management system has the ability to automatically undo the set of transactions that are corrupted by a human error or malicious attack. The key technical chal...
100
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...