20126 search results - page 262 / 4026 » Timed Transition Systems |
155
click to vote
DSRT
2005
IEEE
15 years 10 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
153
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
158
click to vote
CSREAESA
2003
15 years 6 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
175
Voted
NC
2011
14 years 11 months ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
118
click to vote
WISES
2004
15 years 6 months ago
2004
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...