Search Sciweavers | Sciweavers

10585 search results - page 237 / 2117

» The Orc Programming Language

click to vote

PLDI
1998
ACM

89views Programming Languages» more PLDI 1998»

Thin Locks: Featherweight Synchronization for Java

14 years 1 months ago

Download cseweb.ucsd.edu

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

claim paper

Read More »

click to vote

IFIP
1998
Springer

104views Programming Languages» more IFIP 1998»

A Java-Based Distributed Platform for Multilateral Security

14 years 1 months ago

Download www.semper.org

Andreas Pfitzmann, Alexander Schill, Andreas Westf...

claim paper

Read More »

click to vote

IFIP
1998
Springer

79views Programming Languages» more IFIP 1998»

ICE: an object oriented toolkit for tailoring collaborative

14 years 1 months ago

Download www.idi.ntnu.no

In this paper we describe ICE, an object

Babak A. Farshchian

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

14 years 1 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

PLDI
1996
ACM

83views Programming Languages» more PLDI 1996»

TIL: A Type-Directed Optimizing Compiler for ML

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers