4298 search results - page 345 / 860 » Computing at the top of the world |
199
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
172
click to vote
BROADNETS
2006
IEEE
16 years 25 days ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...
172
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
— Widespread use of cluster systems in diverse set of applications has spurred significant interest in providing high performance cluster interconnects. A major inefficiency in...
145
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
184
click to vote
E2EMON
2006
IEEE
16 years 25 days ago
2006
IEEE
— For active, probing-based bandwidth measurements performed on top of the unifying IP layer, it may seem reasonable to expect the measurement problem in wireless networks to be ...