1550 search results - page 137 / 310 » Erlang for Concurrent Programming |
182
click to vote
FUIN
2010
15 years 3 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
153
click to vote
CAP
2010
15 years 1 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
206
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
143
click to vote
CSFW
2008
IEEE
16 years 24 days ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
152
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...