Search Sciweavers | Sciweavers

4385 search results - page 26 / 877

» Abstraction for Concurrent Objects

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

14 years 3 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

14 years 3 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

click to vote

SIGADA
1998
Springer

112views Programming Languages» more SIGADA 1998»

Object-Oriented and Concurrent Program Design Issues in Ada 95

14 years 3 months ago

Download www.sigada.org

Stephen H. Kaisler, Michael B. Feldman

claim paper

Read More »

click to vote

DEXAW
1996
IEEE

155views Database» more DEXAW 1996»

Real-Time Scheduling for Semantic Concurrency Control of Object-Oriented Database Systems

14 years 3 months ago

Download www.dee.ufcg.edu.br

Yoshihiko Murakami, Mayumi Nishikaku, Tsukasa Okad...

claim paper

Read More »

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers