967 search results - page 58 / 194 » Cycle spaces in topological spaces |
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
108
click to vote
HPCA
2009
IEEE
16 years 29 days ago
2009
IEEE
Driven by continuing scaling of Moore's law, chip multiprocessors and systems-on-a-chip are expected to grow the core count from dozens today to hundreds in the near future. ...
115
click to vote
AEI
1999
15 years 3 days ago
1999
Multihop lightwave networks are a means of utilizing the large bandwidth of optical fibers. In these networks, each node has a fixed number of transmitters and receivers connected...
103
Voted
TRIDENTCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— To evaluate routing protocols on a controlled indoor wireless testbed, the radio range must be compressed so that larger multi-hop topologies can be mapped into a laboratorysiz...
87
Voted
ISMB
2000
15 years 1 months ago
2000
A novel description of protein structure in terms of the generalized secondary structure elements (GSSE) is proposed. GSSE's are defined as fragments of the protein structure...