3656 search results - page 506 / 732 » Parallel programming in Split-C |
166
click to vote
PADS
2004
ACM
16 years 8 hour ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
171
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
158
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
156
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
164
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...