139 search results - page 11 / 28 » A Novel Universal Sequencer Hardware |
ASPDAC
2000
ACM
15 years 5 months ago
2000
ACM
Testing embedded memories is becoming an industry-wide concern with the advent of deep-submicron technology and system-on-chip applications. We present a prototype chip for a progr...
103
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
114
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents two novel and high performance hardware architectures, implemented in FPGA technology, for the KASUMI block cipher; this algorithm lies at the core of the conf...
109
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
105
click to vote
EH
2000
IEEE
15 years 6 months ago
2000
IEEE
Fault tolerance has always been a standard feature of electronic systems intended for long-term missions. However, the high complexity of modern systems makes the incorporation of...