Sciweavers

96 search results - page 1 / 20
» Bibliography references validation using emergent architectu...
Sort
View
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
13 years 8 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
13 years 10 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
NTMS
2009
IEEE
13 years 11 months ago
A Comprehensive Reference Architecture for Trustworthy Long-Term Archiving of Sensitive Data
Abstract—It is well known that the suitability of many cryptographic algorithms decreases with time. Hence, it is a challenging task to maintain the integrity, authenticity, conï...
Detlef Hühnlein, Ulrike Korte, Lucie Langer, ...
ICSM
2005
IEEE
13 years 10 months ago
A Reference Architecture for Web Browsers
A reference architecture for a domain captures the fundamental subsystems common to systems of that domain as well as the relationships between these subsystems. Having a referenc...
Alan Grosskurth, Michael W. Godfrey