32032 search results - page 6124 / 6407 » Verified programming in Guru |
167
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
Consider the classical online scheduling problem where jobs that arrive one by one are assigned to identical parallel machines with the objective of minimizing the makespan. We gen...
161
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
185
click to vote
ICFCA
2004
Springer
16 years 3 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
180
click to vote
ICS
2004
Tsinghua U.
16 years 3 days ago
2004
Tsinghua U.
Storage mapping optimization is a flexible approach to folding array dimensions in numerical codes. It is designed to reduce the memory footprint after a wide spectrum of loop tr...
188
click to vote
ICS
2004
Tsinghua U.
16 years 3 days ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...