Sciweavers

7103 search results - page 688 / 1421
» Program Generation and Components
Sort
View
EUROPAR
2004
Springer
16 years 17 days ago
More Legal Transformations for Locality
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
Cédric Bastoul, Paul Feautrier
ANSS
2002
IEEE
16 years 5 days ago
Statistical Simulation of Symmetric Multiprocessor Systems
Statistical simulation is driven by a stream of randomly generated instructions, based on statistics collected during a single detailed simulation. This method can give accurate p...
Sébastien Nussbaum, James E. Smith
AISC
2010
Springer
16 years 7 hour ago
Formal Proof of SCHUR Conjugate Function
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
Franck Butelle, Florent Hivert, Micaela Mayero, Fr...
CPAIOR
2010
Springer
16 years 4 hour ago
Integrated Maintenance Scheduling for Semiconductor Manufacturing
We present a maintenance scheduling problem arising from semi-conductor manufacturing which is characterized by low resource contention and multiple complex objectives and prefere...
Andrew J. Davenport
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 12 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh