Sciweavers

9739 search results - page 382 / 1948
» Object-Oriented Analysis and Design
Sort
View
CRYPTO
2000
Springer
108views Cryptology» more  CRYPTO 2000»
15 years 12 months ago
Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers
Abstract. This paper investigates the design of S-boxes used for combining linear feedback shift register (LFSR) sequences in combination generators. Such combination generators ha...
Muxiang Zhang, Agnes Hui Chan
ECBS
1997
IEEE
144views Hardware» more  ECBS 1997»
15 years 12 months ago
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
Gérard Le Lann
ITC
1996
IEEE
96views Hardware» more  ITC 1996»
15 years 11 months ago
Analysis and Detection of Timing Failures in an Experimental Test Chip
A 25k gate Test Chip was designed and manufactured to evaluate different test methods for scan-designed circuits. The design of the chip, the experiment, and preliminary experimen...
Piero Franco, Siyad C. Ma, Jonathan Chang, Yi-Chin...
DAC
2007
ACM
15 years 11 months ago
Experimental Jitter Analysis in a FlexCAN Based Drive-by-Wire Automotive Application
In this paper, we describe several experiments designed to characterize jitter in an actual automotive application designed using FlexCAN, a CAN based communication architecture. ...
Juan R. Pimentel, Jason Paskvan
FMCAD
2007
Springer
15 years 11 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra