2941 articles  [english version]
.:. Consultation > Liste par discipline > Autre .:.
11 documents classés par :
fulltext access Substitutions and Strongly Deterministic Tilesets
Le Gloannec B., Ollinger N.
Dans Proceedings of the 8th Conference on Computability in Europe (CiE 2012) - Computability in Europe (CiE), Royaume-Uni (2012) [hal-00661887 - version 1]
fulltext access Squelettes algorithmiques méta-programmés : implantations, performances et sémantique
Javed N.
Université d'Orléans (21/10/2011), Frédéric Loulergue (Dir.) [tel-00651088 - version 1]		 STAR - Dépôt national des thèses électroniques
fulltext access Characterizing Conclusive Approximations by Logical Formulae
Boichut Y., Dao T.-B.-H., Murat V.
Reachability Problems 2011, Italy (2011) [inria-00606100 - version 1]
fulltext access Program Calculation in Coq
Tesson J., Hashimoto H., Hu Z., Loulergue F., Takeichi M.
Rapport de recherche (2009) 18 [inria-00448751 - version 1]
fulltext access Abstract geometrical computation 3: Black holes for classical and analog computing
Durand-Lose J.
Natural Computing 8, 3 (2009) 455-472 [hal-00447966 - version 1]
fulltext access The signal point of view: from cellular automata to signal machines
Durand-Lose J.
Dans Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" - JAC 2008, France (2008) [hal-00274005 - version 1]
fulltext access Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées
Jubertie S.
Université d'Orléans (2007-12-14), Gaetan Hains (Dir.) [tel-00465080 - version 1]
fulltext access Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions
Briffaut J.
Université d'Orléans (2007-12-13), Christian Toinard (Dir.) [tel-00261613 - version 1]
fulltext access Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information
Cleuziou G.
Université d'Orléans (2004-12-08), Christel Vrain (Dir.) [tel-00084828 - version 1]
fulltext access Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language
Bougé L., Cachera D., Le Guyadec Y., Utard G., Virot B.
Rapport de recherche (1996) [inria-00073660 - version 1]
fulltext access Analysis of the M/GI/1->./M/1 queueing model
Blanc H.P.C., Iasnogorodski R., Nain P.
Research report (1987) [inria-00075798 - version 1]