1362 search results - page 140 / 273 » Model Checking Large Network Protocol Implementations |
132
Voted
NETGAMES
2003
ACM
15 years 8 months ago
2003
ACM
Abstract— Multiplayer games become increasingly popular, mostly because they involve interaction among humans. Typically, multiplayer games are organized based on a Client-Server...
117
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
111
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Network performance measurement and prediction is very important to predict the running time of high performance computing applications. The LogP model family has been proven to b...
101
click to vote
EUC
2004
Springer
15 years 8 months ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...
148
click to vote
CN
2007
15 years 3 months ago
2007
In this paper we provide a method to analytically compute the energy saving provided by the use of transmission power control (TPC) at the MAC layer in wireless sensor networks (W...