Sciweavers

1420 search results - page 226 / 284
» A Framework for Scheduler Synthesis
Sort
View
3DIM
2007
IEEE
15 years 10 months ago
Examplar-based Shape from Shading
Traditional Shape-from-Shading (SFS) techniques aim to solve an under-constrained problem: estimating depth map from one single image. The results are usually brittle from real im...
Xinyu Huang, Jizhou Gao, Liang Wang, Ruigang Yang
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 9 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
FPL
2000
Springer
128views Hardware» more  FPL 2000»
15 years 9 months ago
Verification of Dynamically Reconfigurable Logic
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
David Robinson, Patrick Lysaght
HYBRID
2000
Springer
15 years 9 months ago
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham
DAC
1995
ACM
15 years 9 months ago
Hierarchical Optimization of Asynchronous Circuits
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
Bill Lin, Gjalt G. de Jong, Tilman Kolks