Sciweavers

366 search results - page 2 / 74
» Synthesis: Words and Traces
Sort
View
ISCAS
1994
IEEE
61views Hardware» more  ISCAS 1994»
13 years 10 months ago
A Synthesis Framework Based on Trace and Automata Theory
Jérôme Fron, Jerry Chih-Yuan Yang, Ma...
CSR
2006
Springer
13 years 10 months ago
Unfolding Synthesis of Asynchronous Automata
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
Nicolas Baudru, Rémi Morin
CGF
2008
83views more  CGF 2008»
13 years 6 months ago
Shallow Bounding Volume Hierarchies for Fast SIMD Ray Tracing of Incoherent Rays
Photorealistic image synthesis is a computationally demanding task that relies on ray tracing for the evaluation of integrals. Rendering time is dominated by tracing long paths th...
Holger Dammertz, Johannes Hanika, Alexander Keller
STACS
2010
Springer
14 years 1 months ago
Ultimate Traces of Cellular Automata
A cellular automaton (CA) is a parallel synchronous computing model, which consists in a juxtaposition of finite automata (cells) whose state evolves according to that of their ne...
Julien Cervelle, Enrico Formenti, Pierre Guillon
ASYNC
2005
IEEE
132views Hardware» more  ASYNC 2005»
14 years 7 hour ago
High Level Synthesis of Timed Asynchronous Circuits
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, C...