3575 search results - page 123 / 715 » Modeling Concurrency with Geometry |
125
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
112
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
117
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
103
click to vote
FUIN
2000
15 years 1 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
181
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...