3729 search results - page 336 / 746 » METRICS: a system architecture for design process optimizati... |
146
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
158
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
The traditional approach to implementing admission control, as exemplified by the Integrated Services proposal in the IETF, uses a signalling protocol to establish reservations a...
178
Voted
TC
2008
15 years 6 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
169
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
Abstract -- This paper describes the use of a hierarchical design representation standard, CHDStd, as part of the architecture of the Chip Hierarchical Design System (CHDS). Detail...
181
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...