228 search results - page 34 / 46 » On-the-fly symbolic model checking for real-time systems |
162
click to vote
RTAS
2009
IEEE
16 years 24 days ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
169
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
184
click to vote
RTAS
2006
IEEE
16 years 2 days ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
166
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
176
click to vote
SBMF
2009
Springer
16 years 18 days ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...