1550 search results - page 195 / 310 » Erlang for Concurrent Programming |
242
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
124
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
136
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
161
click to vote
VL
2002
IEEE
15 years 6 months ago
2002
IEEE
Java program debugging was investigated in computer science students who used a software debugging environment (SDE) that provided concurrently displayed, adjacent, multiple and l...
142
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...