1541 search results - page 82 / 309 » Tools and Techniques for Model Checking Networked Programs |
80
Voted
HPCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
102
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
132
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
104
Voted
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...
96
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...