1738 search results - page 254 / 348 » Local Consistency and SAT-Solvers |
CLUSTER
2001
IEEE
14 years 1 months ago
2001
IEEE
High-performance computing clusters (commodity hardware with low-latency, high-bandwidth interconnects) based on Linux, are rapidly becoming the dominant computing platform for a ...
ICC
2000
IEEE
14 years 1 months ago
2000
IEEE
Wireless ad-hoc networks consist of mobile nodes forming a dynamically changing topology without any infrastructure. Multicasting in a wireless ad-hoc network is difficult and chal...
ISHPC
2000
Springer
14 years 1 months ago
2000
Springer
Partitioned parallel radix sort is a parallel radix sort that shortens the execution time by modifying the load balanced radix sort which is known one of the fastest internal sort...
APN
1995
Springer
14 years 1 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
FCT
1995
Springer
14 years 1 months ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...