3130 search results - page 265 / 626 » Design Correctness of Digital Systems |
130
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
132
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Most research in the area of publish/subscribe systems has not considered fault-tolerance as a central design issues. However, faults do obviously occur and masking all faults is a...
142
click to vote
ACSC
2003
IEEE
15 years 10 months ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
152
click to vote
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
132
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...