4604 search results - page 683 / 921 » Concurrency in Synchronous Systems |
100
click to vote
SIGMETRICS
2004
ACM
15 years 6 months ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
126
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
105
Voted
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
112
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
104
Voted
HIPEAC
2010
Springer
15 years 2 months ago
2010
Springer
The optimistic nature of Transactional Memory (TM) systems can lead to the concurrent execution of transactions that are later found to conflict. Conflicts degrade scalability, a...