Search Sciweavers | Sciweavers

5599 search results - page 14 / 1120

» Abstract State Services

126

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 11 months ago

Download users.encs.concordia.ca

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

claim paper

Read More »

133

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

139

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 10 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

133

click to vote

EUROS
2006

68views Robotics» more EUROS 2006»

Reduction of Learning Time for Robots Using Automatic State Abstraction

15 years 10 months ago

Download birg2.epfl.ch

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

claim paper

Read More »

119

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers