Search Sciweavers | Sciweavers

7393 search results - page 73 / 1479

» Synthesis-for-testability using transformations

117

click to vote

AGP
1995
IEEE

107views Artificial Intelligence» more AGP 1995»

A Tabulation Transformation Tactic Using Haskell Arrays

15 years 9 months ago

Download dalila.sip.ucm.es

Cristóbal Pareja, Ricardo Pena, J. Á...

claim paper

Read More »

126

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 9 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

140

click to vote

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

15 years 9 months ago

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

104

click to vote

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

15 years 9 months ago

Download www.cs.york.ac.uk

Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang

claim paper

Read More »

138

click to vote

ICIP
1995
IEEE

108views Image Processing» more ICIP 1995»

Region-of-interest tomography using the wavelet transform and angular harmonics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers