7393 search results - page 295 / 1479 » Synthesis-for-testability using transformations |
150
click to vote
WSC
2008
15 years 6 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
126
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Using spherical harmonics of an inverse conformal map, we compared hippocampal surfaces of sixteen Alzheimer (AD) and fourteen control subjects. Hippocampal surfaces were conforma...
126
click to vote
MICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
148
click to vote
PRL
2010
15 years 2 months ago
2010
— The concept of reversible conversion of color images to gray ones has been recently introduced. Colors are mapped to textures and from the textures the receiver can recover the...