Sciweavers

7393 search results - page 224 / 1479
» Synthesis-for-testability using transformations
Sort
View
145
Voted
TCAD
2008
93views more  TCAD 2008»
15 years 3 months ago
Transforming Cyclic Circuits Into Acyclic Equivalents
Abstract--Designers and high-level synthesis tools can introduce unwanted cycles in digital circuits, and for certain combinational functions, cyclic circuits that are stable and d...
Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
15 years 1 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
15 years 10 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...
APGV
2006
ACM
15 years 9 months ago
Effects of 2D geometric transformations on visual memory
In order to provide well-grounded guidelines for interface design, we systematically examined the effects of 2D geometric transformations and background grids on visual memory. We...
Heidi Lam, Ronald A. Rensink, Tamara Munzner
SDB
1995
95views Database» more  SDB 1995»
15 years 7 months ago
Semantics of Database Transformations
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
Peter Buneman, Susan B. Davidson, Anthony Kosky