Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-3-540-13912-6
Lecture notes in computer science , 0182
Localisation : Collection 1er étage
algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données
68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 439 p.
ISBN 978-3-540-97628-8
Lecture notes in computer science , 0507
Localisation : Collection 1er étage
algorithme # algorithme des graphes # graphes # informatique théorique # intelligence artificielle # parallélisme # performance
68M20 ; 68Q10 ; 68Q22 ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 620 p.
ISBN 978-3-540-55092-1
Lecture notes in computer science , 0571
Localisation : Collection 1er étage
calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel
68M20 ; 68Q05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 566 p.
ISBN 978-3-540-58712-5
Lecture notes in computer science , 879
Localisation : Collection 1er étage
CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie informatique # mécanique quantique # mémoire des systèmes informatique # performance des machines # polymère # portabilité de programme # problème de voyageur de commerce # problème des trois corps # programmation parallèle # programme informatique de la chimie # prospective de l'informatique # recherche prospective # réseau de machines # réseau de stations de travail # réseau informatique # simulation # station de travail # système linéaire perturbé # traitement de données sismiques # équation différentielle # étoile
CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie ...
68M07 ; 68M10 ; 68M15 ; 68M20 ; 90B12
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 491 p.
ISBN 978-3-540-57766-9
Lecture notes in computer science , 0773
Localisation : Collection 1er étage
authentification des codes # chiffre # cipher # codage # codage des données # complexité des systèmes # cryptoanalyse # cryptographie # cryptologie # cryptosystème # organisation des systèmes # performance des systèmes # sécurité des systèmes informatiques
68M20 ; 68Mxx ; 68P25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (ALPE)
calcul informatique de haute performance # environnement de programmation parallèle # ordonnancement statique ou en-ligne # parallélisation automatique # problème irrégulier et compilation # surveillance et évaluation de système parallèle ou distribué # temps de compilation # temps de fonctionnement multifilié
68-06 ; 68M20 ; 68N20 ; 68N25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-0-8218-0992-1
DIMACS series in discrete mathematics and theoretical computer science , 0045
Localisation : Collection 1er étage
algorithme # analyse # application # combinatoire # cryptographie # graphe # industrie # mathématique appliquée # mobile # passage # protocole réseau # réseau ATM # réseau de communication # réseau radio # système distribué # théorie des graphes # traitement des données # électronique
05C05 ; 05C10 ; 05C38 ; 05C85 ; 05C90 ; 68M07 ; 68M10 ; 68M20 ; 68Q05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 171 p.
ISBN 978-0-8218-2141-1
Contemporary mathematics , 0275
Localisation : Collection 1er étage
approximation numérique # théorie des opérateurs # application # analyse numérique # combinatoire # théorie des graphes # orthogonalisation # théorie des corps de classes # application du processus de Markov # théorie des files d'attente # évaluation de performance
35F05 ; 47N40 ; 68R10 ; 65F25 ; 11R37 ; 60K20 ; 60K25 ; 68M20 ; 00A30 ; 68R05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 557 p.
ISBN 978-3-7643-6933-0
Trends in mathematics
Localisation : Colloque 1er étage (VERS)
informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance
68M20 ; 68Q25 ; 68P30 ; 68Rxx ; 68W20 ; 90B15 ; 00B25 ; 05-06 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
Dans la première partie nous introduirons la notion d’ordonnancement sur une ou plusieurs machines et les résultats classiques du domaine.
68M20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
Dans la deuxième partie, nous nous intéresserons au problème d’ordonnancement de graphes de tâches sous contraintes mémoire.
68M20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 268 p.
University texts in the mathematical sciences
Localisation : Ouvrage RdC (TAKA)
processus d'attente # queue avec plusieurs serveurs # théorie des files
60K15 ; 60K25 ; 68M20 ; 90B22
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-85-244-0061-2
Colóquio brasileiro de matemática , 0018
Localisation : Salle de manutention
algorithme pour ordonnancer # complexité de calcul # fermeture convexe # géométrie informatique # primitive géométrique # triangulation
68M20 ; 68Q35 ; 68V05 ; 90B35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 202 p.
ISBN 978-2-225-81939-1
Méthode + Programmes
Localisation : Ouvrage RdC (BATB)
ARBA # CENTRA # PYRA # Turbo-Pascal # approche pyramidale # arborescence # arbre # classification additive # classification arborée # classification hiérarchique # dendrogramme # programmation # programme
68-05 ; 68M20 ; 68P99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 138 p.
ISBN 978-0-89871-020-5
CBMS-NSF regional conference series in applied mathematics , 0023
Localisation : Collection 1er étage
mesure et évolution # modèle conceptuel # modèle mathématique # modèle à charge de travail de Benchmark # observation personnelle # performance de système informatique # simulation # sonde de logiciel # sytème pour rendre compte
68M20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 232 p.
ISBN 978-90-6196-467-4
CWI tract , 0115
Localisation : Collection 1er étage
file d'attente # marche des systèmes # organisation et système informatique # stochastique # théorie des probabilités # évaluation des performances des sytèmes informatiques
60K25 ; 68M20 ; 90B22
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-87908-100-7
Localisation : Disparu
ATM, réseau informatique # commutation et transmission ATM # concept, protocole, application # couche d'adaptation # interface # mode de transfert asynchrone # passif # protocole de signalisation # réalisation de noeud # réseau optique # transaction
68M10 ; 68M15 ; 68M20 ; 68Mxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-86601-127-7
Localisation : Disparu
IBM VM/CMS # MACINTOSH # MS/DOS # UNIX # VAX/VMS # adressage # allocation du CPU # architecture de système # calcul informatique # description des matériels # entrée # interruption # intéraction réseau # multi-programmation # mémoire virtuelle # sortie # système d'exploitation # système informatique # traduction
68M20 ; 68Mxx ; 68Q05 ; 68Q10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 365 p.
ISBN 978-3-540-41510-7
Localisation : Ouvrage RdC (BRUC)
programmation mathématique # informatique # ordonnancement # planification # optimisation combinatoire # programmation combinatoire # algorithme # problème de programmation # complexité # algorithme parallèle # calcul parallèle # temps # machine # programmation de machine # multiprocesseur # performance # mathématiques appliquées
90B35 ; 68M20 ; 90C60 ; 90B30 ; 90C27 ; 90-01
... Lire [+]
