42 search results - page 9 / 9 » Verification Tools for Finite-State Concurrent Systems |
SIGSOFT
2008
ACM
14 years 7 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
ENVSOFT
2006
13 years 6 months ago
2006
Our ability to numerically model natural systems has progressed enormously over the last 10e20 years. During the last decade computational power has increased to the stage where w...