Sciweavers

134 search results - page 9 / 27
» Tolerance Models in Hardware Description Languages
Sort
View
DATE
1997
IEEE
88views Hardware» more  DATE 1997»
14 years 26 days ago
VHDL extensions for complex transmission line simulation
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
Peter Walker, Sumit Ghosh
CONCUR
2006
Springer
14 years 11 days ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
14 years 29 days ago
Case Study: System Model of Crane and Embedded Control
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
Eduard Moser, Wolfgang Nebel
AICCSA
2001
IEEE
65views Hardware» more  AICCSA 2001»
14 years 9 days ago
Taxonomy of Process Modeling Languages
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
Kamal Zuhairi Zamli, Peter Lee
ICFP
2006
ACM
14 years 8 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...