These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application to hardware design of the techniques of software engineering. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program develop ment. The harsher constraints on hardware designers mean both that there is a greater need for good abstractions and rigorous assurances of the trustworthyness of designs, and also that there is greater reason to expect that these benefits can be realised. The papers presented at this workshop consider the application of mathematics to hardware design at several different levels of abstraction. At the lowest level of this spectrum, Zhou and Hoare show how to describe and reason about synchronous switching circuits using UNilY, a formalism that was developed for reasoning about parallel programs. Aagaard and Leeser use standard mathematical tech niques to prove correct their implementation of an algorithm for Boolean simplification. The circuits generated by their formal synthesis system are thus correct by construction. Thuau and Pilaud show how the declarative language LUSTRE, which was designed for program ming real-time systems, can be used to specify synchronous circuits.

Dieses Buch enthalt die Beitrage der 4. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Munchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrage, darunter 4 eingeladene, sind teils in deutscher, uberwiegend aber in englischer Sprache verfasst. Insgesamt wird durch diese Beitrage die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. Samtliche Beitrage berichten uber neue Forschungs- oder Entwicklungsergebnisse.

Das Buch Auf dem Weg zur Integration Factory fasst den State of the Art sowie die Zukunftsperspektiven im Bereich der integrierten Informationslogistik zusammen. Die Autoren untersuchen zum einen, inwieweit sich bisherige Ansatze zum Data Warehousing sowie zur Enterprise Application Integration mittelfristig technisch, organisatorisch und wirtschaftlich als geeignete Losungen erwiesen haben. Die Kernthemen sind hierbei Architekturen, Vorgehensmodelle, Business Intelligence, Online-Analyse, Customer Relationship Management, Supply Chain Management und Anwendungsintegration. Zum anderen werden neuere Ansatze vorgestellt, welche die Integration des Data Warehouse in die Gesamt-Informationslogistik zum Ziel haben und so die Realisierung neuer Applikationstypen und Geschaftsmodelle ermoglichen. Daruber hinaus wird insbesondere auf eine Verbesserung der Prozessunterstutzung durch einen hoheren Integrationsgrad der Applikationen eingegangen. Das Buch wendet sich vorwiegend an Praktiker aus den Bereichen Betriebswirtschaft und Wirtschaftsinformatik."

In the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of the 4-bit and the 8-bit microprocessors and their comparatively simple structure. However, the techno-logical development from 8-bit to 16-bit microprossors led to processor components with a substantially more complex structure and with an expanded functionality and also to an increase in the system architecture's complexity. This books takes this advancement into account. It examines 16-bit micro-processor systems and descrihes their structure, their behavior and their programming. The principles of computer or ganization are treated at the component level. This is done by means of a detailed examination of the characteristic functionali ty of microprocessors. Furthermore the interactions between hardware and software, that are typical of microprocessor technology, are introduced. Interfacing techniques are one of the focal points of these considerations. This puplication is organized as a textbook and is intended as a self-teaching course on 16-bit microprocessors for students of computer science and communications, design engineers and users in a wide variety of technical and scientific fields. Basic knowledge of boolean algebra is assumed. The choice of material is based on the 16-bit microprocessors that are currently available on the market; on the other hand, the presentation is not bound to anyone of these microprocessors."

The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceived initially as a grand experiment in computer science, the revolutionary architecture incorporated both a high level of parallelism and pipe lining. After a difficult gestation, the Illiac IV became operational in November 1975. It has for a decade been a substantial driving force behind the develooment of computer technology. Today the Illiac IV continues to service large-scale scientific aoolication areas includ ing computational fluid dynamics, seismic stress wave propagation model ing, climate simulation, digital image processing, astrophysics, numerical analysis, spectroscopy and other diverse areas. This volume brings together previously published material, adapted in an effort to provide the reader with a perspective on the strengths and weaknesses of the Illiac IV and the impact this unique computa tional resource has had on the development of technology. The history and current status of the Illiac system, the design and architecture of the hardware, the programming languages, and a considerable sampling of applications are all covered at some length. A final section is devoted to commentary."

