Search Sciweavers | Sciweavers

12981 search results - page 278 / 2597

» Model Checking (Abstract)

174

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 »

120

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 »

133

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

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

121

click to vote

RTA
2010
Springer

137views Theoretical Computer Science» more RTA 2010»

Abstract Models of Transfinite Reductions

15 years 10 months ago

Download drops.dagstuhl.de

Patrick Bahr

claim paper

Read More »

148

click to vote

ACSD
2004
IEEE

90views Hardware» more ACSD 2004»

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers