20745 search results - page 136 / 4149 » Computer graphics for all |
119
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
The paper proposes a novel approach for optimizing performance of all-to-all collective communication by taking advantage of concurrency available in modern networks such as Infin...
102
click to vote
NDSS
1998
IEEE
15 years 6 months ago
1998
IEEE
All-Optical Networks provide ultra-fast data rates, but present a new set of challenges for network security. We present a new algorithm for attack localization in networks. The a...
105
click to vote
IPL
2000
15 years 1 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
110
Voted
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
112
click to vote
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Personal energy consumption, specifically home energy consumption such as heating, cooling, and electricity, has been an important environmental and economic topic for decades. De...