10909 search results - page 2138 / 2182 » Evaluating Backup Algorithms |
153
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
141
Voted
COMCOM
2008
15 years 3 months ago
2008
Code allocation has a significant impact on the performance of Code Division Multiple Access (CDMA) systems. For the uplink direction, in 3G Wideband CDMA (WCDMA) cellular systems...
132
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
136
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- The calculation of network reliability in a probabilistic context has long been an issue of practical and academic importance. Conventional approaches (determination of ...
131
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...