Sciweavers

139 search results - page 11 / 28
» A Novel Universal Sequencer Hardware
Sort
View
ASPDAC
2000
ACM
96views Hardware» more  ASPDAC 2000»
14 years 1 months ago
A programmable built-in self-test core for embedded memories
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...
Chih-Tsun Huang, Jing-Reng Huang, Cheng-Wen Wu
CAV
2010
Springer
192views Hardware» more  CAV 2010»
14 years 1 months ago
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data
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...
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, A...
DAC
2005
ACM
14 years 10 months ago
High performance encryption cores for 3G networks
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...
René Cumplido, Tomás Balderas-Contre...
ECOOP
2010
Springer
14 years 2 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
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...
Scott Owens
EH
2000
IEEE
114views Hardware» more  EH 2000»
14 years 2 months ago
Embryonics + Immunotronics: A Bio-Inspired Approach to Fault Tolerance
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...
Daryl Bradley, Cesar Ortega-Sanchez, Andrew M. Tyr...