1640 search results - page 205 / 328 » Design of Synchronous Action Systems |
187
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
148
click to vote
CSR
2010
Springer
15 years 9 months ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...
177
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents the design and implementation of a new file system independent collective I/O optimization based on file views: view-based collective I/O. View-based collective...
172
click to vote
SNPD
2003
15 years 7 months ago
2003
This paper focuses on non-strict processing, optimization, and partial evaluation of MPI programs which use incremental data structures (ISs). We describe the design and implement...
146
click to vote
AIEDU
2005
15 years 6 months ago
2005
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...