4356 search results - page 15 / 872 » Communicating Transactions - (Extended Abstract) |
INFOCOM
2000
IEEE
13 years 11 months ago
2000
IEEE
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
JSA
2006
13 years 7 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...