Sciweavers

4426 search results - page 29 / 886

» Concurrent Constraint Programming

137

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

15 years 10 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

159

PSC
1992

130views Programming Languages» more PSC 1992»

Design of a Concurrent and Distributed Language

15 years 10 months ago

Design of a Concurrent and Distributed Language

Download pagesperso-systeme.lip6.fr

Christian Queinnec, David De Roure

claim paper

Read More »

123

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 9 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

141

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

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

14 years 8 months ago

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

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

174

MM
2004
ACM

114views Multimedia» more MM 2004»

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

15 years 11 months ago

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

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 »

« Prev « First page 29 / 886 Last » Next »