The popularity of the First Edition of this book has been very gratifying. It confirms that there is a genuine need for a text covering the magnetic bubble technology. We are pleased that the readers have found that this book satisfies that need. It has been used as a text for courses in both universities and industry, and as a reference manual by workers active in the field. To meet the need for more copies of the book it seemed preferable to publish a second edition rather than merely a second printing. There has been some significant progress, even in the short time since the initial printing, and we wanted to include that. At the same time we would like to provide the new copies at the lowest possible cost so that they are more easily obtained by students. For this reason the new edition is in soft cover and the recent progress has been described in a final chapter rather than incorporated into the original chapters. This eliminates the expense of resetting and repaging the original text. At the same time up-to-date references have been added and typographical errors have been corrected in the original chapters. It is our hope that this edition will be useful to those with an interest in the fascinating field of magnetic bubbles.

Das Buch soll Mainframe-Anwendern helfen, die Philosophie von Datenbanken zu verstehen und selbst Datenbankrecherchen zu formulieren. Hierfur stellt IBMs Query Management Facility, kurz QMF, eine sehr geschickt komponierte Sammlung von Werkzeugen zur Verfugung. Das Buch richtet sich an Endanwender und zeigt, wie man mit Hilfe von QMF fachliche Probleme loesen kann, auch ohne die Entwicklungsabteilung zu bemuhen. Die beigefugte CD-ROM enthalt die Tabellen, die allen Beispielen zugrunde liegen, als ASCII-Dateien und ermoeglicht die praktische Durchfuhrung der Fallbeispiele mit dem Computer.

Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Solche Objekte sind gekapselt und verbergen die innere Komplexitat hinter einer offentlich bekannt gegebenen Schnittstelle. Dadurch konnen Objekte in den verschiedensten Programmpaketen verwendet werden, ohne dass die interne Realisierung bekannt sein muss. Die Verbindung objektorientiert modellierter Anwendungen mit einer Datenbank stellt besondere Anforderungen an DBMS und Entwicklungsumgebung, will man die ublichen Performance- und Semantikverluste vermeiden. Dieses Buch behandelt ausfuhrlich das Objektmodell der postrelationalen Datenbank Cache. Zudem wird der Leser Schritt fur Schritt bei der Entwicklung einer ersten postrelationalen Applikation begleitet. Die komplette Software hierzu einschliesslich einer Single-User-Version von Cache 5 ist auf der beigefugten CD-ROM enthalten. Die vorliegende zweite, uberarbeitete und erweiterte Auflage berucksichtigt die zahlreichen Neuerungen der Cache-Version 5. Die Beschreibungen der Java- und ActiveX-Anbindung und des SQL-Managers von Cache wurden grundlegend uberarbeitet und erweitert. Neu hinzugekommen sind eine ausfuhrliche Beschreibung des neuen Cache Studio mit seinen umfassenden Verbesserungen fur die Anwendungsentwicklung sowie Kapitel uber die Web-Entwicklung mit den Cache Server Pages (CSP), den Datenaustausch mit XML und die Entwicklung von SOAP-basierten WebServices."

Dokumentenmanagementprojekte sind ganzheitliche Projekte. Organisatorische, technische und menschliche Faktoren entscheiden uber Erfolg oder Mierfolg. Das DMS-Handbuch hilft fruhzeitig Fehler zu erkennen und zu vermeiden. Es ist eine Pflichtlekture fur jeden, der sich mit dem Gedanken tragt, ein Dokumentenmanagementsystem einzufuhren. Schritt fur Schritt wird der Leser durch die einzelnen Projektstufen gefuhrt. Mit Hilfe von Tabellen, Charts und Diagrammen wird eine komplexe Materie ubersichtlich dargestellt. Ein ausfuhrliches Glossar mit Begriffserklarungen der Fachtermini und eine Fulle von Checklisten machen das Buch zum unentbehrlichen Begleiter.

Das Buch fuhrt systematisch in das Multiprojektmanagement ein und behandelt unterschiedliche Formen der Multiprojektkoordination. Wichtige Methoden zur Bewertung, Auswahl und Priorisierung von Projekten sowie zur Ressourcensteuerung werden ebenso behandelt wie die Prozessgestaltung und die organisatorische Verankerung der Multiprojektsteuerung. In dem Band werden inhaltliche Schwerpunkte gesetzt, um den Bedurfnissen der unterschiedlichen Zielgruppen wie Unternehmensleitung, Projektportfoliomanagern und -koordinatoren gerecht zu werden."

