2227 search results - page 250 / 446 » Reversibility and Models for Concurrency |
ACMMSP
2006
ACM
14 years 4 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
FPL
2009
Springer
14 years 3 months ago
2009
Springer
Automated code generation and performance tuning techniques for concurrent architectures such as GPUs, Cell and FPGAs can provide integer factor speedups over multi-core processor...
SCCC
1999
IEEE
14 years 3 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
DEXA
1998
Springer
14 years 3 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...