709 search results - page 107 / 142 » An Equational Theory for Transactions |
OSDI
2008
ACM
15 years 11 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—The hidden knowledge in social networks data can be regarded as an important resource for criminal investigations which can help finding the structure and organization of a crim...
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...