Die Versorgung des Managements mit validen und aktuellen Informationen zur Wahrnehmung der Fuhrungs-, Steuerungs- und Kontrollaufgaben ist zu einer der wichtigsten Herausforderungen fur die Wirtschaftsinformatik geworden. Die Forderung nach integrierten Informations- und Kommunikationssystemen, welche aus unternehmensinternen und unternehmensexternen Datenquellen entsch- dungsrelevante Informationen mit einem hohen Mass an Automatisierung zus- mentragen und aufbereiten, begleitet die IT-Abteilungen seit vielen Jahren. Unter wechselnden Schlagworten wurden Konzepte zur Informationsversorgung des Managements propagiert, deren Einsatztauglichkeit aber haufig hinter den Erw- tungen zuruckblieb. Dennoch haben sich in den 90er Jahren in fast allen Unt- nehmungen Data-Warehouse-Losungen durchsetzen konnen, da diese nachwe- lich zu einer erhohten Qualitat und Aktualitat der Informationsbereitstellung fur Fach- und Fuhrungskrafte beitragen. Unter dem Begriff Business Intelligence" werden derzeit dialogfahige Informationssysteme mit hohem Verfugungsgrad, intuitiver Nutzbarkeit und analytischer Funktionsvielfalt verbreitet, die auf dem bereinigten Datenbestand eines derartigen Data Warehouse aufsetzen. Der SAP AG gelang es, nach spatem Entwicklungsstart in diesem Marktsegment mit dem Produkt SAP Business Information Warehouse (SAP BW )" einen fuhrenden Platz einzunehmen. Als Plattform fur die Sammlung von betriebswi- schaftlichen Grunddaten ist das SAP BW ein wesentlicher Bestandteil der Anwendungsarchitektur im Gesamtkonzept der SAP-Produkte geworden. Samt- che Systemkomponenten, welche Planungs-, Steuerungs- und Berichtsaufgaben unterstutzen, beziehen jetzt und zukunftig ihre Daten aus dem SAP BW . Dies gilt sowohl fur das Produkt SAP Strategic Enterprise Management (SAP SEM )" als auch fur die Softwarekomponente SAP Advanced Planner and Optimizer (SAP APO ).""

All you need to know about Storage Area Networks

The amount of data of an average company doubles every year. Thus, companies who own 1TB of data today will own 32TB in five years. Storage networks help to tame such data quantities and to manage this data growth efficiently. Since stored data and information are the biggest asset of any company, anyone who is involved in the planning or the operation of IT systems requires a basic knowledge of the principle and the use of storage networks.

"Storage Networks Explained" covers the fundaments, techniques and functions of storage networks such as disk subsystems, Fibre Channel SAN, Internet SCSI (iSCSI), Fibre Channel over Ethernet (FCoE), Network Attached Storage (NAS), file systems, and storage virtualization. Furthermore the authors describe the use of these techniques and how they are designed to achieve high-availability, flexibility, and scalability of data and applications. Additional attention is given to network backup and the management of storage networks. Written by leading experts in the field, this book on storage area networks is updated and fully revised.

"Key features: "Presents the basic concepts of storage networks, such as I/O techniques, disk subsystems, virtualization, NAS and SAN file systemsCovers the design of storage networks which provide flexible, highly-available, and scaleable IT systemsExplains the use of storage networks for data sharing, data protection, and digital archivingDiscusses management of storage networks using SNMP, SMI-S, and IEEE 1244

This book provides system administrators and system architects, as well as students and decision makers, with the tools needed for optimal selection and cost-effective use of storage networks.

The Linux Journal awarded the first edition with the "Editor's Choice Award 2005" in the category "System Administration Book."

In den politischen und oekonomischen Entscheidungsprozessen muss der Wirtschaftsverkehr einen hohen Stellenwert einnehmen und in der Wissenschaft muss es Ziel sein, ihn moeglichst realitatsnah durch Modelle und Szenarien abzubilden. Der Fokus der vorliegenden Proceedings liegt insbesondere auf aktuellen Forschungsansatzen, die sich mit der Datengenerierung von Wirtschaftsverkehren und der Bewertung der Datenqualitat beschaftigen. Ein weiterer Schwerpunkt des Buches setzt sich mit der Modellentwicklung von Wirtschaftsverkehren sowie Strategien zur Verkehrssteuerung und -prognose im Hinblick auf die Entscheidungsfindung auseinander. Das Buch richtet sich an Vertreter der Wissenschaft und Praxis aus den Disziplinen Logistik, Verkehrsforschung und Raumplanung, die an wissenschaftlichen und praxisorientierten Forschungsansatzen interessiert sind. Die Beitrage wurden im Rahmen eines Double-Blind-Review-Verfahrens von acht Professorinnen und Professoren, die den Programmausschuss der Fachtagung Wirtschaftsverkehr 2013 bilden, ausgewahlt.

