Technique et science informatiques numéro 6, volume 19, juin 2000 PDF Download

Author: Jean-Louis Pazat
Publisher:
ISBN: 9782746201644
Category :
Languages : fr
Pages : 176

View

Book Description

Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1119002923
Category : Computers
Languages : en
Pages : 342

View

Book Description
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Author: Christian Piguet
Publisher: CRC Press
ISBN: 1351836471
Category : Technology & Engineering
Languages : en
Pages : 454

View

Book Description
The power consumption of microprocessors is one of the most important challenges of high-performance chips and portable devices. In chapters drawn from Piguet's recently published Low-Power Electronics Design, this volume addresses the design of low-power microprocessors in deep submicron technologies. It provides a focused reference for specialists involved in systems-on-chips, from low-power microprocessors to DSP cores, reconfigurable processors, memories, ad-hoc networks, and embedded software. Low-Power Processors and Systems on Chips is organized into three broad sections for convenient access. The first section examines the design of digital signal processors for embedded applications and techniques for reducing dynamic and static power at the electrical and system levels. The second part describes several aspects of low-power systems on chips, including hardware and embedded software aspects, efficient data storage, networks-on-chips, and applications such as routing strategies in wireless RF sensing and actuating devices. The final section discusses embedded software issues, including details on compilers, retargetable compilers, and coverification tools. Providing detailed examinations contributed by leading experts, Low-Power Processors and Systems on Chips supplies authoritative information on how to maintain high performance while lowering power consumption in modern processors and SoCs. It is a must-read for anyone designing modern computers or embedded systems.

Author: Christian Piguet
Publisher: CRC Press
ISBN: 1420039555
Category : Technology & Engineering
Languages : en
Pages : 912

View

Book Description
The power consumption of integrated circuits is one of the most problematic considerations affecting the design of high-performance chips and portable devices. The study of power-saving design methodologies now must also include subjects such as systems on chips, embedded software, and the future of microelectronics. Low-Power Electronics Design covers all major aspects of low-power design of ICs in deep submicron technologies and addresses emerging topics related to future design. This volume explores, in individual chapters written by expert authors, the many low-power techniques born during the past decade. It also discusses the many different domains and disciplines that impact power consumption, including processors, complex circuits, software, CAD tools, and energy sources and management. The authors delve into what many specialists predict about the future by presenting techniques that are promising but are not yet reality. They investigate nanotechnologies, optical circuits, ad hoc networks, e-textiles, as well as human powered sources of energy. Low-Power Electronics Design delivers a complete picture of today's methods for reducing power, and also illustrates the advances in chip design that may be commonplace 10 or 15 years from now.

Author: Wenyin Liu
Publisher: Springer
ISBN: 3540347127
Category : Computers
Languages : en
Pages : 439

View

Book Description
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Graphics Recognition, GREC 2005, held in Hong Kong, China, August 2005. The book presents 37 revised full papers together with a panel discussion report, organized in topical sections on engineering drawings vectorization and recognition, symbol recognition, graphic image analysis, structural document analysis, sketching and online graphics recognition, curves and shape processing, and graphics recognition contest results.

Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780769505008
Category : Computers
Languages : en
Pages : 436

View

Book Description
Proceedings of a January 2000 workshop, covering distributed and I/O systems, applications, web based computing, performance analysis, computer architecture, models and languages, scheduling and mapping, metacomputing, languages and compilers, distributed shared memory systems, and tools and environments. Specific topics include security mechanisms for the MAP agent system, predictability of bulk synchronous programs using MPI, and tailoring a self-distributed architecture to a cluster computer environment. Other subjects are parallel computing with a data driven model, groups in bulk synchronous parallel computing, databases and the web, the parallel cellular programming model, and reusable message passing components. The volume lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Author: Chiara Bersani
Publisher: IOS Press
ISBN: 1586038990
Category : Business & Economics
Languages : en
Pages : 348

View

Book Description
Logistics has become a strategic factor for development and competition. Terrorist attacks, such as 11th of September 2001 in the USA, have caused the introduction of rules and procedures, which affect the overall logistics showing the vulnerability of the global economy. This book presents the status of research on dangerous goods transport.

Author:
Publisher:
ISBN:
Category : Canadian periodicals
Languages : en
Pages : 1328

View

Book Description

Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1118587847
Category : Technology & Engineering
Languages : en
Pages : 236

View

Book Description
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

Author: Marcie J. Tyre
Publisher: Palala Press
ISBN: 9781379176916
Category : History
Languages : en
Pages : 98

View

Book Description
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.