Search Sciweavers | Sciweavers

3307 search results - page 19 / 662

» The meaning of concurrent programs

click to vote

PSC
1992

130views Programming Languages» more PSC 1992»

Design of a Concurrent and Distributed Language

14 years 1 months ago

Download pagesperso-systeme.lip6.fr

Christian Queinnec, David De Roure

claim paper

Read More »

click to vote

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

14 years 1 months ago

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

click to vote

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

13 years 18 days ago

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

click to vote

MM
2004
ACM

114views Multimedia» more MM 2004»

ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia

14 years 3 months ago

Download soundlab.cs.princeton.edu

In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...

Ge Wang, Perry R. Cook

claim paper

Read More »

click to vote

ESOP
1999
Springer

218views Programming Languages» more ESOP 1999»

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

14 years 2 months ago

Download www.ps.uni-saarland.de

This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...

Andreas Podelski, Witold Charatonik, Martin Mü...

claim paper

Read More »

« Prev « First page 19 / 662 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers