Sciweavers

4745 search results - page 67 / 949
» Discretization: An Enabling Technique
Sort
View
ACSD
2001
IEEE
121views Hardware» more  ACSD 2001»
15 years 9 months ago
A structural encoding technique for the synthesis of asynchronous circuits
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
Josep Carmona, Jordi Cortadella, Enric Pastor
CGI
2004
IEEE
15 years 10 months ago
CSG Operations with Voxelized Solids
We present a new technique for CSG operations with voxelized geometric objects, which are represented by truncated discrete distance fields supplemented by additional information ...
Pavol Novotný, Leonid I. Dimitrov, Milos Sr...
DAC
2008
ACM
16 years 7 months ago
Path smoothing via discrete optimization
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
Michael D. Moffitt, David A. Papa, Zhuo Li, Charle...
SASO
2009
IEEE
16 years 25 days ago
Optimising Sensor Layouts for Direct Measurement of Discrete Variables
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
X. Rosalind Wang, George Mathews, Don Price, Mikha...
ACNS
2010
Springer
154views Cryptology» more  ACNS 2010»
15 years 11 months ago
Shrinking the Keys of Discrete-Log-Type Lossy Trapdoor Functions
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...
Xavier Boyen, Brent Waters