3130 search results - page 133 / 626 » Design Correctness of Digital Systems |
113
click to vote
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
Current digital documents provide few traces to help user browsing. This makes document browsing difficult, and we sometimes feel it is hard to keep track of all of the informati...
127
click to vote
FDL
2008
IEEE
15 years 3 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
140
Voted
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
122
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
374
Voted
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...