3307 search results - page 346 / 662 » The meaning of concurrent programs |
194
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
172
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
151
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
190
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
184
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...