1663 search results - page 109 / 333 » Validation and Verification of Simulation Models |
159
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
123
Voted
TII
2008
15 years 3 months ago
2008
This paper presents a novel modeling analysis of jitter as applicable to testing of serial data channels. Jitter is analyzed by considering separate and combined components. The pr...
134
Voted
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
130
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
130
Voted
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...