Sciweavers

3902 search results - page 87 / 781
» Hardware Synthesis from C C Models
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
14 years 1 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ALIFE
2005
13 years 10 months ago
Transient Phenomena in Learning and Evolution: Genetic Assimilation and Genetic Redistribution
Deacon has recently proposed that complexes of genes can be integrated into functional groups as a result of environmental changes that mask and unmask selection pressures. For exa...
Janet Wiles, James Watson, Bradley Tonkes, Terrenc...
DAC
2012
ACM
12 years 18 days ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
WCE
2007
13 years 11 months ago
The Jacobi Method in Reconfigurable Hardware
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
Safaa J. Kasbah, Issam W. Damaj
VR
2010
IEEE
127views Virtual Reality» more  VR 2010»
13 years 8 months ago
Synthesizing contact sounds between textured models
We present a new interaction handling model for physics-based sound synthesis in virtual environments. A new three-level surface representation for describing object shapes, visib...
Zhimin Ren, Hengchin Yeh, Ming C. Lin