Offering thorough coverage of atomic layer deposition (ALD), this book moves from basic chemistry of ALD and modeling of processes to examine ALD in memory, logic devices and machines. Reviews history, operating principles and ALD processes for each device.

In der IT-Branche etabliert sich derzeit das Cloud-Computing als neue Form der Leistungserbringung. Dadurch bietet sich eine neue Perspektive auf das Outsourcen von IT-Dienstleistungen fur Anbieter wie fur Kunden. In dem Band erortern die Autoren, Anbieter, Analysten, Berater und Wissenschaftler, erstmals umfassend die neuesten Entwicklungen im Umfeld des IT-Outsourcings und zeigen anhand von Praxisbeispielen, wie damit nicht nur Kosten reduziert, sondern auch Mehrwert fur das Kerngeschaft geschaffen werden kann."

Das Buch ist interdisziplinar zwischen Kunstlicher Intelligenz, Linguistik und Kognitionswissenschaften angesiedelt. Es gibt eine umfassende Darstellung der semantischen Interpretation und Bedeutungsdarstellung naturlichsprachlicher Ausdrucke auf der Basis Mehrschichtiger Erweiterter Semantischer Netze" (MultiNet). Die damit verbundene Methodik ist sowohl fur theoretische Untersuchungen als auch fur die automatische Sprachverarbeitung geeignet. Die vorgestellten Ergebnisse sind eingebettet in ein System von Software-Werkzeugen, die eine praktische Nutzung des MultiNet-Paradigmas zur Wissensreprasentation sichern. Hierzu gehoren: eine Werkbank fur den Wissensingenieur, ein Ubersetzungssystem zur automatischen Erzeugung von Bedeutungsdarstellungen naturlichsprachlicher Satze und eine Werkbank fur den Computerlexikographen.

Fur die 2. Auflage hat der Autor den aktuellen Stand der Forschung eingearbeitet; der MultiNet-Formalismus selbst und damit seine Beschreibung ist jedoch stabil geblieben."

This book introduces readers to the latest advances in sensing technology for a broad range of non-volatile memories (NVMs). Challenges across the memory technologies are highlighted and their solutions in mature technology are discussed, enabling innovation of sensing technologies for future NVMs. Coverage includes sensing techniques ranging from well-established NVMs such as hard disk, flash, Magnetic RAM (MRAM) to emerging NVMs such as ReRAM, STTRAM, FeRAM and Domain Wall Memory will be covered.

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.

Learn how to build a data science technology stack and perform good data science with repeatable methods. You will learn how to turn data lakes into business assets. The data science technology stack demonstrated in Practical Data Science is built from components in general use in the industry. Data scientist Andreas Vermeulen demonstrates in detail how to build and provision a technology stack to yield repeatable results. He shows you how to apply practical methods to extract actionable business knowledge from data lakes consisting of data from a polyglot of data types and dimensions. What You'll Learn Become fluent in the essential concepts and terminology of data science and data engineering Build and use a technology stack that meets industry criteria Master the methods for retrieving actionable business knowledge Coordinate the handling of polyglot data types in a data lake for repeatable results Who This Book Is For Data scientists and data engineers who are required to convert data from a data lake into actionable knowledge for their business, and students who aspire to be data scientists and data engineers

