6274 search results - page 183 / 1255 » Proofs, Programs, Processes |
162
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
196
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
285
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
Distributed processing of real-world graphs is challenging due to their size and the inherent irregular structure of graph computations. We present HIPG, a distributed framework th...
149
click to vote
ECOOP
2007
Springer
16 years 18 days ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...
145
click to vote
IJHPCA
2007
15 years 6 months ago
2007
While MPI is the most common mechanism for expressing parallelism, MPI programs are not composable by using current MPI process managers or parallel shells. We introduce MPISH2, an...