304 search results - page 45 / 61 » Verification of Timed Systems Using POSETs |
101
click to vote
TPPP
1994
15 years 6 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
127
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
124
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
123
click to vote
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
141
click to vote
DT
2006
15 years 1 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...