Search Sciweavers | Sciweavers

10666 search results - page 240 / 2134

» Quantum programming languages

123

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

15 years 10 months ago

Download cseweb.ucsd.edu

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauri...

claim paper

Read More »

116

click to vote

IFIP
1998
Springer

104views Programming Languages» more IFIP 1998»

A Java-Based Distributed Platform for Multilateral Security

15 years 10 months ago

Download www.semper.org

Andreas Pfitzmann, Alexander Schill, Andreas Westf...

claim paper

Read More »

149

click to vote

IFIP
1998
Springer

79views Programming Languages» more IFIP 1998»

ICE: an object oriented toolkit for tailoring collaborative

15 years 10 months ago

Download www.idi.ntnu.no

In this paper we describe ICE, an object

Babak A. Farshchian

claim paper

Read More »

134

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

123

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers