2509 search results - page 117 / 502 » Transactional stream processing |
108
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
117
click to vote
TLDI
2009
ACM
15 years 11 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 ...
140
click to vote
SRDS
2000
IEEE
15 years 6 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...
199
Voted
ICDE
2008
IEEE
16 years 3 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...
124
click to vote
HPDC
2008
IEEE
15 years 8 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...