4311 search results - page 343 / 863 » Code Generation for Distributed Systems |
158
click to vote
JOT
2006
15 years 6 months ago
2006
This paper presents the middleware needed to deploy jobs to non-geographically colocated clusters with decentralized look-up severs. We have named our framework the Initium Remote...
184
click to vote
RSP
2005
IEEE
16 years 10 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
206
click to vote
ESM
2000
15 years 8 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
154
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
With the proliferation of mobile devices we witness an increasing demand for supporting collaboration among users working in the field and in the office. A key component for colla...
193
click to vote
PVM
2005
Springer
16 years 7 days ago
2005
Springer
A scalable approach to performance analysis of MPI applications is presented that includes automated source code instrumentation, low overhead generation of profile and trace data...