Sciweavers

133 search results - page 1 / 27
» Using functional independence conditions to optimize the per...
Sort
View
CAV
1999
Springer
92views Hardware» more  CAV 1999»
13 years 9 months ago
Latency Insensitive Protocols
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
Luca P. Carloni, Kenneth L. McMillan, Alberto L. S...
ICCAD
1999
IEEE
97views Hardware» more  ICCAD 1999»
13 years 9 months ago
A methodology for correct-by-construction latency insensitive design
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
Luca P. Carloni, Kenneth L. McMillan, Alexander Sa...
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
13 years 11 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni
ICASSP
2011
IEEE
12 years 8 months ago
Optimal SIR algorithm vs. fully adapted auxiliary particle filter: A matter of conditional independence
Particle filters (PF) and auxiliary particle filters (APF) are widely used sequential Monte Carlo (SMC) techniques. In this paper we comparatively analyse the Sampling Importanc...
François Desbouvries, Yohan Petetin, Emmanu...
AUTOMATICA
2006
137views more  AUTOMATICA 2006»
13 years 4 months ago
Determination of optimal feedback terminal controllers for general boundary conditions using generating functions
Given a nonlinear system and a performance index to be minimized, we present a general approach to expressing the finite time optimal feedback control law applicable to different ...
Chandeok Park, Daniel J. Scheeres