30 search results - page 4 / 6 » Efficient on-the-fly Algorithm for Checking Alternating Time... |
PARLE
1987
1987
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
13 years 11 months ago
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
SRDS
2008
IEEE
14 years 1 months ago
2008
IEEE
Distributed storage systems often use data replication to mask failures and guarantee high data availability. Node failures can be transient or permanent. While the system must ge...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
WSC
2000
13 years 8 months ago
2000
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...