Sciweavers

4451 search results - page 366 / 891
» Continuous model synthesis
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 10 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
158
Voted
FPGA
2006
ACM
139views FPGA» more  FPGA 2006»
15 years 10 months ago
Fast and accurate resource estimation of automatically generated custom DFT IP cores
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...
Peter A. Milder, Mohammad Ahmad, James C. Hoe, Mar...
WSC
2004
15 years 8 months ago
A Framework for Adaptive Synchronization of Distributed Simulations
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
Bertan Altuntas, Richard A. Wysk
CVIU
2004
99views more  CVIU 2004»
15 years 6 months ago
Synchronization of oscillations for machine perception of gaits
Substantial evidence supports a relationship between gait perception and gait synthesis. Furthermore, passive mechanical systems demonstrate that the jointed leg systems of humans...
Jeffrey E. Boyd
ICPR
2008
IEEE
16 years 8 months ago
A layered method of visibility resolving in depth image-based rendering
A layered method is presented in this paper to resolve the visibility problem in depth image-based rendering. A novel three-layer representation for each reference view, i.e. the ...
Chao Zhang, Yu Huang