Sciweavers

3921 search results - page 71 / 785

» Transforming Models with ATL

30

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

14 years 2 months ago

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

17

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

14 years 2 months ago

Stable and efficient reduction of substrate model networks using congruence transforms

Download www.cs.york.ac.uk

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

claim paper

Read More »

21

AIRS
2005
Springer

107views Information Technology» more AIRS 2005»

Image Feedback Retrieval Based on Vector Space Model Transformation

14 years 12 days ago

Image Feedback Retrieval Based on Vector Space Model Transformation

Download pub2.db.tokushima-u.ac.jp

Luo Xin, Shiro Ajioka, Masami Shishibori, Kenji Ki...

claim paper

Read More »

34

CSL
2008
Springer

121views Automated Reasoning» more CSL 2008»

Model Transformations in Decidability Proofs for Monadic Theories

14 years 6 days ago

Model Transformations in Decidability Proofs for Monadic Theories

Download www-i7.informatik.rwth-aachen.de

We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...

Wolfgang Thomas

claim paper

Read More »

34

SE
2010

163views Software Engineering» more SE 2010»

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations

13 years 12 months ago

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations

Download www.cs.uni-paderborn.de

Stefan Henkler, Martin Hirsch, Claudia Priesterjah...

claim paper

Read More »

« Prev « First page 71 / 785 Last » Next »