Sciweavers

27827 search results - page 432 / 5566
» Generating
Sort
View
ESEC
1999
Springer
15 years 8 months ago
Components and Generative Programming
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
Krzysztof Czarnecki, Ulrich W. Eisenecker
133
Voted
VTS
1999
IEEE
71views Hardware» more  VTS 1999»
15 years 8 months ago
Test Generation for Ground Bounce in Internal Logic Circuitry
Ground bounce in internal circuitry is becoming an important design validation and test issue. In this paper a new circuit model for ground bounce in internal circuitry is propose...
Yi-Shing Chang, Sandeep K. Gupta, Melvin A. Breuer
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 8 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
SACRYPT
1999
Springer
15 years 8 months ago
Yarrow-160: Notes on the Design and Analysis of the Yarrow Cryptographic Pseudorandom Number Generator
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
John Kelsey, Bruce Schneier, Niels Ferguson
EP
1998
Springer
15 years 8 months ago
Generating, Visualizing, and Evaluating High-Quality Clusters for Information Organization
We present and analyze the star clustering algorithm. We discuss an implementation of this algorithm that supports browsing and document retrieval through information organization...
Javed A. Aslam, Katya Pelekhov, Daniela Rus