Kooperativer Bibliotheksverbund

UID:

Format: XIV, 293 S. : Ill., graph. Darst.

ISBN: 1-85166-167-0

Note: Literaturangaben

Language: English

Subjects: Computer Science

Keywords: Software ; Computer ; Datensicherung ; Sicherheit ; Zuverlässigkeit ; Konferenzschrift ; Konferenzschrift

UID:

Format: 1 Online-Ressource (VIII, 301 p)

ISBN: 9781468452181

Series Statement: Applied Information Technology

Content: This volume provides the proceedings of the First European Workshop on Parallel Processing Techniques for Simulation which was held at the end of October 1985. The Workshop was organized within the framework of a joint project sponsored by the Commission of the European Communities under the research part of the multiannua1 programme in the field of Data Processing aming at promoting collaborative research work in the Community. The project involved collaborative work between the Complex Systems Group of the Control Systems Centre at UMIST, the Systems Reliability Service of the United Kingdom Atomic Energy Authority and the University of Bergamo, Italy. The aim of this project was to develop decomposition coordination techniques which would be of help in the simulation of complex dynamical systems on parallel processing facilities. One of the major aims of the Workshop was to report on the results produced within the project and to try to relate these to the leading work going on in this field in other centres of excellence. With this in mind, the Proceedings Volume is split up into a number of parts corresponding to the main sessions within the Workshop programme

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781468452204

Language: English

DOI: 10.1007/978-1-4684-5218-1

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 Online-Ressource (XIV, 293 p)

ISBN: 9789400934610

Content: The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book "Safety and Reliability of Programmable Electronic Systems" which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9789401080507

Language: English

Keywords: Software ; Computer ; Datensicherung ; Sicherheit ; Zuverlässigkeit ; Konferenzschrift

DOI: 10.1007/978-94-009-3461-0

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 online resource (402 p.)

Edition: Reprint 2021

ISBN: 9783112500620

Series Statement: Physica status solidi ; Volume 27, Number 2

Note: Frontmatter -- , Classification Scheme -- , Contents -- , Original Papers -- , Ultrasonic Attenuation in Unirradiated and Neutron Irradiated Quartz -- , On the Experimental Observation of Small Polarons in Semiconductors -- , Untersuchung dreiwertiger Übergangsmetallionen in Silberhalogeniden -- , The Temperature Dependence of the Flow Stress of Copper Single Crystals -- , Untersuchungen zur Deutung der kantenfernen Feinstruktur der Röntgen-K-Absorptionsspektren -- , A Step Annealing Procedure for the Determination of Diffusion Coefficients in Metals by the Resistometric Method — Application to the Diffusion of Cu in Al -- , On the Theory of Shallow Impurity States -- , Rare-Gas Diffusion in Neutron-Irradiated Rubidium Halides -- , Twist Boundaries and Electroluminescence -- , The Influence of Structure on the Electroluminescence of Zinc Sulphide -- , Dislocations and Persistent Slip Bands in Copper Single Crystals Fatigued at Low Stress Amplitude -- , Electron Microscope Image Profiles of Paired and Triple Dislocations -- , Depth Distribution Measurements Using Bombardment-Enhanced Solubility -- , The Self-Energy of a Dislocation and the Elastic Energy of Piecewise Straight Dislocation Configurations -- , Combined Infrared Photoemission from CS3Sb -- , Magnetisierung in der Umgebung unmagnetischer Einschlüsse in Ferromagnetika -- , Magnetisierung in der Umgebung unmagnetischer Einschlüsse in Ferromagnetika -- , Kinematic and Dynamic Interaction between Elementary Excitations in Ferromagnetics with Spin S = 1/2 -- , Diffusion of Mn2+ in AgCl and AgBr Crystals -- , Mössbauer Experiments with Coulomb-Excited 73Ge after Coulomb Recoil Implantation -- , On the Reverse-Biased Capacitance oi Step p+-n Junctions with Traps -- , Fine Structure Measurements in the Energy Angular Distribution of Secondary Electrons from a (110) Face of Copper -- , Experiments on Fluctuations in Optically Quenched CdS and CdSe Crystals -- , Electronic Processes and Fluctuations in Optically Quenched CdS and CdSe Crystals -- , Production of Colloidal Calcium by Electron Irradiation of CaF2 Crystals -- , Interstitial Solute Trapping in Irradiated and Quenched Iron -- , Stress-Induced Inhomogeneous Effects of the K-Absorption in RbCl -- , Electrical and Optical Properties of Sputtered ln2O3 Films -- , Electrical and Optical Properties of Sputtered ln2O3 Films -- , Comparative Investigation of the Specific Heat of KH2PO4 (KDP) and KD2PO4 (DKDP) Single Crystals -- , On the Theory of Low-Temperature Exciton Absorption Spectra -- , Thermoelectric Force of Hot Carriers -- , Erratum -- , Short Notes -- , Excitation of Magnetostatic, Magnetoelastic, and Acoustic Waves in Ca-Bi-V-Fe Garnet -- , Defect Clusters in Neutron Irradiated Rhenium -- , Production of the Second Harmonic of Light in Ammonium Pentaborate and Other Powdered Piezoelectric Crystals -- , On the Nonlocal Connection between Polarization and Electric Field in Ferroelectrics -- , On the Scattering of Electrons by Ionised Impurities in the Case of Strong Degeneracy -- , Anisotropy in the Reflection Coefficient of p -Rhombohedral Boron in the Region 1 to 6 eV -- , X-Ray Induced Conductivity Changes in InSb -- , Study of Iron Ions in 57Fe-Doped AgCl Using the Mossbauer Effect -- , High Field Domains in CdS Crystals Moving in the Anode-Cathode Direction -- , Connection between the Circular Dichroism and Rotatory Dispersion of Gyrotropic Crystals and its Experimental Verification in the Region of the Excitation of Circular Excitons -- , Oscillatory Magneto-Photoconductivity Effect in Germanium -- , Temperature Dependences of the Nuclear Quadrupole Resonance Spectra of As75 in RH2AsO4, , RbH2AsO4, CsH2AsO4, NH4-H2AsO4, and of their Deuterated Analogues -- , On the Frequency Dependence of Electroluminescence of ZnS:Cu Phosphors -- , Warm Electron Temperature and Mobility in Polar Semiconductors -- , Hot Electron Temperature and Mobility in Polar Semiconductors -- , Nonlinear Two-Magnon-One-Phonon Confluence Process in BVC Garnet -- , The Contribution of Free Carriers to the Complex Dielectric Constant of Tellurium at 9 GHz -- , The Yield Strength of Sodium Chloride Containing Manganese -- , Interband Faraday Rotation in Gallium Arsenide -- , On States of Iron Impurity Ions in AgCl and NaCl Investigated by the Mossbauer Method -- , Evidence for Frenkel Defect Recombination during Thermal Annealing of Low-Temperature X-Irradiated KC1 -- , Density of States Effective Mass of Holes in HgTe -- , Pre-printed Titles , In English.

Additional Edition: ISBN 9783112500613

Language: English

DOI: 10.1515/9783112500620

URL: https://doi.org/10.1515/9783112500620

URL: https://www.degruyter.com/isbn/9783112500620