2976 search results - page 467 / 596 » On the bounded integer programming |
205
click to vote
PADS
1999
ACM
15 years 10 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...
186
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
170
click to vote
FLAIRS
2004
15 years 7 months ago
2004
This paper presents a hybrid algorithm that combines local search and constraint programming techniques to solve a network routing problem. The problem considered is that of routi...
162
click to vote
APPINF
2003
15 years 7 months ago
2003
Consider a parallel program with n processes and a synchronization granularity z. Consider also two multiprocessors: a multiprocessor with q processors and run-time reallocation o...
177
click to vote
SMA
2010
ACM
15 years 6 months ago
2010
ACM
We present a novel technique for approximating the boundary of a swept volume. The generator given by an input triangle mesh is rendered under all rigid transformations of a discr...