1550 search results - page 243 / 310 » Erlang for Concurrent Programming |
107
click to vote
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
134
click to vote
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...
109
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
138
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
102
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...