Sciweavers

31387 search results - page 15 / 6278

» Abstracts

24

PRDC
2005
IEEE

73views Applied Computing» more PRDC 2005»

Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems

14 years 3 months ago

Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems

Download ftp.irisa.fr

TING SETS: A BASIC ABSTRACTION FOR ASYNCHRONOUS AGREEMENT PROBLEMS ROY FRIEDMAN , ACHOUR MOSTEFAOUI , MICHEL RAYNAL

Roy Friedman, Achour Mostéfaoui, Michel Ray...

claim paper

Read More »

28

CODES
1999
IEEE

110views Software Engineering» more CODES 1999»

Worst-case analysis of discrete systems based on conditional abstractions

14 years 2 months ago

Worst-case analysis of discrete systems based on conditional abstractions

Download www.cecs.uci.edu

se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories

Felice Balarin

claim paper

Read More »

35

POS
1990
Springer

130views Programming Languages» more POS 1990»

Persistence and Type Abstraction Revisited

14 years 1 months ago

Persistence and Type Abstraction Revisited

Download www.pllab.riec.tohoku.ac.jp

nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor

Atsushi Ohori, Ivan Tabkha, Richard C. H. Connor, ...

claim paper

Read More »

37

REX
1990

145views Logical Reasoning» more REX 1990»

Object-Oriented Programming Versus Abstract Data Types

14 years 1 months ago

Object-Oriented Programming Versus Abstract Data Types

Download userweb.cs.utexas.edu

Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...

William R. Cook

claim paper

Read More »

34

CAV
2006
Springer

117views Hardware» more CAV 2006»

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

14 years 1 months ago

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop

Download www.cs.cmu.edu

e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...

claim paper

Read More »

« Prev « First page 15 / 6278 Last » Next »