2595 search results - page 45 / 519 » Modes in Asynchronous Systems |
160
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
165
click to vote
WDAG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that ar...
115
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi’s iterative method for the 2-D Poisson equation on a structured grid, in both single- and doublepreci...
125
Voted
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— The accurate Bit Error Rate (BER) calculation of an asynchronous Ricean-faded DS-CDMA system using random spreading sequences and BPSK modulation is studied in this paper. A ne...
121
click to vote
IPM
2010
15 years 2 months ago
2010
There are a number of multimedia tasks and environments that can be collaborative in nature and involve contributions from more than one individual. Examples of such tasks include...