2678 search results - page 208 / 536 » Operational Semantics of Transactions |
152
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
After a system crash, databases recover to the last committed transaction, but applications usually either crash or cannot continue. The Phoenix purpose is to enable application s...
196
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
202
click to vote
AFP
2008
Springer
16 years 27 days ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
127
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...
137
click to vote
DAC
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we present a Design-for-Debug (DFD) reconfigurable infrastructure for SoCs to support at-speed in-system functional debug. A distributed reconfigurable fabric insert...