Search Sciweavers | Sciweavers

196 search results - page 5 / 40

» concurrency 1998

133

click to vote

LICS
1998
IEEE

95views Automated Reasoning» more LICS 1998»

A Theory of Recursive Domains with Applications to Concurrency

15 years 10 months ago

Download www.brics.dk

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

claim paper

Read More »

128

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 10 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

122

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

15 years 10 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

114

click to vote

COOTS
1998

72views Programming Languages» more COOTS 1998»

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java

15 years 7 months ago

Download www.usenix.org

Christopher Colby, Lalita Jategaonkar Jagadeesan, ...

claim paper

Read More »

143

click to vote

PROLAMAT
1998

116views Human Computer Interaction» more PROLAMAT 1998»

Database Support for Concurrent Digital Mock-up

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers