7486 search results - page 1308 / 1498 » The Limits of Quantum Computers |
180
click to vote
ICS
2004
Tsinghua U.
15 years 12 months ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
197
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
181
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
185
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...
167
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
—Current multimedia application deployment tends to rely on composable service systems, where a complex multimedia service can be composed dynamically from multiple simpler ones ...