2810 search results - page 385 / 562 » Contract-Based Component System Design |
MEMOCODE
2005
IEEE
15 years 5 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...
DAC
2005
ACM
16 years 15 days ago
2005
ACM
Device and interconnect fabrics at the nanoscale will have a density of defects and susceptibility to transient faults far exceeding those of current silicon technologies. In this...
121
click to vote
AIPR
2008
IEEE
15 years 6 months ago
2008
IEEE
—Real time moving target tracking and identification with hyperspectral imagery is still very challenging with conventional sensors and algorithms. The increased information cont...
DATE
2007
IEEE
15 years 5 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
ER
2004
Springer
15 years 5 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...