Sciweavers

4836 search results - page 791 / 968
» Exploring the Similarity Space
Sort
View
ISCA
1998
IEEE
139views Hardware» more  ISCA 1998»
15 years 11 months ago
Simultaneous Multithreading: Maximizing On-Chip Parallelism
This paper examines simultaneous multithreading, a technique permitting several independent threads to issue instructions to a superscalar's multiple functional units in a si...
Dean M. Tullsen, Susan J. Eggers, Henry M. Levy
PASTE
1998
ACM
15 years 11 months ago
Concept Analysis - A New Framework for Program Understanding
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
Gregor Snelting
FMCAD
1998
Springer
15 years 11 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...
165
Voted
FSE
1998
Springer
131views Cryptology» more  FSE 1998»
15 years 11 months ago
Cryptanalysis of TWOPRIME
Ding et al [DNRS97] propose a stream generator based on several layers. We present several attacks. First, we observe that the non-surjectivity of a linear combination step allows ...
Don Coppersmith, David Wagner, Bruce Schneier, Joh...
226
Voted
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
Spatial Orientation in Virtual Environments: Background Considerations and Experiments
Spatial orientation strongly relies on visual and whole-body information available while moving through space. As virtual environments allow to isolate the contribution of visual i...
Fredrik Wartenberg, Mark May, Patrick Péruc...