Search Sciweavers | Sciweavers

12981 search results - page 278 / 2597

» Model Checking and Abstraction

145

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

15 years 11 months ago

Download www.spatial.maine.edu

Sabine Timpf, Gary S. Volta, David W. Pollock, Max...

claim paper

Read More »

193

click to vote

TPHOL
1992
IEEE

110views Automated Reasoning» more TPHOL 1992»

Modelling Generic Hardware Structures by Abstract Datatypes

15 years 11 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

134

click to vote

ASPDAC
2007
ACM

82views Hardware» more ASPDAC 2007»

Abstract, Multifaceted Modeling of Embedded Processors for System Level Design

15 years 11 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

148

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

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

137

click to vote

RTA
2010
Springer

137views Theoretical Computer Science» more RTA 2010»

Abstract Models of Transfinite Reductions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers