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 « programs »
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.
programming < programs < progranne  Facettes :

List of bibliographic references indexed by programs

Number of relevant bibliographic references: 133.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000591 (2015-04-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Implicit computational complexity in Object Oriented Programs
000616 (2015-03-04) Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]On the information carried by programs about the objects they compute
000664 (2015-01-01) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Characterizing polynomial time complexity of stream programs using interpretations
000684 (2015) Bruno Lévy [France]Robustness and Efficiency of Geometric Programs The Predicate Construction Kit (PCK)
000789 (2015) Didier Galmiche [France] ; David Pym [Royaume-Uni]Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
000864 (2014-12) Jingshu Chen [France] ; Marie Duflot [France] ; Stephan Merz [France]Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001449 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
001884 (2012-10-24) Joan Calvet [France] ; José Fernandez [Canada] ; Jean-Yves Marion [France]Aligot: cryptographic function identification in obfuscated binary programs
001A49 (2012-07) Liliana Cucu-Grosjean [France] ; Luca Santinelli [France] ; Michael Houston [Royaume-Uni] ; Codé Lo [France] ; Tullio Vardanega [Italie] ; Leonidas Kosmidis [Espagne] ; Jaume Abella [Espagne] ; Enrico Mezzeti [Italie] ; Eduardo Quinones [Espagne] ; Francisco J. Cazorla [Espagne]Measurement-Based Probabilistic Timing Analysis for Multi-path Programs
002901 (2010-12-15) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Interpretation of stream programs: characterizing type 2 polynomial time complexity
002D75 (2010-03-27) Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France]Specifying Generic Java Programs: two case studies
003064 (2010) Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
003074 (2010) Marco Gaboardi [Italie] ; Romain Péchoux [France]Global and Local Space Properties of Stream Programs
003099 (2010) Pontus Boström [Finlande]Creating Sequential Programs from Event-B Models
003122 (2010) Serge Autexier [Allemagne] ; Christoph Lüth [Allemagne]Adding Change Impact Analysis to the Formal Verification of C Programs
003144 (2010) Aleksandar DimovskiA Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs
003246 (2010) Gabriel Michel [France] ; Sorin Stratulat [France]Good reasons to implement transnational European diploma programs in Computer Science
003317 (2009-11-27) Christophe Ringeissen [France]Equational reasoning and combination methods: from programs to proofs
003318 (2009-11-25) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Daniel Reynaud [France]A computability perspective on self-modifying programs
003577 (2009-06) Stéphane Genaud [France] ; Choopan Rattanapoka [France]A Peer-to-Peer Framework for Message Passing Parallel Programs

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

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