Search Sciweavers | Sciweavers

5599 search results - page 14 / 1120

» Abstract State Services

click to vote

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

15 years 7 months ago

Download users.encs.concordia.ca

Michel Langevin, Sofiène Tahar, Zijian Zhou...

claim paper

Read More »

106

Voted

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 7 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

101

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 7 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

click to vote

EUROS
2006

68views Robotics» more EUROS 2006»

Reduction of Learning Time for Robots Using Automatic State Abstraction

15 years 7 months ago

Download birg2.epfl.ch

Masoud Asadpour, Majid Nili Ahmadabadi, Roland Sie...

claim paper

Read More »

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers