2637 search results - page 382 / 528 » Tool Supported Specification and Simulation of Distributed S... |
167
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
179
click to vote
HOTI
2008
IEEE
16 years 24 days ago
2008
IEEE
The high performance switch plays a critical role in the high performance computer (HPC) system. The applications of HPC not only demand on the low latency and high bandwidth of t...
166
click to vote
ISPAN
2005
IEEE
15 years 12 months ago
2005
IEEE
Most high-end switches use an input-queued or a combined input- and output-queued architecture. The switch fabrics of these architectures commonly use an iterative scheduling syst...
141
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose a novel energy-efficient approach, a localized routing tree (LRT) coupled with a route redirection (RR) strategy, to support various types of queries. LR...
172
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...