Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990
Author:
Publisher:
Total Pages: 916
Release: 1990
Genre: Electronic data processing
ISBN:

The proceedings of the Second IEEE Symposium on title], held in Dallas, December 1990, comprise 143 papers on topics in algorithm, task scheduling, networks, operating systems, databases, architecture, fault tolerance, VLSI design, graphis/image processing, artificial intelligence, languages/compil

Reversible Computation: Extending Horizons of Computing

Reversible Computation: Extending Horizons of Computing
Author: Irek Ulidowski
Publisher: Springer Nature
Total Pages: 250
Release: 2020-05-13
Genre: Computers
ISBN: 3030473619

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Reversible Computation

Reversible Computation
Author: Michael Kirkedal Thomsen
Publisher: Springer
Total Pages: 247
Release: 2019-06-17
Genre: Computers
ISBN: 3030215008

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.

Processor and System-on-Chip Simulation

Processor and System-on-Chip Simulation
Author: Rainer Leupers
Publisher: Springer Science & Business Media
Total Pages: 343
Release: 2010-09-15
Genre: Technology & Engineering
ISBN: 1441961755

Simulation of computer architectures has made rapid progress recently. The primary application areas are hardware/software performance estimation and optimization as well as functional and timing verification. Recent, innovative technologies such as retargetable simulator generation, dynamic binary translation, or sampling simulation have enabled widespread use of processor and system-on-chip (SoC) simulation tools in the semiconductor and embedded system industries. Simultaneously, processor and SoC simulation is still a very active research area, e.g. what amounts to higher simulation speed, flexibility, and accuracy/speed trade-offs. This book presents and discusses the principle technologies and state-of-the-art in high-level hardware architecture simulation, both at the processor and the system-on-chip level.

AADEBUG 2005

AADEBUG 2005
Author:
Publisher: Association for Computing Machinery (ACM)
Total Pages: 180
Release: 2005
Genre: Computers
ISBN:

The Practice of Programming

The Practice of Programming
Author: Brian W. Kernighan
Publisher: Addison-Wesley Professional
Total Pages: 283
Release: 1999-02-09
Genre: Computers
ISBN: 0133133419

With the same insight and authority that made their book The Unix Programming Environment a classic, Brian Kernighan and Rob Pike have written The Practice of Programming to help make individual programmers more effective and productive. The practice of programming is more than just writing code. Programmers must also assess tradeoffs, choose among design alternatives, debug and test, improve performance, and maintain software written by themselves and others. At the same time, they must be concerned with issues like compatibility, robustness, and reliability, while meeting specifications. The Practice of Programming covers all these topics, and more. This book is full of practical advice and real-world examples in C, C++, Java, and a variety of special-purpose languages. It includes chapters on: debugging: finding bugs quickly and methodically testing: guaranteeing that software works correctly and reliably performance: making programs faster and more compact portability: ensuring that programs run everywhere without change design: balancing goals and constraints to decide which algorithms and data structures are best interfaces: using abstraction and information hiding to control the interactions between components style: writing code that works well and is a pleasure to read notation: choosing languages and tools that let the machine do more of the work Kernighan and Pike have distilled years of experience writing programs, teaching, and working with other programmers to create this book. Anyone who writes software will profit from the principles and guidance in The Practice of Programming.

Software and System Development using Virtual Platforms

Software and System Development using Virtual Platforms
Author: Daniel Aarno
Publisher: Morgan Kaufmann
Total Pages: 366
Release: 2014-09-17
Genre: Computers
ISBN: 012800813X

Virtual platforms are finding widespread use in both pre- and post-silicon computer software and system development. They reduce time to market, improve system quality, make development more efficient, and enable truly concurrent hardware/software design and bring-up. Virtual platforms increase productivity with unparalleled inspection, configuration, and injection capabilities. In combination with other types of simulators, they provide full-system simulations where computer systems can be tested together with the environment in which they operate. This book is not only about what simulation is and why it is important, it will also cover the methods of building and using simulators for computer-based systems. Inside you’ll find a comprehensive book about simulation best practice and design patterns, using Simics as its base along with real-life examples to get the most out of your Simics implementation. You’ll learn about: Simics architecture, model-driven development, virtual platform modelling, networking, contiguous integration, debugging, reverse execution, simulator integration, workflow optimization, tool automation, and much more. Distills decades of experience in using and building virtual platforms to help readers realize the full potential of virtual platform simulation Covers modeling related use-cases including devices, systems, extensions, and fault injection Explains how simulations can influence software development, debugging, system configuration, networking, and more Discusses how to build complete full-system simulation systems from a mix of simulators

Debugging with GDB

Debugging with GDB
Author: Richard M. Stallman
Publisher:
Total Pages: 208
Release: 1996
Genre: C (Computer program language)
ISBN: