Search Sciweavers | Sciweavers

13917 search results - page 76 / 2784

» Abstraction of Probabilistic Systems

137

click to vote

HPCA
1995
IEEE

143views Distributed And Parallel Com...» more HPCA 1995»

Abstracting Network Characteristics and Locality Properties of Parallel Systems

15 years 10 months ago

Download www.cc.gatech.edu

Anand Sivasubramaniam, Aman Singla, Umakishore Ram...

claim paper

Read More »

165

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

132

click to vote

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

15 years 9 months ago

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

115

click to vote

VLDB
1995
ACM

78views Database» more VLDB 1995»

The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept

15 years 9 months ago

Download www.vldb.org

Henry F. Korth

claim paper

Read More »

160

click to vote

ECSQARU
1991
Springer

149views Automated Reasoning» more ECSQARU 1991»

Abduction in Labelled Deductive Systems - A Conceptual Abstract

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers