Sciweavers

4426 search results - page 29 / 886

» Concurrent Constraint Programming

158

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 11 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 »

168

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 »

135

Voted

POPL
1991
ACM

91views Programming Languages» more POPL 1991»

Modeling Concurrency with Geometry

15 years 10 months ago

Modeling Concurrency with Geometry

Download infolab.stanford.edu

Vaughan R. Pratt

claim paper

Read More »

164

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

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

14 years 9 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 »

199

Voted

MM
2004
ACM

114views Multimedia» more MM 2004»

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

16 years 6 days 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 »