This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
In the pertinent literature, an ongoing discussion can be found about whether evolutionary algorithms are better suited for optimization or adaptation. Unfortunately, the pertinent...
Abstract. This paper presents a hardware architecture for UNIX password cracking using Hellman's time-memory trade-off; it is the first hardware design for a key search machin...
Nele Mentens, Lejla Batina, Bart Preneel, Ingrid V...
This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating highresolution volumetric datasets in real-time. A primary goal of Cube-3 i...
Hanspeter Pfister, Arie E. Kaufman, Tzi-cker Chiue...
This article proposes a completion-detection method for efficiently implementing Boolean functions as self-timed logic structures. Current-Sensing Completion Detection, CSCD, allow...