361 search results - page 44 / 73 » Experiences in Soft Computing and Dynamical Simulation |
110
click to vote
PDP
2006
IEEE
15 years 5 months ago
2006
IEEE
Peer-to-Peer computing is mainly based on the virtual overlay network constructed in the application layer. Often, there is topology mismatching between the overlay network and th...
ANSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
113
click to vote
ICPADS
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, a duty cycle based multi-channel MAC protocol with multiple channel reservation, called M-cube, is proposed to tackle the triple hidden terminal problems. M-cube can...
104
click to vote
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...