1362 search results - page 243 / 273 » Model Checking Large Network Protocol Implementations |
109
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
—Large-scale applications are characterized by a large number of dynamic and often interactive group members. The nature of these applications is such that participants are not i...
112
click to vote
SBCCI
2005
ACM
15 years 7 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
126
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
109
click to vote
IJHPCN
2006
15 years 1 months ago
2006
As symmetric multiprocessors become commonplace, the interconnection networks and the communication system software in clusters of multiprocessors become critical to achieving high...
119
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
A distributed sensor network (DSN) designed to cover a given region R, is said to be alive if there is at least one subset of sensors that can collectively cover (sense) the regio...