3130 search results - page 257 / 626 » Design Correctness of Digital Systems |
130
Voted
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
Established as a research project at the University of Illinois in the spring of 2002, eFuzion has proven to be a valuable and effective pedagogical set of tools. It provides the ...
145
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
The central goal of Public Key Infrastructure (PKI) is to enable trust judgments between distributed users. Although certificates play a central role in making such judgments, a P...
119
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract - This paper describes the design of a 12-bit digital-to-analog converter for a wireline modem chip implemented in a 0.13tm digital CMOS technology. Transistor-level simul...
109
Voted
JEI
2006
15 years 4 months ago
2006
We present our research efforts toward the deployment of 3-D sensing technology to an under-vehicle inspection robot. The 3-D sensing modality provides flexibility with ambient lig...
184
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...