Search Sciweavers | Sciweavers

120 search results - page 2 / 24

» concurrency 1999

Voted

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 3 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

Voted

CRYPTO
1999
Springer

98views Cryptology» more CRYPTO 1999»

On Concurrent Zero-Knowledge with Pre-processing

15 years 3 months ago

Download www.cs.ucla.edu

Giovanni Di Crescenzo, Rafail Ostrovsky

claim paper

Read More »

click to vote

WDAG
1999
Springer

72views Algorithms» more WDAG 1999»

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution

15 years 3 months ago

Download users.ece.utexas.edu

Ashis Tarafdar, Vijay K. Garg

claim paper

Read More »

Voted

FM
1999
Springer

114views Formal Methods» more FM 1999»

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

15 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers