7092 search results - page 1144 / 1419 » Parallelizing constraint programs |
107
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
118
Voted
PADS
2004
ACM
15 years 8 months 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...
116
click to vote
EUROPAR
2004
Springer
15 years 8 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...
110
Voted
GRID
2004
Springer
15 years 8 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. ...
115
Voted
IFIP
2004
Springer
15 years 8 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...