Search Sciweavers | Sciweavers

21430 search results - page 50 / 4286

» Abstract Effective Models

121

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

164

click to vote

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

15 years 10 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

114

click to vote

ASPDAC
2007
ACM

82views Hardware» more ASPDAC 2007»

Abstract, Multifaceted Modeling of Embedded Processors for System Level Design

15 years 10 months ago

Download www.cecs.uci.edu

Gunar Schirner, Andreas Gerstlauer, Rainer Dö...

claim paper

Read More »

124

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 9 months ago

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

113

click to vote

RTA
2010
Springer

137views Theoretical Computer Science» more RTA 2010»

Abstract Models of Transfinite Reductions

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers