1362 search results - page 248 / 273 » Model Checking Large Network Protocol Implementations |
89
Voted
OPODIS
2007
14 years 11 months ago
2007
Peer to peer overlay networks have proven to be a good support for storing and retrieving data in a fully decentralized way. A sound approach is to structure them in such a way tha...
86
Voted
SG
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
SCCC
1998
IEEE
15 years 1 months ago
1998
IEEE
We present a scalable algorithm for the parallel computation of inverted files for large text collections. The algorithm takes into account an environment of a high bandwidth netw...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
96
Voted
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Today's mobile devices support many wireless technologies to achieve ubiquitous connectivity. Economic and energy constraints, however, drive the industry to impleme...