FORMAL METHODS AND MODELS FOR SYSTEM DESIGN
|
|
- Cameron Reynolds
- 5 years ago
- Views:
Transcription
1 FORMAL METHODS AND MODELS FOR SYSTEM DESIGN
2 Formal Methods and Models for System Design A System Level Perspective Edited by Rajesh Gupta University 0/ California at San Diego Paul Le Guernic INRIA-IRISA Sandeep Kumar Shukla Virginia Tech and Jean-Pierre Talpin INRIA-IRISA SPRINGER - SCIENCE+BUSINESS MEDIA, B.V.
3 A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN DOI / ISBN (ebook) Printed on acid-free paper All Rights Reserved 2004 Springer- Science+Business Media Dordrecht Origina11y published by Kluwer Academic Publishers in 2004 Softcover reprint of the hardcover Ist edition 2004 No part of this work may be reproduced, stored in a retrievai system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
4 Contents Preface vii Part I Methods and Models for System Level Design 1 Modular Hierarchies of Models for Embedded Systems Manfred Broy 2 Actor-oriented models for codesign Edward A. Lee, and Stephen Neuendorffer 3 Structural Component Compusition for System-level Models Frederic Doucet, Sandeep Shukla, Rajesh Gupta, 4 Truly Heterogeneous modeling with SystemC Hiren D. Patel and Sandeep K. Shukla 5 MoDe: A Method for System-Level Architecture Evaluation fan Romberg, fewgenij Botaschanjan and Oscar Slotosch Part 11 Models and Methods for System Validation 6 A Verification Methodology for Concurrent Software with Synchronous 137 Communication Christoph Sprenger and KrzysztofWorytkiewicz 7 High Level Verification of Control Intensive Systems 159 Edmund Clarke, Oma Grumberg, Muralidhar Talupur, and Dong Wang 8 How to Compute the Refinement Relation far Parameterized Systems Franroise Bellegarde, Cilina Charlet and Olga Kouchnarenko 181
5 vi FORMAL METHODS AND MODELS FOR SYSTEM DESIGN Part m Type Theoretic Models and Methods for System Design 9 Algebraic theory for behavioral type inference Jean-Pierre Talpin and Paul Le Guemic Behavioral type inference for compositional system design 245 Jean-Pierre Talpin, David Bemer, Sandeep Kumar Shukla, Paul Le Guemic, Abdoulaye Gamatie, and Rajesh Gupta Part N Optimizing System Models 11 Optimizations for Faster Execution of Esterel Programs Dumitru Potop-Butucaru and Robert de Simone 12 Optimizing System Models for Simulation Efficiency Shekhar A. Sharad, and Sandeep Kumar Shukla Capturing Formal Specification into Abstract Models 331 David Bemer, Syed Suhaib, Sandeep Kumar Shukla, and Jean-Pierre Talpin, Part V Post-Production Formal Methods 14 Engineering Changes in Field Modifiable Architectures 353 Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, and Masahiro Fujita
6 Preface Perhaps nothing characterizes the inherent heterogeneity in embedded systems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core represent a careful division and design of hardware and software parts of the system functionality. To do this task effectively, models and methods are necessary to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the art, though it seeks to add new capabilities in system conceptualization, modeling, optimization and implementation. These advances - particularly those related to synthesis and verification tasks - direct1y depend upon formal understanding of system behavior and performance measures. Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of abstraction and attempts to reduce the system implementation task. While raising the abstraction levels for design and verification tasks, to be really useful, these approaches must also provide for reuse, adaptation of the existing intellectual property (IP) blocks. Currentindustrial trends in use of general-purpose language facilities - driven by the popularity of C/C++/Java and other high-levellanguages - provide an interesting and somewhat urgent backdrop to explore corresponding advances in formal models to reason with these high-level descriptions, to help understand the design, implement formal correctness proofs and predict performances and other metrics. It is important to bridge the gap between theoretical models of computations and the practical experience in general purpose programming based design. Doing so will benefit both the languages (from the rigor of models) and models (from the experience of programming practice). This contrasted picture led to debates and discussions about bringing theory and practice together in an informal mailing list in 2002 which inc1uded various industry experts, and academic researchers. These discussions gave rise to the ACMlIEEE Conference on Formal Models and Methods for Co-Design (MEMOCODE), first organized at Mt. Saint Michel, France, in June This
7 viii FORMAL METHODS AND MODELS FOR SYSTEM DESIGN conference was organized to bring together practitioners of formal methods in the hardware and software industry, and academic researchers to create dialogue on the issues of convergence of formal methods with practice, as weh as to create constructive exchange of ideas and views of people applying formal methods in software and those applying it to hardware design. Through extensive on-line discussions, five areas were identified. These areas were (i) Conformance checking between designs at various abstraction levels, (ii) Hierarchical verification to facilitate verification of designs expressed hierarchically without flattening the hierarchy, (iii) Abstraction vs. optimization, as they lower level optimizations affect abstraction hierarchy, (iv) Incremental verification to harness the existing verification results for effectively verify incrementally changed design, and (v) Post-production patchability of designs and capturing such requirements in formal models. These are by no means the only problems that confront us, but is a good sampling of areas that the members of the MEMOCODE community feit as crucial problems. The idea of this edited volume arose through these discussions and propelled by two very interesting panel discussions at the conference that pointed out the need for documenting challenges and advances focused on high-level modeling and validation. Our goal in putting this volume is to provide a serious technical discussion of the advances in formal modeling and methodologies for embedded systems. The chapters of this book were invited from the attendees of the first MEMOCODE conference, comp1emented by articles written by the editors representing their own views and contributions to this problem area. As mentioned already, the topics addressed in this book are chosen in order to encompass possib1e areas of formal methods that are believed to be useful in making the general purpose programming based methodology more successful and efficient. For organization purposes, we have divided the chapters into five major parts. The first part consists of papers on modeling methodologies, frameworks, and one case study on using formal modeling framework for system design. This part is meant to introduce the reader to the need for formalism and frameworks, the need for behavioral hierarchy, and heterogeneity support, and how certain frameworks such as Ptolemy II, BALBOA, or SystemC enhancements address these. Part two of this volume focus on validation methodologies. The chapters in this part address the issue of abstraction and refinement, and automation
8 PREFACE IX of abstraction and refinement in detail. With the state-space explosion problem hampering the success of formal verification tools, we believe automated abstraction, refinement, and modular proof techniques would be crucial for successful use of formal verification in the industry. This part of the book refiects this view. Also abstract modeling itself is an arduous task, and hence a chapter on a methodology about incremental building of formal models has been added, to illustrate one possible way to tackling the model building problem. Part three introduces how type theory, in particular behavioral type theory is gaining crucial importance in system integration, and composition of preverified IP components in a correct by construction manner. Type inference at the composition time could avoid a number of integration bugs, as is known from statically typed programming languages. However, unlike software procedures and functions, dynamic actor oriented concurrent models require that we extend type theory with behavioral types, and this part will provide the readers with some introduction to such theories. Often times, system level models grow in size, and hence simulation or even implementation synthesis become unmanageable. Under such circumstances, model optimization may lead to efficient simulation or implementation. Part four of this volume introduces two chapters, one of optimizing Esterel programs for efficient execution, and another on SystemC model optimization. These represent a very small sampie of this important research area. Part five has a single paper on formal models to capture the requirements for post production patching of fabricated designs. To our knowledge there has not been much research done on this topic, and hence this paper stands by itself in part five. Overall, we believe that this book will provide a reasonable sampling of the various topics relevant to formal methods in System Design, as understood and advocated by the MEMOCODE community. We invite our reader to participate and contribute to this growing community of researchers. More information on MEMOCODE is available at Rajesh Gupta Paul Le Guernic Sandeep Shukla Jean-Pierre Talpin
PASSIVE COMPONENTS FOR DENSE OPTICAL INTEGRATION
PASSIVE COMPONENTS FOR DENSE OPTICAL INTEGRATION PASSIVE COMPONENTS FOR DENSE OPTICAL INTEGRA TION Christina Manolatou Massachusetts Institute oftechnology Hermann A. Haus Massachusetts Institute oftechnology
More informationINFORMATION TECHNOLOGY AND LAWYERS
INFORMATION TECHNOLOGY AND LAWYERS Information Technology and Lawyers Advanced Technology in the Legal Domain, from Challenges to Daily Routine Edited by ARNO R. LODDER Centre for Electronic Dispute Resolution
More informationTHE WASTE AND THE BACKYARD
THE WASTE AND THE BACKYARD Environment & Management VOLUME 8 The titles published in this series are listed at the end of this volume. The Waste and the Backyard The Creation of Waste Facilities: Success
More informationAdvances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search
Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search OPERATIONS RESEARCH/COMPUTER SCIENCE INTERFACES SERIES Ramesh Sharda, Series Editor ConocolDuPont Chair of
More informationAdvanced Techniques for Embedded Systems Design and Test
Advanced Techniques for Embedded Systems Design and Test Advanced Techniques for Embedded Systems Design and Test edited by Juan Carlos Lopez Technical University of Madrid Roman Hermida Complutense University
More informationNO MORE MUDDLING THROUGH
NO MORE MUDDLING THROUGH No More Muddling Through Mastering Complex Projects in Engineering and Management by RAINER ZÜST Zürich, Switzerland and PETER TROXLER Rotterdam, The Netherlands A C.I.P. Catalogue
More informationINTEGRATED AUDIO AMPLIFIERS IN BCD TECHNOLOGY
INTEGRATED AUDIO AMPLIFIERS IN BCD TECHNOLOGY INTEGRATED AUDIO AMPLIFIERS IN BCD TECHNOLOGY by Marco Berkhout MESA Research Institute, University of Twente, and Philips Semiconductors " ~ Springer Science+Business
More informationANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design
ANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design ANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design by Donald 0. Pederson University of California
More informationCurriculum Vitae. DrG Bijoy Antony Jose. DrG Bijoy Antony Jose. Conferences. Projects. Publications. Experience. Professional Training.
DrG Bijoy Antony Jose Assistant Professor Department of Electronics Cochin University of Science and Technology Curriculum Vitae Experience Industrial Teaching 6 years Professional Training Awards 3 Achievements
More informationPERSPECTIVES OF OIL AND GAS: THE ROAD TO INTERDEPENDENCE
PERSPECTIVES OF OIL AND GAS: THE ROAD TO INTERDEPENDENCE Perspectives of Oil and Gas: The Road to Interdependence by Marcello Colitti with Claudio Simeoni Fondazione Eni Enrico Mattei, Milan, Italy...
More informationReal-time Adaptive Concepts in Acoustics
Real-time Adaptive Concepts in Acoustics Real-time Adaptive Concepts in Acoustics Blind Signal Separation and Multichannel Echo Cancellation by Daniel W.E. Schobben, Ph. D. Philips Research Laboratories
More informationApplication of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in
More informationLEARNING, INNOVATION AND URBAN EVOLUTION
LEARNING, INNOVATION AND URBAN EVOLUTION LEARNING,INNOVATION ANO URBAN EVOLUTION edited by David F. Batten Cristoforo S. Bertuglia Dino Martellato Sylvie Occelli " ~. Springer Science+Business Media, LLC
More informationEducational Research: The Ethics and Aesthetics of Statistics
Educational Research: The Ethics and Aesthetics of Statistics Educational Research VOLUME 5 Aims & Scope Freedom of inquiry in educational research can no longer be taken for granted. Narrow definitions
More informationTechnology Infrastructure and. Competitive Position
Technology Infrastructure and Competitive Position Technology Infrastructure and Com petitive Position Gregory Tassey Springer Science+Business Media, LLC Library of Congress Cataloging-in-Publication
More informationAutomotive Painting Technology
Automotive Painting Technology Kimio Toda Abraham Salazar Kozo Saito Editors Automotive Painting Technology A Monozukuri-Hitozukuri Perspective 1 3 Editors Mr. Kimio Toda Asahi Sunac Corporation Owariasahi,
More informationInternational Entrepreneurship
International Entrepreneurship International Entrepreneurship Theoretical Foundations and Practices Antonella Zucchella and Paolo Scabini Antonella Zucchella and Paolo Scabini 2007 Softcover reprint of
More informationPuBLic UTILITY EcoNoMics
PuBLic UTILITY EcoNoMics Public Utility Economics Michael A. Crew and Paul R. Kleindorfer M Michael A. Crew and Paul R. Kleindorfer 1979 Softcover reprint of the hardcover 1st edition 1979 All rights reserved.
More informationArchitecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
More informationModeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
More informationThe German Chemical Industry in the Twentieth Century
The German Chemical Industry in the Twentieth Century Chemists and Chemistry VOLUME 18 A series of books devoted to the examination of the history and development of chemistry from its early emergence
More informationFaster than Nyquist Signaling
Faster than Nyquist Signaling Deepak Dasalukunte Viktor Öwall Fredrik Rusek John B. Anderson Faster than Nyquist Signaling Algorithms to Silicon 123 Deepak Dasalukunte Lantiq Bangalore, India Fredrik
More informationHANDBOOK OF TABLEAU METHODS
HANDBOOK OF TABLEAU METHODS HANDBOOK OF TABLEAU METHODS Edited by MARCELLO D' AGOSTINO Universita di Ferrara, Ferrara, Italy DOV M. GABBAY King's College, London, United Kingdom REINER HAHNLE Universitiit
More informationRisk/Benefit Analysis in Water Resources Planning and Management
Risk/Benefit Analysis in Water Resources Planning and Management Risk/Benefit Analysis in Water Resources Planning and Management Edited by Yacov Y. Haimes Center for Large Scale Systems and Policy Analysis
More informationADVANCED DESIGN TECHNIQUES FOR RF POWER AMPLIFIERS
ADVANCED DESIGN TECHNIQUES FOR RF POWER AMPLIFIERS ANALOG CIRCUITS AND SIGNAL PROCESSING SERIES Consulting Editor: Mohammed Ismail. Ohio State University Related Titles: CMOS CASCADE SIGMA-DELTA MODULATORS
More informationProgramming Methodology
Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite Programming Methodology A Collection of Articles by
More informationTHE EFFECTIVENESS OF POLICY INSTRUMENTS FOR ENERGY-EFFICIENCY IMPROVEMENT IN FIRMS
THE EFFECTIVENESS OF POLICY INSTRUMENTS FOR ENERGY-EFFICIENCY IMPROVEMENT IN FIRMS ECO-EFFICIENCY IN INDUSTRY AND SCIENCE VOLUME 15 Series Editor: Arnold Thkker, TNO-STB, Delft, The Netherlands Editorial
More informationSpringer Series in Advanced Microelectronics 33
Springer Series in Advanced Microelectronics 33 The Springer Series in Advanced Microelectronics provides systematic information on all the topics relevant for the design, processing, and manufacturing
More informationThe Role of Systems Methodology in Social Science Research. Dedicated to my father, Ruggiero, and to the memory of my mother, Mary.
The Role of Systems Methodology in Social Science Research Dedicated to my father, Ruggiero, and to the memory of my mother, Mary. Frontiers in Systems Research: Implications for the social sciences Vol.
More informationEMBEDDED SYSTEM DESIGN
EMBEDDED SYSTEM DESIGN Embedded System Design by PETER MARWEDEL University of Dortmund, Germany A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN-10 0-387-29237-3
More informationTheory and Practice of International Trade Linkage Models
Theory and Practice of International Trade Linkage Models ADVANCED STUDIES IN THEORETICAL AND APPLIED ECONOMETRICS VOLUME 9 Managing Editors: J.P. Ancot, Nethetlands Economic Institute, Rotterdam, The
More informationHYBRID NEURAL NETWORK AND EXPERT SYSTEMS
HYBRID NEURAL NETWORK AND EXPERT SYSTEMS HYBRID NEURAL NETWORK AND EXPERT SYSTEMS by Larry R. Medsker Department of Computer Science and Information Systems The American University... " Springer Science+Business
More informationManufacturing Challenges in Electronic Packaging
Manufacturing Challenges in Electronic Packaging Manufacturing Challenges in Electronic Packaging Y.C. Lee University of Colorado, Boulder, CO, USA and WT. Chen formerly a Senior Technical Staff Member,
More informationThe Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles Zhengyu Song The Test and Launch Control Technology for Launch Vehicles 123 Zhengyu Song China Academy of Launch Vehicle Technology Beijing China
More informationAUTOMATIC MODULATION RECOGNITION OF COMMUNICATION SIGNALS
AUTOMATIC MODULATION RECOGNITION OF COMMUNICATION SIGNALS AUTOMATIC MODULATION RECOGNITION OF COMMUNICATION SIGNALS by Eisayed Eisayed Azzouz Department 01 Electronic & Electrical Engineering, Military
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph
More informationPerspectives on Development and Population Growth in the Third World
Perspectives on Development and Population Growth in the Third World Perspectives on Development and Population Growth in the Third World Ozzie G. Simmons Fordham University The Bronx, New York PLENUM
More informationARTIFICIAL NEURAL NETWORKS Learning Algorithms, Performance Evaluation, and Applications
ARTIFICIAL NEURAL NETWORKS Learning Algorithms, Performance Evaluation, and Applications THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ARTIFICIAL NEURAL NETWORKS Learning Algorithms,
More informationCyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint Shin Nakajima Jean-Pierre Talpin Masumi Toyoshima Huafeng Yu Editors Cyber-Physical System Design from an Architecture Analysis Viewpoint
More informationArts Management and Cultural Policy Research
Arts Management and Cultural Policy Research This page intentionally left blank Arts Management and Cultural Policy Research Jonathan Paquette University of Ottawa, Canada and Eleonora Redaelli University
More informationTutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing
Tutorial: Using the UML profile for MARTE to MPSoC co-design dedicated to signal processing Imran Rafiq Quadri, Abdoulaye Gamatié, Jean-Luc Dekeyser To cite this version: Imran Rafiq Quadri, Abdoulaye
More informationANALOG CMOS FILTERS FOR VERY HIGH FREQUENCIES
ANALOG CMOS FILTERS FOR VERY HIGH FREQUENCIES THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ANALOG CIRCUITS AND SIGNAL PROCESSING Consulting Editor Mohammed Ismail Ohio State University
More informationTRANSISTOR CIRCUITS FOR SPACECRAFT POWER SYSTEM
TRANSISTOR CIRCUITS FOR SPACECRAFT POWER SYSTEM Transistor Circuits for Spacecraft Power System KengC. Wu Lockheed Martin Naval Electronics & Surveillance Systems Moorestown, NJ, USA.., ~ SPRINGER SCIENCE+BUSINESS
More informationThe Efficient Market Hypothesists
The Efficient Market Hypothesists Great Minds in Finance Series Editor: Professor Colin Read This series explores the lives and times, theories and applications of those who have contributed most significantly
More informationBT Telecommunications Series
TELEPRESENCE BT Telecommunications Series The BT Telecommunications Series covers the broad spectrum of telecommunications technology. Volumes are the result of research and development carried out, or
More informationPrinciples of Data Security
Principles of Data Security FOUNDATIONS OF COMPUTER SCIENCE Series Editor: Raymond E. Miller Georgia Institute oj Technology PRINCIPLES OF DATA SECURITY Ernst L. Leiss Principles of Data Security Ernst
More informationLOW POWER DESIGN METHODOLOGIES
LOW POWER DESIGN METHODOLOGIES LOW POWER DESIGN METHODOLOGIES edited by Jan M. Rabaey University Califomia and Massoud Pedram University of Southem Califomia SPRINGER SCIENCE+BUSINESS MEDIA, LLC ISBN 978-1-46
More informationDigital Systems Design
Digital Systems Design Digital Systems Design and Test Dr. D. J. Jackson Lecture 1-1 Introduction Traditional digital design Manual process of designing and capturing circuits Schematic entry System-level
More informationPolicy-Based RTL Design
Policy-Based RTL Design Bhanu Kapoor and Bernard Murphy bkapoor@atrenta.com Atrenta, Inc., 2001 Gateway Pl. 440W San Jose, CA 95110 Abstract achieving the desired goals. We present a new methodology to
More informationSocial Understanding
Social Understanding THEORY AND DECISION LIBRARY General Editor: Julian Nida-Rümelin (Universität München) Series A: Philosophy and Methodology of the Social Sciences Series B: Mathematical and Statistical
More informationMODERN DAIRY TECHNOLOGY
MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition MODERN DAIRY TECHNOLOGY Volume 1 Advances in Milk Processing Second Edition Edited by R. K. Robinson Department of Food Science
More informationSoftware-Intensive Systems Producibility
Pittsburgh, PA 15213-3890 Software-Intensive Systems Producibility Grady Campbell Sponsored by the U.S. Department of Defense 2006 by Carnegie Mellon University SSTC 2006. - page 1 Producibility
More informationINTELLIGENT UNMANNED GROUND VEHICLES Autonomous Navigation Research at Carnegie Mellon
INTELLIGENT UNMANNED GROUND VEHICLES Autonomous Navigation Research at Carnegie Mellon THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ROBOTICS: VISION, MANIPULATION AND SENSORS Consulting
More informationANALOG CIRCUIT DESIGN
ANALOG CIRCUIT DESIGN Analog Circuit Design High-Speed Analog-to-Digital Converters; Mixed-Signal Design; PLL's and Synthesizers Edited by Rudy J. van de Plassche Broadcom Netherlands B. V., Bunnik Johan
More informationEDA for IC System Design, Verification, and Testing
EDA for IC System Design, Verification, and Testing Edited by Louis Scheffer Cadence Design Systems San Jose, California, U.S.A. Luciano Lavagno Cadence Berkeley Laboratories Berkeley, California, U.S.A.
More informationANALOG CIRCUITS AND SIGNAL PROCESSING
ANALOG CIRCUITS AND SIGNAL PROCESSING Series Editors Mohammed Ismail, The Ohio State University Mohamad Sawan, École Polytechnique de Montréal For further volumes: http://www.springer.com/series/7381 Yongjian
More informationTRADE, INNOVATION, ENVIRONMENT
TRADE, INNOVATION, ENVIRONMENT FONDAZIONE ENI ENRICO MATTEI (FEEM) SERIES ON ECONOMICS, ENERGY AND ENVIRONMENT This series serves as an outlet for the main results of FEEM' s research programmes in the
More informationSmart AD and DA Conversion
Smart AD and DA Conversion ANALOG CIRCUITS AND SIGNAL PROCESSING Consulting Editor: Mohammed Ismail. Ohio State University For other titles published in this series, go to www.springer.com/series/7381
More informationA JOINT VENTURE AGREEMENT FOR SEABED MINING
A JOINT VENTURE AGREEMENT FOR SEABED MINING STUDIES IN TRANSNATIONAL LAW OF NATURAL RESOURCES Published for the Institut für Ausländisches und Internationales Wirtschaftsrecht, Frankfurt am Main VOLUME
More informationCMOS Test and Evaluation
CMOS Test and Evaluation Manjul Bhushan Mark B. Ketchen CMOS Test and Evaluation A Physical Perspective Manjul Bhushan OctEval Hopewell Junction, NY, USA Mark B. Ketchen OcteVue Hadley, MA, USA ISBN 978-1-4939-1348-0
More informationPower Electronics Semiconductor Switches
Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches R.S. Ramshaw Department of Electrical and Computer Engineering University of Waterloo Ontario Canada SPRINGER-SCIENCE+BUSINESS
More informationMIXED REALITY IN ARCHITECTURE, DESIGN AND CONSTRUCTION
MIXED REALITY IN ARCHITECTURE, DESIGN AND CONSTRUCTION Mixed Reality in Architecture, Design and Construction Edited by XIANGYU WANG University of Sydney, NSW Australia and MARC AUREL SCHNABEL University
More informationFilter Design With Time Domain Mask Constraints: Theory and Applications
Filter Design With Time Domain Mask Constraints: Theory and Applications Applied Optimization Volume 56 Series Editors: Panos M. Pardalos University of Florida, U.S.A. Donald Hearn University of Florida,
More informationPractical Benchmarking: The Complete Guide
Practical Benchmarking: The Complete Guide Practical Benchmarking: The Complete Guide Mohamed Zairi Unilever Lecturer in TQM Bradford University and Paul Leonard Senior Consultant Xerox Quality Solutions
More informationApplied Technology and Innovation Management
Applied Technology and Innovation Management Heinrich Arnold Michael Erner Peter Möckel Christopher Schläffer Editors Applied Technology and Innovation Management Insights and Experiences from an Industry-Leading
More informationINTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA
INTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA INTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA Rolf Fare and Shawna Grosskopf Southern Illinois University at Carbondale Carbondale, Illinois
More informationARTEMIS The Embedded Systems European Technology Platform
ARTEMIS The Embedded Systems European Technology Platform Technology Platforms : the concept Conditions A recipe for success Industry in the Lead Flexibility Transparency and clear rules of participation
More informationCOMPUTER-AIDED MECHANICAL ASSEMBLY PLANNING
COMPUTER-AIDED MECHANICAL ASSEMBLY PLANNING THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ROBOTICS: VISION, MANIPULATION AND SENSORS Consulting Editor: Takeo Kanade SHADOWS AND SILHOUE77'ES
More informationDesign of Ultra Wideband Antenna Matching Networks
Design of Ultra Wideband Antenna Matching Networks Design of Ultra Wideband Antenna Matching Networks Via Simplified Real Frequency Technique 123 Dr. College of Engineering Department of Electrical-Electronics
More informationDry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi
Dry Etching Technology for Semiconductors Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi Kazuo Nojiri Dry Etching Technology for Semiconductors Kazuo Nojiri Lam Research Co., Ltd. Tokyo,
More informationProduct Development Strategy
Product Development Strategy Product Development Strategy Innovation Capacity and Entrepreneurial Firm Performance in High-Tech SMEs Mina Tajvidi Bangor Business School, Bangor University, UK and Azhdar
More informationSustainable Development
Sustainable Development Anne E. Egelston Sustainable Development A History 123 Dr. Anne E. Egelston Government Department Lone Star College-Montgomery Conroe, TX 77384 USA Quotations from Reimann (2006)
More informationHealth Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
More informationTowards a Software Engineering Research Framework: Extending Design Science Research
Towards a Software Engineering Research Framework: Extending Design Science Research Murat Pasa Uysal 1 1Department of Management Information Systems, Ufuk University, Ankara, Turkey ---------------------------------------------------------------------***---------------------------------------------------------------------
More informationManagement of Software Engineering Innovation in Japan
Management of Software Engineering Innovation in Japan Yasuo Kadono Management of Software Engineering Innovation in Japan 1 3 Yasuo Kadono Ritsumeikan University Graduate School of Technology Management
More informationBASED PRODUCT LIFE-CYCLE MODELLING
BASED PRODUCT LIFE-CYCLE MODELLING IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held
More informationSocio-technical Design of Ubiquitous Computing Systems
Socio-technical Design of Ubiquitous Computing Systems Klaus David Kurt Geihs Jan Marco Leimeister Alexander Roßnagel Ludger Schmidt Gerd Stumme Arno Wacker Editors Socio-technical Design of Ubiquitous
More informationPalgrave Studies in Democracy, Innovation and Entrepreneurship for Growth
Palgrave Studies in Democracy, Innovation and Entrepreneurship for Growth Series Editor: Elias G. Carayannis The central theme of this series is to explore why some areas grow and others stagnate, and
More informationCurrent Technologies in Vehicular Communications
Current Technologies in Vehicular Communications George Dimitrakopoulos George Bravos Current Technologies in Vehicular Communications George Dimitrakopoulos Department of Informatics and Telematics Harokopio
More informationQuality Management and Managerialism in Healthcare
Quality Management and Managerialism in Healthcare This page intentionally left blank Quality Management and Managerialism in Healthcare A Critical Historical Survey Sara Melo Queen s University Belfast,
More informationR&D, INNOVATION AND COMPETITIVENESS IN THE EUROPEAN CHEMICAL INDUSTRY
R&D, INNOVATION AND COMPETITIVENESS IN THE EUROPEAN CHEMICAL INDUSTRY R&D, Innovation and Competitiveness in the European Chemical Industry Edited by Fabrizio Cesaroni Laboratory of Economics and Management,
More informationComputer Automation in Manufacturing
Computer Automation in Manufacturing Computer Automation in Manufacturing An introduction Thomas O. Boucher Department of Industrial Engineering Rutgers University Piscataway NJ USA SPRINGER-SCIENCE+BUSINESS
More informationAdvanced Information and Knowledge Processing
Advanced Information and Knowledge Processing Series Editors Professor Lakhmi Jain Lakhmi.jain@unisa.edu.au Professor Xindong Wu xwu@cems.uvm.edu For further volumes: http://www.springer.com/series/4738
More informationSoftware Engineering for Manufacturing Systems
Software Engineering for Manufacturing Systems IFIP - The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress
More informationFLAT GLASS TECHNOLOGY
FLAT GLASS TECHNOLOGY FLAT GLASS TECHNOLOGY RUNE PERSSON Springer Science+Business Media, LLC Springer Science+ Business Media New York 1969 Originally published by Butterworth & Co. (Publishers) Limited
More informationBEYOND THE STEADY STATE
BEYOND THE STEADY STATE Also by David Laibman VALUE, TECHNICAL CHANGE AND CRISIS: Explorations in Marxist Economic Theory Also by Edward J. Nell FREE MARKET CONSERVATISM: A Critique of Theory and Practice
More informationHiroyuki Kajimoto Satoshi Saga Masashi Konyo. Editors. Pervasive Haptics. Science, Design, and Application
Pervasive Haptics Hiroyuki Kajimoto Masashi Konyo Editors Pervasive Haptics Science, Design, and Application 123 Editors Hiroyuki Kajimoto The University of Electro-Communications Tokyo, Japan University
More informationThe Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES
The Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES The Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES CARL J. SINDERMANN and THOMAS 1(. SAWYER SPRINGER SCIENCE+ BUSINESS MEDIA, LLC
More informationMicrowave Photonics. From Components to Applications and Systems. edited by. Anne Vilcot. IMEP - INPG, France. Béatrice Cabon. and
MICROWAVE PHOTONICS Microwave Photonics From Components to Applications and Systems edited by Anne Vilcot IMEP - INPG, France Béatrice Cabon IMEP - INPG, France and Jean Chazelas Thales Airborne System,
More informationContents CONTRIBUTING FACTORS. Preface. List of trademarks 1. WHY ARE CUSTOM CIRCUITS SO MUCH FASTER?
Contents Preface List of trademarks xi xv Introduction and Overview of the Book WHY ARE CUSTOM CIRCUITS SO MUCH FASTER? WHO SHOULD CARE? DEFINITIONS: ASIC, CUSTOM, ETC. THE 35,000 FOOT VIEW: WHY IS CUSTOM
More informationRubber Processing and Production Organization
Rubber Processing and Production Organization Rubber Processing and Production Organization Philip K. Freakley Institute of Polymer Technology Loughborough University of Technology Loughborough, United
More informationDiscursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo
Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo Wei Feng Discursive Constructions of Corporate Identities by Chinese Banks on Sina Weibo An Integrated Sociolinguistics Approach
More informationArchitectures for Enterprise Integration
Architectures for Enterprise Integration Architectures for Enterprise Integration Edited by Peter Bernus Griffith University Queensland Australia Laszlo Nemes CS/RO Victoria Australia and Theodore.J. Williams
More informationAdvances in Multirate Systems
Advances in Multirate Systems Editor Advances in Multirate Systems Editor Department of Electronics Institute National INAOE Tonantzintla, Puebla Mexico ISBN 978-3-319-59273-2 ISBN 978-3-319-59274-9 (ebook)
More informationArtificial Neural N etworks for Intelligent Manufacturing
Artificial Neural N etworks for Intelligent Manufacturing Intelligent Manufacturing Series Ser ies Editor: Andrew Kusiak Department of Industrial Engineering The University of Iowa, USA Manufacturing has
More informationMARY SHELLEY'S EARLY NOVELS
MARY SHELLEY'S EARLY NOVELS Mary Shelley's Early Novels./This Child of Imagination and Misery' JANE BLUMBERG M MACMILLAN Jane Blumberg 1993 Softcover reprint of the hardcover 1st edition 1993 All rights
More informationEnacting Research Methods in Information Systems: Volume 2
Enacting Research Methods in Information Systems: Volume 2 This page intentionally left blank Enacting Research Methods in Information Systems: Volume 2 Edited by Leslie P. Willcocks London School of Economics
More informationMicroprocessor-Based Control Systems
Microprocessor-Based Control Systems International Series on MICROPROCESSOR-BASED SYSTEMS ENGINEERING Editor Professor S. G. TZAFEST AS, National Technical University, Athens, Greece Editorial Advisory
More informationE E Verification and Control of Hybrid Systems
E E Verification and Control of Hybrid Systems Paulo Tabuada Verification and Control of Hybrid Systems A Symbolic Approach Foreword by Rajeev Alur Paulo Tabuada Department of Electrical Engineering University
More informationIntelligent knowledge based systems in electrical power engineering
Intelligent knowledge based systems in electrical power engineering JOIN US ON THE INTERNET VIA WWW, GOPHER, FTP OR EMAIL: WWW: http://www.thomson.com GOPHER: gopher.thomson.com A ^ ^ FTP: ftp.thomson.com
More information