1550 search results - page 183 / 310 » Erlang for Concurrent Programming |
119
click to vote
APN
2001
Springer
15 years 5 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
DSL
1997
15 years 3 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
136
click to vote
PDPTA
1996
15 years 3 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
108
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
110
Voted
PPPJ
2004
ACM
15 years 7 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...