Sciweavers

3330 search results - page 477 / 666
» software 2010
Sort
View
ENVSOFT
2006
117views more  ENVSOFT 2006»
15 years 6 months ago
Land information system: An interoperable framework for high resolution land surface modeling
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
Sujay V. Kumar, Christa D. Peters-Lidard, Yudong T...
EOR
2006
44views more  EOR 2006»
15 years 6 months ago
The multiple-job repair kit problem
The repair kit problem is that of finding the optimal set of parts in the kit of a repairman. An important aspect of this problem, in many real-life situations, is that several jo...
Ruud H. Teunter
EOR
2006
129views more  EOR 2006»
15 years 6 months ago
Balancing assembly lines with tabu search
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
Sophie D. Lapierre, Angel B. Ruiz, Patrick Soriano
ENTCS
2007
103views more  ENTCS 2007»
15 years 6 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal
ENTCS
2007
171views more  ENTCS 2007»
15 years 6 months ago
A Certifying Code Generation Phase
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
Jan Olaf Blech, Arnd Poetzsch-Heffter