.:. Browse > List by subject > Programming Languages .:.

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

1 - 2

FICS 2010 Miller D., Carayol A., Rondogiannis P., Birkedal L., Czarnecki M., Grall H., Levy P., Mio M., Nakata K., Romashchenko A. et al Dans Fixed Points in Computer Science 2010 - 7th Workshop on Fixed Points in Computer Science, FICS 2010, Tchèque, République (2010) [hal-00512377 - version 1]

Safe Reactive Programming: the FunLoft Proposal Boussinot F., Dabrowski F. In Proc. of MULTIPROG -- First Workshop on Programmability Issues for Multi-Core Computers - MULTIPROG'08, Sweden (2008) [hal-00465563 - version 1]

Des chaînes d'équivalences dans un codage CNF du problème XSAT Ostrowski R., Paris L. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00292677 - version 1]

Une nouvelle approche pour le test d'inconsistance de CSP Benhamou B., Saïdi M. Reda JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00291586 - version 1]

Complexité de Forward Checking et Hiérarchie des Décompositions de CSP Revisitées Jégou P., Ndiaye S. N., Terrioux C. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00291557 - version 1]

Recherche locale haute performance pour la planification des interventions à France Télécom Estellon B., Gardi F., Nouioua K. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00290811 - version 1]

Une recherche locale stochastique pour le problème de la détermination du gagnant dans les enchères combinatoires Boughaci D., Benhamou B., Drias H. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00290789 - version 1]

Optimisation par colonie de fourmis pour la configuration Albert P., Henocque L., Kleiner M. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00290770 - version 1]

Towards a sharing strategy for the graph rewriting calculus Baldan P., Bertolissi C., Cirstea H., Kirchner C. 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, France (2007) [inria-00186141 - version 1]

Safe Reactive Programming: The FunLoft Proposal Boussinot F., Dabrowski F. [inria-00184100 - version 1] (30/10/2007)

Formalisation of FunLoft Boussinot F., Dabrowski F. [inria-00183242 - version 1] (29/10/2007)

A Benchmark for Multicore Machines Boussinot F. [inria-00174843 - version 2] (2007-10-29)

Génération rapide et filtrage de configurations canoniques Henocque L., Prcovic N. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151237 - version 1]

Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale Philippe J., Ndiaye S. Ndjoh, Terrioux C. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151228 - version 1]

Elimination des symétries locales durant la résolution dans les CSPs Benhamou B., Saïdi M. Reda Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151225 - version 1]

Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSP Ndiaye S. Ndjoh, Terrioux C. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151213 - version 1]

Les grammaires de configuration : un cadre grammatical moderne Estratat M., Henocque L. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151128 - version 1]

Voisinage consistant pour le problème de satisfaisabilité Paris L., Habet D., Benhamou B. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151061 - version 1]

Des ensembles Horn strong backdoor aux ensembles ordonnés strong backdoor Paris L., Ostrowski R., Siegel P. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), (2007) [inria-00151052 - version 1]

A Concurrent Calculus with Atomic Transactions Acciai L., Boreale M., Dal Zilio S. [hal-00109264 - version 1] (24/10/2006)