Das Buch bietet eine umfassende und aktuelle Darstellung der Konzepte und Techniken zur Implementierung von Datenbanksystemen. Ausgangspunkt ist ein hierarchisches Architekturmodell: Die Schichten dieses Modells erm glichen es, den Systemaufbau, die Einordnung der bereitzustellenden Funktionen und ihr Zusammenspiel detailliert zu beschreiben.
Es werden alle Aspekte der Datenabbildung mit den erforderlichen Algorithmen und Datenstrukturen behandelt, also vor allem Externspeicherabbildung, Realisierung von Speicherungsstrukturen und Zugriffspfaden sowie die Ableitung logischer Sichten. Neben der Datenabbildung, in deren Aufgaben sich Speicher-, Zugriffs- und Datensystem teilen, steht als zweiter Schwerpunkt des Buches das Transaktionskonzept und seine Erweiterungen. Dabei werden insbesondere alle Funktionen zur Synchronisation des Mehrbenutzerbetriebs und zur Wiederherstellung der Datenbank im Fehlerfall (Logging und Recovery) dargestellt.

Multi-application smart cards have yet to realise their enormous potential, partly because few people understand the technology, market, and behavioural issues involved. Here, Mike Hendry sets out to fill this knowledge gap with a comprehensive and accessible guide. Following a review of the state-of-the-art in smart card technology, the book describes the business requirements of each smart-card-using sector, and the systems required to support multiple applications. Implementation aspects, including security, are treated in detail and numerous international case studies cover identity, telecoms, banking and transportation applications. Lessons are drawn from these studies to help deliver more successful projects in the future. Invaluable for users and integrators specifying, evaluating and integrating multi-application systems, the book will also be useful to terminal, card and system designers; network, IT and security managers; and software specialists.

Winner, Bronze Award, APEX 2018 and 2018 INDIES Book of the Year Honorable Mention/Health This full-color introduction to the smart home has been written from the ground up with one audience in mind: seniors. No ordinary "beginner's book," My Smart Home for Seniors approaches every topic from a 50+ person's point of view, using meaningful, realistic examples. Full-color, step-by-step tasks-in legible print-walk you through making your home safer and easier to live in using smart technology. Learn how to: * Control your home's lighting with smart bulbs and switches * Make your home more secure with smart doorbells, door locks, and security cameras * Automatically control your home's temperature with a smart thermostat * Make cooking and cleaning easier with smart appliances * Use voice commands or your smart phone to control your smart devices * Use If This Then That (IFTTT) to make your smart devices interact with each other automatically * Get smart about the security and privacy concerns of smart devices * Set up your smart devices and get them to work with one another * Compare and select the best smart hub for your smart home needs * Learn to use Amazon Alexa (TM), Google Home (TM) and other voice-activated devices, as well as Apple's HomeKit (TM) on the iPhone, to make your smart devices work together

Even if you've never touched a 3D printer, these projects will excite and empower you to learn new skills, extend your current abilities, and awaken your creative impulses. Each project uses a unique combination of electronics, hand assembly techniques, custom 3D-printed parts, and software, while teaching you how to think through and execute your own ideas. Written by the founder of Printrbot, his staff, and veteran DIY authors, this book of projects exemplifies the broad range of highly personalized, limit-pushing project possibilities of 3D printing when combined with affordable electronic components and materials. In Make: 3D Printing Projects, you'll: Print and assemble a modular lamp that's suitable for beginners--and quickly gets you incorporating electronics into 3D-printed structures. Learn about RC vehicles by fabricating--and driving--your own sleek, shiny, and fast Inverted Trike. Model a 1950s-style Raygun Pen through a step-by-step primer on how to augment an existing object through rapid prototyping. Fabricate a fully functional, battery-powered screwdriver, while learning how to tear down and reconstruct your own tools. Get hands-on with animatronics by building your own set of life-like mechanical eyes. Make a Raspberry Pi robot that rides a monorail of string, can turn corners, runs its own web server, streams video, and is remote-controlled from your phone. Build and customize a bubble-blowing robot, flower watering contraption, and a DIY camera gimbal.

In 1942, Lt. Herman H. Goldstine, a former mathematics professor, was stationed at the Moore School of Electrical Engineering at the University of Pennsylvania. It was there that he assisted in the creation of the ENIAC, the first electronic digital computer. The ENIAC was operational in 1945, but plans for a new computer were already underway. The principal source of ideas for the new computer was John von Neumann, who became Goldstine's chief collaborator. Together they developed EDVAC, successor to ENIAC. After World War II, at the Institute for Advanced Study, they built what was to become the prototype of the present-day computer. Herman Goldstine writes as both historian and scientist in this first examination of the development of computing machinery, from the seventeenth century through the early 1950s. His personal involvement lends a special authenticity to his narrative, as he sprinkles anecdotes and stories liberally through his text.