Sciweavers

479 search results - page 57 / 96
» Transformational Placement and Synthesis
Sort
View
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
14 years 1 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
AGTIVE
2007
Springer
13 years 11 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
UAIS
2010
13 years 2 months ago
Auditory universal accessibility of data tables using naturally derived prosody specification
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
Dimitris Spiliotopoulos, Gerasimos Xydas, Georgios...
IWCIA
2009
Springer
14 years 2 months ago
Hierarchical Discrete Medial Axis for Sphere-Tree Construction
In discrete geometry, the Distance Transformation and the Medial Axis Extraction are classical tools for shape analysis. In this paper, we present a Hierarchical Discrete Medial Ax...
Alain Broutta, David Coeurjolly, Isabelle Sivignon
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
13 years 12 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta