Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « modular »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
modulaire < modular < modularity  Facettes :

List of bibliographic references indexed by modular

Number of relevant bibliographic references: 55.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000045 (2016-04-08) Masahiro Ishii [Japon] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Atsuo Inomata [Japon] ; Kazutoshi Fujikawa [Japon]Fast Modular Arithmetic on the Kalray MPPA-256 Processor for an Energy-Efficient Implementation of ECM
000756 (2015) Cary Liptak [États-Unis] ; J Patrick Loria [États-Unis]Movement and specificity in a modular DNA binding protein.
000825 (2014-12-16) Denis Roegel [France]The (re)discovery of one of the oldest modular digital mechanical counters (1844)
000A42 (2014-07-08) Ahmed Hammad [France] ; Fabrice Bouquet [France] ; Jean-Marie Gauthier [France] ; Dominique Gendreau [France]Modeling and simulation of modular complex system: Application to air-jet conveyor
000B51 (2014-05-26) Tomasz Buchert [France] ; Lucas Nussbaum [France] ; Jens Gustedt [France]A workflow-inspired, modular and robust approach to experiments in distributed systems
001155 (2013-06-19) Franck Wartel [France] ; Leonidas Kosmidis [Espagne] ; Benoit Triquet [France] ; Eduardo Quinones [Espagne] ; Jaume Abella [Espagne] ; Adriana Geanina Gogonel [France] ; Andreea Baldovin [Italie] ; Enrico Mezzetti [Italie] ; Liliana Cucu-Grosjean [France] ; Tullio Vardanega [Italie] ; Francisco J. Cazorla [Espagne]Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study
001B26 (2012-05-22) Guy Perrier [France] ; Bruno Guillaume [France]Semantic Annotation of the French Treebank with Modular Graph Rewriting
002075 (2011-10) Jean-Charles Faugère [France] ; David Lubicz [France] ; Damien Robert [France]Computing modular correspondences for abelian varieties
002077 (2011-10) Laszlo Szathmary [Canada] ; Petko Valtchev [Canada] ; Amedeo Napoli [France] ; Robert Godin [Canada] ; Alix Boc [Canada] ; Vladimir Makarenkov [Canada]Fast Mining of Iceberg Lattices: A Modular Approach Using Generators
002479 (2011-01-12) Guillaume Bonfante [France] ; Bruno Guillaume [France] ; Mathieu Morey [France] ; Guy Perrier [France]Modular Graph Rewriting to Compute Semantics
002662 (2011) Christophe Ringeissen [France] ; Valerio Senni [France]Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
003540 (2009-06-19) Hejiao Huang [France] ; Helene Kirchner [France]Modular Security Policy Design based on Extended Petri Nets
004354 (2008) María Alpuente [Espagne] ; Santiago Escobar [Espagne] ; José Iborra [Espagne]Modular Termination of Basic Narrowing
004863 (2007-06-25) Elise Bassecoulard [France] ; Alain Lelu [France] ; Michel Zitt [France]A Modular Sequence of Retrieval Procedures to Delineate a Scientific Field: From Vocabulary to Citations and Back
004C25 (2007) Daniel J. Dougherty ; Claude Kirchner ; Hélène Kirchner ; Anderson Santana De OliveiraModular Access Control Via Strategic Rewriting
004F61 (2006-10-29) Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
005068 (2006-07-09) Yassine Lakhnech [France] ; Laurent Mazare [France] ; Bogdan Warinschi [France]Soundness of Symbolic Equivalence for Modular Exponentiation
005172 (2006-03-28) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Modular Formal Islands: Embed theory in your practice
005383 (2006) Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
005441 (2006) Holger Giese [Allemagne] ; Martin Hirsch [Allemagne]Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
005595 (2006) Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]Modular proof systems for partial functions with Evans equality

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "modular" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "modular" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    modular
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022