Sciweavers

3902 search results - page 87 / 781
» Hardware Synthesis from C C Models
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 7 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
133
Voted
ALIFE
2005
15 years 3 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...
356
Voted
DAC
2012
ACM
13 years 6 months 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
142
Voted
WCE
2007
15 years 4 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
153
Voted
VR
2010
IEEE
127views Virtual Reality» more  VR 2010»
15 years 1 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