2180 search results - page 128 / 436 » Performance analysis of concurrent systems with early evalua... |
188
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
The early success of link-based ranking algorithms was predicated on the assumption that links imply merit of the target pages. However, today many links exist for purposes other ...
192
click to vote
COOPIS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper describes the design and performance of a new asynchronous method handling (AMH) mechanism that allows CORBA servers to process client requests asynchronously. AMH deco...
155
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
203
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
208
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...