1784 search results - page 213 / 357 » Formal Models for Embedded System Design |
RTCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
TCAD
2008
14 years 10 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
102
click to vote
DAC
2010
ACM
14 years 10 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...
66
Voted
ER
2001
Springer
15 years 2 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
ASE
2008
14 years 10 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...