5015 search results - page 695 / 1003 » Model Checking a Path |
180
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—The use of adaptively-routed wormhole switched k-ary n-cubes has been motivated by the high path diversity provided by the rich topology of this family of interconnection networ...
198
click to vote
HPCC
2007
Springer
16 years 26 days ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...
175
click to vote
MSN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Multi-hop wireless networks provide a quick and easy way for networking when we need a temporary network or when cabling is difficult. The 802.11 Medium Access Control (M...
153
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
We discuss the gap we experience in an industrial design path of high-speed packet switches. As bandwidth demand exceeds progress in CMOS technology, system architects are forced ...
210
click to vote
PADS
1999
ACM
15 years 11 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...