3656 search results - page 506 / 732 » Parallel programming in Split-C |
180
Voted
PADS
2004
ACM
16 years 14 days 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...
181
click to vote
EUROPAR
2004
Springer
16 years 13 days 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...
167
Voted
GRID
2004
Springer
16 years 12 days 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. ...
168
Voted
IFIP
2004
Springer
16 years 12 days 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...
177
Voted
IFIP
2004
Springer
16 years 12 days 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...