2520 search results - page 260 / 504 » Model-checking behavioral programs |
183
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
179
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
179
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
181
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
156
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...