Teeft.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Teeft.i » - entrée « Technical report »
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.
Technical reasons < Technical report < Technical report department  Facettes :

List of bibliographic references indexed by Technical report

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
003A19 (2009) Nelson H. F. Beebe [États-Unis]A new math library
006315 (2005) Yann Guermeur [France] ; André Elisseeff [Allemagne] ; Dominique Zelus [Argentine]A comparative study of multi‐class support vector machines in the unifying framework of large margin classifiers
009164 (2001) Nicolas Navet [France] ; Ye-Qiong Song [France]Validation of in-vehicle real-time applications
009194 (2001) D. Pomorski [France] ; P. B. Perche [France]Inductive learning of decision trees: application to fault isolation of an induction motor
009334 (2001) François Fages [France] ; Paul Ruet [France] ; Sylvain Soliman [France]Linear Concurrent Constraint Programming: Operational and Phase Semantics
009D02 (2000) N. Navet [France] ; Y.-Q. Song [France] ; F. Simonot [France]Worst-case deadline failure probability in real-time applications distributed over controller area network
009D07 (2000) Hélène Kirchner [France] ; Isabelle Gnaedig [France]Termination and normalisation under strategy Proofs in ELAN
009D51 (2000) Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian VittekELAN
009D55 (2000) Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]Controlling Rewriting by Rewriting
009D60 (2000) David M. Reboussin [États-Unis] ; David L. Demets [États-Unis] ; Kyungmann Kim [États-Unis] ; K. K. Gordon Lan [États-Unis]Computations for Group Sequential Boundaries Using the Lan-DeMets Spending Function Method
009D67 (2000) N. Marco [France] ; S. Lanteri [France]A two-level parallelization strategy for Genetic Algorithms applied to optimum shape design
00A826 (1999) R. Dssouli [Canada] ; K. Saleh [Koweït] ; E. Aboulhamid [Canada] ; A. En-Nouaary [Canada] ; C. Bourhfir [Canada]Test development for communication protocols: towards automation
00A831 (1999) N. Navet [France] ; Y.-Q. Song [France]Reliability improvement of the dual-priority protocol under unreliable transmission
00A836 (1999) Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis]On the Chvátal rank of polytopes in the 0/1 cube
00A850 (1999) Stéphane Vialle [France] ; Yannick Lallement [États-Unis] ; Thierry Cornu [France]Design and implementation of a parallel cellular language for MIMD architectures
00A910 (1999) B. Gaujal [France] ; N. Navet [France]Traffic shaping in real-time distributed systems: a low-complexity approach
00A967 (1999) M. Gu [Hong Kong] ; D. Follmann [États-Unis] ; Nl Geller [États-Unis]Monitoring a general class of two-sample survival statistics with applications
00AA33 (1999) Michel Cosnard [France] ; Emmanuel Jeannot [France]Compact DAG Representation and Its Dynamic Scheduling
00AA68 (1999) K. Stokkermans [Autriche]A Categorical Critical-pair Completion Algorithm
00B273 (1998) G. Canals [France] ; C. Godart [France] ; P. Molli [France] ; M. Munier [France]A criterion to enforce correctness of indirectly cooperating applications
00B352 (1998) Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy LynchLiveness in Timed and Untimed Systems

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/Teeft.i -k "Technical report" 

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