475 search results - page 49 / 95 » Formal Analysis of Processor Timing Models |
163
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
140
click to vote
ECRTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
ACL
2010
15 years 1 months ago
2010
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
124
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
156
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...