3130 search results - page 208 / 626 » Design Correctness of Digital Systems |
139
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...
180
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
130
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
156
click to vote
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
16 years 5 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
119
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Decimal multiplication is important in many commercial applications including banking, tax calculation, currency conversion, and other financial areas. This paper pres...