top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Modelle für Rechensysteme [electronic resource] : Workshop der GI, Bonn, 31. 3.-1. 4. 1977 / edited by Peter P. Spies
Modelle für Rechensysteme [electronic resource] : Workshop der GI, Bonn, 31. 3.-1. 4. 1977 / edited by Peter P. Spies
Creatore [Spies, Peter P.]
Estensione 1 online resource.
Disciplina 004
Genere/Forma Electronic books
ISBN 9783642454998
3642454992
9783540082064
3540082069
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Grundlagen -- Approximation von Verteilungsfunktionen, ein wichtiger Schritt bei der Modellbildung für Rechensysteme -- Zum Vergleich von A/D/s-Schlangen mit A/D/1-Schlangen -- Verweilzeiten für zeitdiskrete Wartesysteme -- Zur Analyse eines Rechnermodells mit Rechnerkern- und EA-Phasen unter Berücksichtigung von Rüstzeiten -- An Iteration Method to Calculate the Mean Number of Jobs in a Computer Network -- Spezielle Modelle -- Analyse eines Modells für den Anschluß mehrerer Platteneinheiten über einen Kanal -- Ein analytisches Modell für symmetrische Mehrprozessoranlagen -- Scheduling Dependent Tasks with Memory Allocation in Multiprocessing Systems to Minimize Schedule Length -- Berechnung der Leistungsminderung von Zentralprozessoren durch Speicherkonflikte mit autonom ablaufenden E/A-Vorgängen -- On Performance Studies of Processor Oriented Cache Configurations -- Server Utilization for Programs with Individual Pagefault Behavior. A Simple Model -- A Study of a Page-On-Demand System -- Simulation -- Vergleich und Verifikation verschiedener Modelle für ein reales Teilnehmer-Rechensystem -- Implementierung von Auswertungsnetzen mit interaktiven grafischen Methoden -- Simulation einer Büro-Rechenanlage -- Konzept, Modell, Ergebnisse -- Hybrid Simulation Models: A Speed-Up Technique Combining Analytic and Discrete-event Modeling -- Rechnernetze -- Zur Bewertung von Rechnerverbundsystemen -- Control and Improvement of the Broadcast Channel -- Mehrfrequenz-ALOHA-Netzwerke -- Anschriften der Autoren.
Record Nr. NYU-004396261
[Spies, Peter P.]  
Materiale a stampa
Lo trovi qui: New York University
Fehlertolerierende Rechensysteme : 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.-21. September 1984 / edited by K.-E. Großpietsch, M. Cin.
Fehlertolerierende Rechensysteme : 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.-21. September 1984 / edited by K.-E. Großpietsch, M. Cin.
Creatore [Großpietsch, K.-E.]
Estensione 1 online resource.
Disciplina 004.24
Accesso persona Cin, M.
Genere/Forma Electronic books
ISBN 9783642696985
3642696988
9783540133483
3540133488
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto / Table of Contents -- Verteilte Systeme I / Distributed systems I -- The architecture and the fault-treatment of MuTEAM -- Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE -- Implementing fault-tolerance in a distributed system architecture -- Extending resilient objects efficiently -- Fehlertolerante Betriebssysteme / Fault-tolerant operating systems -- Ein fehlertolerantes UNIX(TM)Prozeßsystem auf der Basis von Zuverlässigkeitsklassen -- Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz -- The introduction of fault-tolerance in a hierarchical operating system -- Verifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques -- Effiziente Verfahren zur 'online'-Fehlererkennung in Baumstrukturen von Datenbanksystemen -- CADAS: A tool for designing reliable embedded software and supporting testing 'in the large' -- Automatische Verifikation logischer Entwürfe -- Allgemeine Modelle / General models -- Modelling and validating broadcasting-free concurrent systems -- Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme -- An uniform approach to the Operating System in fault-tolerant distributed computer systems -- Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components -- Modular design of totally self-checking checkers for 1-out-of-n codes -- Systematic t-error correcting all unidirectional error detecting codes -- Concurrent error-detection /-correction of logical operations -- Zuverlässigkeitsmodelle / Reliability models -- Dependability modelling and evaluation of software and hardware systems -- Eingeladener Vortrag / Invited talk -- Quantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen -- Issues in reliability modeling of fault-tolerant computers -- Einzelfehler tolerierende Kommunikationsnetze -- Verteilte Systeme II / Distributed systems II -- Implementation of a fault-tolerant file management system -- Ein fehlertolerantes lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis -- Synchronization tools and a restart method in the fault-tolerant distributed automation system FIPS -- Diagnose auf Systemebene / Diagnosis at system level -- Distributed self-diagnosis and fault-tolerant communication in parallel multiprocessor networks -- System level fault-diagnosis in distributed systems -- Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik -- Tests with fault-localizing capabilities improve system level diagnosis -- Protokolle / Protocols -- Bestimmung der Protokoll-Menge für verteilte Fehlermaskierungs-Systeme -- Modeling and verification of a checkpoint-restart-protocol -- Hardware-Testmethoden I / Hardware testing methods I -- VLSI functional testing using critical path traces at a hardware description language level -- Random testing of LSI self-checking circuits -- Functional testing vs. structural testing of RAMs -- Hardware Testmethoden II / Hardware testing methods II -- Compression of multiple-valued data serial streams by means of parallel LFSR signature analyzer -- The detection of small size multiple faults by single fault test sets in programmable logic arrays.
Record Nr. NYU-004617363
[Großpietsch, K.-E.]  
Materiale a stampa
Lo trovi qui: New York University
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 : [proceedings] / edited by Jörg H. Siekmann
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981 : [proceedings] / edited by Jörg H. Siekmann
Creatore [German Workshop on Artificial Intelligence (1981 : Bad Honnef, Germany)]
Estensione 1 online resource (xii, 317 pages) : illustrations.
Disciplina 001.53/5
Accesso persona Siekmann, Jörg H., editor.
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783662023280
3662023288
9783540108597
3540108599
0387108599
9780387108599
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computersehen und Roboterforschung -- Models and Structures in Image Processing (Hauptvortrag) -- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects (Fachvortrag) -- Robotics Research: From Toy Worlds to Industrial Applications (Hauptvortrag) -- Natürlichsprachliche KI-Systeme -- Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive (Hauptvortrag) -- SWISS -- A Natural Language Question Answering System for Scene Analysis (Fachvortrag) -- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene (Fachvortrag) -- Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag) -- Expertensysteme/Verarbeitung Natürlicher Sprache -- Expert Systems: State of the Art and Future Prospects (Hauptvortrag) -- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types (Fachvortrag) -- Context Directed Translation (Fachvortrag) -- GLP: A Linguistic Processor (Abstract) -- KI-Sprachen und Deren Anwendungen -- AI Languages and AI Machines: An Overview (Hauptvortrag) -- A Concurrent Chart Parser (Abstract) -- A Parallel Connection Graph Proof Procedure (Fachvortrag) -- Integrated Knowledge-Based Information Manipulation Systems (Abstract) -- Automatisches Beweisen und Connectiongraphverfahren -- Mating in Matrices (Hauptvortrag) -- Subsumption and Connectionsgraphs (Fachvortrag) -- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure (Abstract) -- Elimination of Redundant Links in Extended Connection Graphs (Fachvortrag) -- Termersetzungssysteme und Automatisches Beweisen -- Term Reduction Systems and Algebraic Algorithms (Hauptvortrag) -- A Noetherian Rewrite System for Idempotent Semigroups (Fachvortrag) -- On the Completeness of Connection Graph Resolution (Abstract) -- Generating small Models of First Order Axioms (Fachvortrag) -- Programmverifikation/Sprache/Spiele -- Programmverification at Stanford: Past, Present Future (Hauptvortrag) -- A System for Understanding Continuous German Speech (Fachvortrag) -- Verarbeitung von externer und interner Situation in Überzeugungssystemen (Fachvortrag) -- Structures for Knowledge-Based Chess Programs (Fachvortrag) -- Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).
Record Nr. NYU-004619783
[German Workshop on Artificial Intelligence (1981 : Bad Honnef, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Offene Multifunktionale Büroarbeitsplätze und Bildschirmtext : Berlin, 25.-29. Juni 1984 : proceedings / herausgegeben von F. Krückeberg, S. Schindler und O. Spaniol
Offene Multifunktionale Büroarbeitsplätze und Bildschirmtext : Berlin, 25.-29. Juni 1984 : proceedings / herausgegeben von F. Krückeberg, S. Schindler und O. Spaniol
Estensione 1 online resource (vi, 335 pages) : illustrations.
Disciplina 004.6
Accesso persona Krückeberg, Fritz
Schindler, Sigram
Spaniol, Otto, 1945-
ISBN 9783662090435
3662090430
3540151869
9783540151869
0387151869
9780387151861
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UALBERTA-7975609
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Entwurfstransaktionen für modulare Objektsysteme : Synchronisierung in objektorientierten Datenbanksystemen / Henning Eckhardt
Entwurfstransaktionen für modulare Objektsysteme : Synchronisierung in objektorientierten Datenbanksystemen / Henning Eckhardt
Creatore [Eckhardt, Henning]
Estensione 1 online resource (144 pages) : illustrations.
Disciplina 005.75
ISBN 9783642511387
3642511384
0387534814
9780387534817
3540534814
9783540534815
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UALBERTA-7975714
[Eckhardt, Henning]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Synchronisation in Mehrrechner-Datenbanksystemen : Konzepte, Realisierungsformen und quantitative Bewertung / Erhard Rahm
Synchronisation in Mehrrechner-Datenbanksystemen : Konzepte, Realisierungsformen und quantitative Bewertung / Erhard Rahm
Creatore [Rahm, Erhard]
Estensione 1 online resource (ix, 272 pages) : illustrations.
Disciplina 005.74
ISBN 9783642741234
3642741231
9783540503484
354050348X
038750348X
9780387503486
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UALBERTA-7975717
[Rahm, Erhard]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Datenbanksysteme für Software-Produktionsumgebungen / Willi Gotthard
Datenbanksysteme für Software-Produktionsumgebungen / Willi Gotthard
Creatore [Gotthard, Willi]
Estensione 1 online resource (x, 193 pages) : illustrations.
Disciplina 005.1
ISBN 9783642742750
3642742750
9783540505396
3540505393
0387505393
9780387505398
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UALBERTA-7975718
[Gotthard, Willi]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Ein Molekül-Atom-Datenmodell für Non-Standard-Anwendungen : Anwendungsanalyse, Datenmodellentwurf und Implementierungskonzepte / Bernhard Mitschang
Ein Molekül-Atom-Datenmodell für Non-Standard-Anwendungen : Anwendungsanalyse, Datenmodellentwurf und Implementierungskonzepte / Bernhard Mitschang
Creatore [Mitschang, Bernhard]
Estensione 1 online resource (xi, 230 pages) : illustrations.
Disciplina 005.74
ISBN 9783642741227
3642741223
0387503463
9780387503462
3540503463
9783540503460
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UALBERTA-7975719
[Mitschang, Bernhard]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Erfahrung und Berechnung : Kritik der Expertensystemtechnik / Wolfgang Coy, Lena Bonsiepen
Erfahrung und Berechnung : Kritik der Expertensystemtechnik / Wolfgang Coy, Lena Bonsiepen
Creatore [Coy, Wolfgang]
Estensione 1 online resource (vi, 208 pages) : illustrations.
Disciplina 006.3/3
Accesso persona Bonsiepen, Lena
ISBN 3540518932
9783540518938
0387518932
9780387518930
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UALBERTA-7975790
[Coy, Wolfgang]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Supercomputer '91 : Anwendungen, Architekturen, Trends : Seminar, Mannheim, 20.-22. Juni 1991 : Proceedings / H.W. Meuer (Hrsg.) ; [Veranstalter, Verein zur Förderung der Wissenschaftlichen Weiterbildung an der Universität Mannheim e.V.].
Supercomputer '91 : Anwendungen, Architekturen, Trends : Seminar, Mannheim, 20.-22. Juni 1991 : Proceedings / H.W. Meuer (Hrsg.) ; [Veranstalter, Verein zur Förderung der Wissenschaftlichen Weiterbildung an der Universität Mannheim e.V.].
Estensione 1 online resource (viii, 266 pages) : illustrations.
Disciplina 004.1/1
Accesso persona Meuer, H. W. (Hans W.)
Accesso ente Verein zur Förderung der Wissenschaftlichen Weiterbildung an der Universität Mannheim
ISBN 3540542310
9783540542315
0387542310
9780387542317
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UALBERTA-7975797
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium