Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer arithmetic --- Computer arithmetic and logic units --- Arithmetic and logic units, Computer --- Electronic digital computers --- Digital arithmetic --- Digital computer arithmetic --- Arithmetic --- Computer architecture --- Circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren. Der Inhalt Mengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte und Datenstrukturen - Mathematische Beweise - Spezifikation und Programmverifikation - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Grundbegriffe algebraischer Strukturen - Generische Programmierung - Formale Einführung der natürlichen Zahlen Die Zielgruppen Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule. Der Autor Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.

Computer science—Mathematics. --- Arithmetic and logic units, Computer. --- Mathematical logic. --- Mathematics of Computing. --- Arithmetic and Logic Structures. --- Mathematical Logic and Foundations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture, which underpins computer science, is a topic in which "getting things done" is paramount: The ability to understand trade-offs before selecting between and implementing well-considered design options is often as important as the study of those options at a more theoretical level. This easy-to-follow A Practical Introduction to Computer Architecture blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language (Verilog) and a concrete processor (MIPS32) as vehicles for "hands-on" modelling and experimenting with digital logic and processor design. This unique approach encourages readers to derive their own conclusions via experimentation, enabling them to discover for themselves the fundamental and exciting topics of computer architecture. The book is divided into three parts, covering each of the three levels of abstraction: the digital logic layer, the instruction set and micro-architecture layer, and the hardware/software interface. The first part deals with the basic tools and techniques which underpin the rest of the book, whereas the second part deals with the broad topic of processor design and implementation. The final part bridges the gap between hardware and software by examining the programming tools and operating-system concepts that support the development and execution of programs. Topics and features: • Includes a wide-ranging introductory chapter, familiarising the reader with both the subject and the book’s contents • Outlines basic methods for evaluating processors, with a focus on performance • Investigates advanced topics in processor design, such as superscalar and vector processors • Presents a detailed description of a development tool-chain • Provides a stand-alone tutorial on using SPIM, a MIPS32 simulator • Focuses on aspects of compilers which are closely tied to the processor, covering register allocation, instruction selection and scheduling • Explores real implementations of concepts such as scheduling and interrupt handling • Examines the concept of efficient programming • Concludes every chapter with a set of example problems, and contains an appendix that discusses solutions • Supplies additional supportive material, such as example source code and electronic lecture slides, at http://www.cs.bris.ac.uk/home/page/teaching/pica.html This practical, reader-friendly textbook has been written with undergraduates in mind, and is suitable for self-study. The book can also be used by postgraduate students as a supportive reference for use in combination with more specialised textbooks. Dr. Dan Page is a lecturer at the University of Bristol, affiliated with both the Languages and Architecture Group and the Cryptography and Information Security Group. He was one of the founders of Identum (now part of Trend Micro), which is involved in delivering cryptographic expertise and products to industrial customers.

Computer architecture. --- Electronic books. -- local. --- Software engineering. --- Computer architecture --- Electrical Engineering --- Computer Science --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer software engineering --- Architecture, Computer --- Computer science. --- Computer hardware. --- Arithmetic and logic units, Computer. --- Microprocessors. --- Computer Science. --- Computer Hardware. --- Arithmetic and Logic Structures. --- Processor Architectures. --- Engineering --- Informatics --- Science --- Minicomputers --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Circuits --- Computer arithmetic and logic units.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Providing a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems, Digital Logic for Computing uses logic design throughout to introduce computer design principles and embedded systems in a cohesive, design-driven framework, suitable for class or self-study. Covering the basics of digital logic through the lens of computer organization and programming, the reader should be able to design his or her own computer from the ground up. Illustrated throughout with drawings and diagrams, the core concepts and methods associated with the design and physical construction of digital electronic computers are presented in a clear and concise manner.

Computer science. --- Arithmetic and logic units, Computer. --- Computer organization. --- Computer Science. --- Arithmetic and Logic Structures. --- Computer Systems Organization and Communication Networks. --- Computer network architectures. --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer networking & communications. --- Computer logic. --- Algorithms & data structures. --- Computer science logic --- Logic, Symbolic and mathematical --- Organization, Computer --- Electronic digital computers --- Arithmetic and logic units, Computer --- Computer arithmetic --- Circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The message passing paradigmis the most frequently used approachto devel- ing high performance computing applications on parallel and distributed c- puting architectures.The ParallelVirtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 61 selected contributions presented at the 12th European PVM/MPI Users' Group Meeting, which was held in Sorrento, Italy, September 18-21, 2005. The conference was organized by the Dipartimento di Ingegneria dell'Informazione of the Second University of Naples, Italy in coll- oration with CREATE and the Institute of Graphics and Parallel Processing (GUP) of the Johannes Kepler University Linz, Austria. The conference was previously held in Budapest, Hungary (2004), Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfur ¨ ed, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The ?rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its twelfth year, this conference is well established as the forum for users and developers of PVM, MPI, and other message passing environments. Int- actions between these groups have proved to be very useful for developing new ideas in parallel computing, and for applying some of those already existent to new practical ?elds. The main topics of the meeting were evaluation and p- formance of PVM and MPI, extensions, implementations and improvements of PVMandMPI,parallelalgorithmsusing the messagepassingparadigm,parallel applications in science and engineering, and cluster and grid computing.

Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Numerical analysis. --- Arithmetic and logic units, Computer. --- Computer System Implementation. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Numeric Computing. --- Arithmetic and Logic Structures.