Sciweavers

5855 search results - page 280 / 1171
» Test generation and minimization with
Sort
View
ICIP
2000
IEEE
16 years 8 months ago
Shape Approximation Through Recursive Scalable Layer Generation
This paper presents an e cient recursive algorithm for generating operationally optimal intra mode scalable layer decompositions of object contours. The problem is posed in terms ...
Gerry Melnikov, Aggelos K. Katsaggelos
DAC
2002
ACM
16 years 7 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
HICSS
2010
IEEE
145views Biometrics» more  HICSS 2010»
16 years 1 months ago
Dynamics of an Economics Model for Generation Coupled to the OPA Power Transmission Model
In this paper we explore the interaction between a dynamic model of the power transmission system (OPA) and a simple economic model of power generation development. Despite the si...
Benjamin A. Carreras, David E. Newman, Matthew Zei...
180
Voted
PKC
2005
Springer
93views Cryptology» more  PKC 2005»
16 years 5 days ago
Optimizing Robustness While Generating Shared Secret Safe Primes
We develop a method for generating shared, secret, safe primes applicable to use in threshold RSA signature schemes such as the one developed by Shoup. We would like a scheme usabl...
Emil Ong, John Kubiatowicz
DATE
2002
IEEE
242views Hardware» more  DATE 2002»
15 years 11 months ago
Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio
The key performance of many analog circuits is directly related to accurate capacitor ratios. It is well known that capacitor ratio precision is greatly enhanced by paralleling id...
Mohamed Dessouky, DiaaEldin Sayed