1362 search results - page 269 / 273 » Model Checking Large Network Protocol Implementations |
CN
2004
14 years 9 months ago
2004
Bluetooth is a promising wireless technology aiming at supporting electronic devices to be instantly interconnected into short-range ad hoc networks. The Bluetooth medium access c...
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
101
click to vote
CLADE
2003
IEEE
15 years 2 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
CLUSTER
2009
IEEE
15 years 4 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...