2468 search results - page 328 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
135
Voted
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Parallel processors such as SIMD computers have been successfully used in various areas of high performance image and data processing. Due to their characteristics of highly regula...
158
click to vote
CMG
2003
15 years 5 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
128
click to vote
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Within collaborative computing, computer mediated communications are evolving rapidly thanks to the development of new technologies. The facilitation of awareness and discovery ...
138
Voted
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
128
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...