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 « implementation »
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.
implementability < implementation < implementations  Facettes :

List of bibliographic references indexed by implementation

Number of relevant bibliographic references: 158.
[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
000624 (2015-03) Kévin Roussel [France] ; Ye-Qiong Song [France] ; Olivier Zendra [France]Lessons Learned through Implementation and Performance Comparison of Two MAC/RDC Protocols on Different WSN OS
000633 (2015-02-11) Kévin Roussel [France] ; Ye-Qiong Song [France] ; Olivier Zendra [France]RIOT OS Paves the Way for Implementation of High-Performance MAC Protocols
000E18 (2014) Faiez Zannad [France] ; Philippe Maugendre [France] ; Antoine Audry [France] ; Carole Avril [France] ; Lucile Blaise [France] ; Olivier Blin [France] ; Philippe Burnel [France] ; Béatrice Falise-Mirat [France] ; Danièle Girault [France] ; Isabelle Giri [France] ; Jean-Marie Goehrs ; Catherine Lassale [France] ; Roland Le Meur [France] ; Pierre Leurent [France] ; Christelle Ratignier-Carbonneil [France] ; Patrick Rossignol [France] ; Evelyne Satonnet [France] ; Pierre Simon [France] ; Laurent Treluyer [France]Telemedicine: What Framework, What Levels of Proof, Implementation Rules
000F59 (2013-10-30) Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Tomas Navarrete Gutierrez [France]Multi-agent simulation based governance of complex systems : architecture and example implementation on free-riding
001477 (2013) Amélie David [France]TATL: Implementation of ATL Tableau-Based Decision Procedure
001654 (2013) Davide Bresolin [Italie] ; Dario Della Monica [Islande] ; Angelo Montanari [Italie] ; Guido Sciavicco [Espagne]A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001984 (2012-08-27) Marion Guthmuller [France]State equality detection for implementation-level model-checking of distributed applications
002123 (2011-09-15) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Web Services Verification and Prudent Implementation
002126 (2011-09-15) Jonathan Ponroy [France] ; Kévin Roussel [France] ; Olivier Zendra [France] ; Dominique Blouin [France]Open-PEOPLE : Architecture and Implementation
002462 (2011-02-07) Jamila Ben Sliman [France] ; Ye-Qiong Song [France] ; Anis Koubaa [Arabie saoudite] ; Mounir Frikha [Tunisie] ; Hugo Cruz Sanchez [France]Pmcmtp's Implementation (in nesC/TinyOS2.x) and Testbed for Its Operation Validation
002541 (2011) Michael Hemmer [France] ; Laurent Dupont [France] ; Sylvain Petitjean [France] ; Elmar Schömer [Allemagne]A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics
002790 (2011) Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Karim Khalfallah [France]A Low-Area Yet Performant FPGA Implementation of Shabal
002813 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
002B79 (2010-07-14) Jean-Charles Quinton [France] ; Bernard Girau [France]A sparse implementation of dynamic competition in continuous neural fields
002C75 (2010-06-01) Frédéric Beck [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Automatic IPv4 to IPv6 Transition D2.2 - Transition Engine Specification and Implementation
003069 (2010) Jose Hugo Barron-Zambrano [Mexique] ; Cesar Torres-Huitzil [Mexique] ; Bernard Girau [France]Hardware Implementation of a CPG-Based Locomotion Control for Quadruped Robots
003103 (2010) Nacer Boudjlida [France] ; Dong Cheng [France]Complementarity in Competence Management: Framework and Implementation
003301 (2009-12-08) Virginie Galtier [France] ; Stéphane Genaud [France] ; Stéphane Vialle [France]Implementation of the AdaBoost Algorithm for Large Scale Distributed Environments: Comparing JavaSpace and MPJ
003431 (2009-08-31) Linqiao Zhang [France]On the three-dimensional visibility skeleton: implementation and analysis

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 "implementation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "implementation" \
         | 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é=    implementation
}}
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