7103 search results - page 278 / 1421 » Components and Generative Programming |
122
click to vote
JOC
2011
14 years 5 months ago
2011
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
108
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
120
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
109
Voted
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
134
click to vote
RSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...