Search Sciweavers | Sciweavers

14190 search results - page 122 / 2838

» Abstractions for hybrid systems

141

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 »

169

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 »

133

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

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

120

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

Download www.vldb.org

Henry F. Korth

claim paper

Read More »

162

click to vote

ECSQARU
1991
Springer

149views Automated Reasoning» more ECSQARU 1991»

Abduction in Labelled Deductive Systems - A Conceptual Abstract

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers