10159 search results - page 206 / 2032 » System Design Validation Using Formal Models |
143
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
87
Voted
MEMOCODE
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
161
Voted
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
136
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
112
Voted
KES
2004
Springer
15 years 8 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...