32032 search results - page 6121 / 6407 » Verified programming in Guru |
147
click to vote
AISC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
178
click to vote
ASIAN
2004
Springer
16 years 4 days ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
198
click to vote
CBSE
2004
Springer
16 years 4 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
242
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
200
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
This paper considers the problem of transforming a resource feasible, fixed-times schedule into a partial order schedule (POS) to enhance its robustness and stability properties. ...