159 search results - page 17 / 32 » Debugging of Toffoli networks |
SUTC
2008
IEEE
15 years 4 months ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
HPCA
1996
IEEE
15 years 1 months ago
1996
IEEE
Networks of workstations and high-performance microcomputers have been rarely used for running highperformance applicationslike multimedia, simulations,scientific and engineering ...
SIMUTOOLS
2008
14 years 11 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
88
Voted
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...