2373 search results - page 109 / 475 » Towards a Model of Computer Systems Research |
122
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Peer-to-peer (P2P) computing grids consist of peer nodes that communicate directly among themselves through wide-area networks and can act as both clients and servers. These syste...
123
Voted
HPCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
143
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
176
click to vote
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
This work presents a user position management system for Wi-Fi networks. The location system is based on access point coverage range and beacon devices. The implementation was mad...
149
click to vote
WSC
1997
15 years 5 months ago
1997
Components of modern parallel systems are becoming quite complex with many features and variations. An integrated modeling of these components (interconnection network, messaging ...