5740 search results - page 446 / 1148 » Dynamic Distributed BackJumping |
190
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
160
click to vote
ICS
2004
Tsinghua U.
16 years 7 days ago
2004
Tsinghua U.
The use of semi-Lagrangian formulations in numerical weather predication models (NWP) allows for an increase in time step size. Use of this method can increase performance of thes...
183
click to vote
GECCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper investigates the sample weighting effect on Genetic Parallel Programming (GPP) that evolves parallel programs to solve the training samples captured directly f...
156
Voted
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...
190
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...