4356 search results - page 21 / 872 » Communicating Transactions - (Extended Abstract) |
DAGSTUHL
2006
13 years 10 months ago
2006
CCR
2004
13 years 8 months ago
2004
ICCD
1999
IEEE
14 years 25 days ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
PPOPP
2010
ACM
14 years 5 months ago
2010
ACM
Exploiting the emerging reality of affordable multi-core architeces through providing programmers with simple abstractions that would enable them to easily turn their sequential p...
DBKDA
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...