3616 search results - page 307 / 724 » Conditional Memory Ordering |
131
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
124
click to vote
FSE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe a sequence of simple, yet efficient chosen-plaintext (or chosen-ciphertext) attacks against reduced-round versions of IDEA (with 2, 2.5, 3, 3.5, and 4 ro...
127
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
140
click to vote
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
141
click to vote
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...