.:. Browse > Domain list > Other .:.

10630 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Discovering Implicit Schemas in JSON Data Canovas J., Cabot J. Dans International Conference on Web Engineering (2013) [hal-00818945 - version 1]

Enabling the Collaborative Definition of DSMLs Canovas J., Cabot J. Dans International Conference on Advanced Information Systems Engineering (2013) [hal-00818943 - version 1]

On the componentwise accuracy of complex floating-point division with an FMA Jeannerod C.-P., Louvet N., Muller J.-M. Dans 21st IEEE Symposium on Computer Arithmetic (2013) 8 [ensl-00734339 - version 2]

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Ishii D., Melquiond G., Nakajima S. [hal-00806701 - version 1]

Comparison between binary64 and decimal64 floating-point numbers Brisebarre N., Mezzarobba M., Muller J.-M., Lauter C. Dans 21st IEEE Symposium on Computer Arithmetic (2013) 8 [ensl-00737881 - version 4]

Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité Upadrasta R. Université Paris Sud - Paris XI (13/03/2013), Albert Cohen (Dir.) [tel-00818764 - version 1]

Exploitation du contenu pour l'optimisation du stockage distribué Kloudas K. Université Rennes 1 Université de Rennes 1 (06/03/2013), Anne-Marie Kermarrec (Dir.) [tel-00806078 - version 1]

Reusable genomes : Welcome to the green genetic algorithm world Nadal M., Guy M. N° RR-1469-13[hal-00802500 - version 1]

Model Based Testing for Concurrent Systems with Labeled Event Structures Ponce De León H., Haar S., Longuet D. [hal-00796006 - version 1]

Modèle des données à base de règles : de la construction au pilotage Cadot M. In L'analyse statistique implicative, Méthode exploratoire et confirmatoire à la recherche de causalités, Cépaduès (Ed.) (2013) 299-312 [hal-00801618 - version 1]