Search Sciweavers | Sciweavers

31387 search results - page 242 / 6278

» Abstracting abstract machines

124

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

15 years 10 months ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

124

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

Download users.encs.concordia.ca

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

claim paper

Read More »

186

click to vote

DL
1997
Springer

124views Digital Library» more DL 1997»

Multimedia Abstractions for a Digital Video Library

15 years 10 months ago

Download www.informedia.cs.cmu.edu

Michael G. Christel, David B. Winkler, C. Roy Tayl...

claim paper

Read More »

170

click to vote

ESEC
1997
Springer

70views Software Engineering» more ESEC 1997»

The Tale of Two Projects - Abstract

15 years 10 months ago

Download users.ece.utexas.edu

Dewayne E. Perry, Lawrence G. Votta

claim paper

Read More »

130

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers