-
A Tiling Perspective for Register Optimization
Register allocation is a much studied problem. A particularly important context for optimizing register allocation is within loops, since a significant fraction of the... -
Cops, Robbers, and Threatening Skeletons: Padded Decomposition for Minor-Free...
This dataset has no description
-
Static Quantum Games Revisited
This dataset has no description
-
Calcul du rayon de courbure d'une séquence d'ADN
Stage de DEA. Rapport de stage. -
L'évaluation du modèle gestion/agent dans la gestion de réseaux et services
Stage de DEA. Rapport de stage. -
Instrumentation of the Jxta peer-to-peer framework
Stage d'école d'ingénieur (2ème année). Rapport de stage. -
Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5
\urlhttp://eprint.iacr.org/ -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage. -
Définition de la classe de réécriture à intégrer
Rapport de contrat. -
Proposition d'architecture du moteur de test de conversion
Rapport de contrat. -
Prototype d'extension du système Coq
Rapport de contrat. -
Le bon état écologique pour qui ? Appréhender le bon état écologique dans les...
Rapport LITEAU-BEEST- Axe 2
