Advances in Real-Time Systems
|
|
- Francis Norman
- 5 years ago
- Views:
Transcription
1 Advances in Real-Time Systems
2
3 Samarjit Chakraborty Jörg Eberspächer Editors Advances in Real-Time Systems 123
4 Editors Samarjit Chakraborty TU München LS für RealzeitComputersysteme Arcisstr München Germany Prof. Dr. Jörg Eberspächer TU München LS Kommunikationsnetze Arcisstr München Germany ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: Mathematics Subject Classification (2000): 01-01, 04-01, 11Axx, Springer-Verlag Berlin Heidelberg 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Printed on acid-free paper Springer is part of Springer Science+Business Media (
5 To Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after 34 illustrious years as the Head of the Lehrstuhl für Realzeit-Computersysteme
6
7 Preface This book is a tribute to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after 34 years of service as the Head of the Lehrstuhl für Realzeit-Computersysteme. Georg Färber was born in 1940 and obtained his PhD in 1967 from TU München. In an illustrious career, spanning over 40 years, Prof. Färber contributed significantly to the area of real-time and embedded systems, in terms of both education and research. His early research dealt with specification and design of embedded systems and mapping of such specifications onto appropriate hardware and software architectures. In particular, he was active in the area of computer-aided process control, with a focus on distributed and fault-tolerant systems. Later, his interests broadened into real-time capturing and interpretation of visual information, especially in the context of robot vision. More recently, he has worked in the area of cognitive automobiles, e.g., driver assistance systems and autonomous cars. Since a number of years, Prof. Färber also took a keen interest in topics at the intersection of engineering and medicine, in particular in those related to e-health. In parallel to his research and teaching activities, Prof. Färber was a highly successful entrepreneur. In 1969, along with his brother Eberhard Färber, he founded PCS-Computersysteme GmbH. This company was once considered to be among the most innovative IT companies in Munich and led to more than 20 other spin-offs. Among other products, PCS developed the first UNIX Workstations in Germany (named CADMUS), which were the only European alternatives to USbased products for a long time. In 1986, Mannesmann/Kienzle became the majority stakeholder of PCS, and Georg Färber provided the technical leadership during , while on leave from TU München. In addition to authoring one of the earliest books on real-time systems, Georg Färber served as the editor of the journal Information Technology and is a member of the Board of Trustees of the Fraunhofer-Institute for Information and Data Processing (Fraunhofer IITB). He has also served in various often advisory capacities at the DFG, the Max Planck Society, and in several other scientific and industrial councils and German government agencies. vii
8 viii Preface Given Georg Färber s remarkable achievements and his reputation, we invited a number of well-known researchers to contribute a collection of chapters reflecting the state of the art in the area of real-time systems. These chapters cover a variety of topics spanning over automotive software and electronics, software timing analysis, models for real-time systems, compilation of real-time programs, realtime microkernels, and cyber-physical systems. We believe that this collection can serve as a reference book for graduate-level courses. It will also be helpful to both researchers in the academia and practitioners from the industry. Munich, Germany Samarjit Chakraborty Jörg Eberspächer
9 Contents Part I Theoretical Foundations 1 System Behaviour Models with Discrete and Dense Time... 3 Manfred Broy 2 Temporal Uncertainties in Cyber-Physical Systems Hermann Kopetz 3 Large-Scale Linear Computations with Dedicated Real-Time Architectures Patrick Dewilde and Klaus Diepold 4 Interface-Based Design of Real-Time Systems Nikolay Stoimenov, Samarjit Chakraborty, and Lothar Thiele 5 The Logical Execution Time Paradigm Christoph M. Kirsch and Ana Sokolova Part II Connecting Theory and Practice 6 Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, and Bjoern Wachter 7 Reconciling Compilation and Timing Analysis Heiko Falk, Peter Marwedel, and Paul Lokuciejewski 8 System Level Performance Analysis for Real-Time Multi-Core and Network Architectures Jonas Rox, Mircea Negrean, Simon Schliecker, and Rolf Ernst ix
10 x Contents 9 Trustworthy Real-Time Systems Stefan M. Petters, Kevin Elphinstone, and Gernot Heiser 10 Predictably Flexible Real-Time Scheduling Gerhard Fohler Part III Innovative Application Domains 11 Detailed Visual Recognition of Road Scenes for Guiding Autonomous Vehicles Ernst D. Dickmanns 12 System Architecture for Future Driver Assistance Based on Stereo Vision Thomas Wehking, Alexander Würz-Wessel, and Wolfgang Rosenstiel 13 As Time Goes By: Research on L4-Based Real-Time Systems Hermann Härtig and Michael Roitzsch 14 A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems S. Drössler, M. Eichhorn, S. Holzknecht, B. Müller- Rathgeber, H. Rauchfuss, M. Zwick, E. Biebl, K. Diepold, J. Eberspächer, A. Herkersdorf, W. Stechele, E. Steinbach, R. Freymann, K.-E. Steinberg, and H.-U. Michel 15 Robot Basketball A New Challenge for Real-Time Control Georg Bätz, Kolja Kühnlenz, Dirk Wollherr, and Martin Buss 16 FlexRay Static Segment Scheduling Martin Lukasiewycz, Michael Glaß, Jürgen Teich, and Paul Milbredt 17 Real-Time Knowledge for Cooperative Cognitive Automobiles Christoph Stiller and Oliver Pink
ICT for the Next Five Billion People
ICT for the Next Five Billion People Arnold Picot Josef Lorenz Editors ICT for the Next F Five Billion People Information and Communication for Sustainable Development Editors Prof. Dr. Dr. Arnold Picot
More informationDesign for Innovative Value Towards a Sustainable Society
Design for Innovative Value Towards a Sustainable Society Mitsutaka Matsumoto Yasushi Umeda Keijiro Masui Shinichi Fukushige Editors Design for Innovative Value Towards a Sustainable Society Proceedings
More informationHandbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
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 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 informationMATLAB Guide to Finite Elements
MATLAB Guide to Finite Elements Peter I. Kattan MATLAB Guide to Finite Elements An Interactive Approach Second Edition With 108 Figures and 25 Tables Peter I. Kattan, PhD P.O. BOX 1392 Amman 11118 Jordan
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 informationFounding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
More informationTechnology Roadmapping for Strategy and Innovation
Technology Roadmapping for Strategy and Innovation Martin G. Moehrle, Ralf Isenmann, and Robert Phaal (Eds.) Technology Roadmapping for Strategy and Innovation Charting the Route to Success ABC Editors
More informationAdvances in Computer Vision and Pattern Recognition
Advances in Computer Vision and Pattern Recognition For further volumes: http://www.springer.com/series/4205 Marco Alexander Treiber Optimization for Computer Vision An Introduction to Core Concepts and
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 informationRequirements Engineering for Digital Health
Requirements Engineering for Digital Health Samuel A. Fricker Christoph Thümmler Anastasius Gavras Editors Requirements Engineering for Digital Health Editors Samuel A. Fricker Blekinge Institute of Technology
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 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 informationZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany
ZEW Economic Studies Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany ZEW Economic Studies Vol. 1: O. Hohmeyer, K. Rennings (Eds.) Man-Made Climate Change Economic
More informationCognitive Systems Monographs
Cognitive Systems Monographs Volume 9 Editors: Rüdiger Dillmann Yoshihiko Nakamura Stefan Schaal David Vernon Heiko Hamann Space-Time Continuous Models of Swarm Robotic Systems Supporting Global-to-Local
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 informationLecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
More informationStraBer Wahl Graphics and Robotics
StraBer Wahl Graphics and Robotics Wolfgang StrafSer Friedrich Wahl Editors Graphics and Robotics With 128 Figures, some in Colour, Springer Prof. Dr.-lng. Wolfgang StraBer Wilhelm-Schickard-lnstitut fur
More informationFuture-Oriented Technology Analysis
Future-Oriented Technology Analysis Cristiano Cagnin Michael Keenan Ron Johnston Fabiana Scapolo Rémi Barré Editors Future-Oriented Technology Analysis Strategic Intelligence for an Innovative Economy
More informationScientific Data Mining and Knowledge Discovery
Scientific Data Mining and Knowledge Discovery Mohamed Medhat Gaber Editor Scientific Data Mining and Knowledge Discovery Principles and Foundations ABC Editor Mohamed Medhat Gaber Caulfield School of
More informationLecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationBroadband Networks, Smart Grids and Climate Change
Broadband Networks, Smart Grids and Climate Change Eli M. Noam Lorenzo Maria Pupillo Johann J. Kranz Editors Broadband Networks, Smart Grids and Climate Change Editors Eli M. Noam Columbia Business School
More informationLecture Notes in Applied and Computational Mechanics
Lecture Notes in Applied and Computational Mechanics Volume 28 Series Editors Prof. Dr.-Ing. Friedrich Pfeiffer Prof. Dr.-Ing. Peter Wriggers Lecture Notes in Applied and Computational Mechanics Edited
More informationEnabling Manufacturing Competitiveness and Economic Sustainability
Enabling Manufacturing Competitiveness and Economic Sustainability Hoda A. ElMaraghy Editor Enabling Manufacturing Competitiveness and Economic Sustainability Proceedings of the 4th International Conference
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 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 informationMatthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH
Fit for Business Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business Pre-Vocational Education in European Schools RESEARCH Editors Matthias Pilz, Susanne Berger, Cologne, Germany Roy Canning
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 informationLecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari
Lecture Notes in Control and Information Sciences 283 Editors: M. Thoma M. Morari Springer Berlin Heidelberg NewYork Barcelona Hong Kong London Milan Paris Tokyo Christopher Fielding, Andras Varga, Samir
More informationIntroduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB S. N. Sivanandam, S. Sumathi and S. N. Deepa Introduction to Fuzzy Logic using MATLAB With 304 Figures and 37 Tables 123 Dr. S.N. Sivanandam S. N. Deepa Professor
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Series Editor: Joseph N. Pelton, Jr. For further volumes: http://www.springer.com/series/10058 Audrey L. Allison The ITU and Managing Satellite Orbital and Spectrum
More informationAdvances in Metaheuristic Algorithms for Optimal Design of Structures
Advances in Metaheuristic Algorithms for Optimal Design of Structures ThiS is a FM Blank Page A. Kaveh Advances in Metaheuristic Algorithms for Optimal Design of Structures A. Kaveh School of Civil Engineering,
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 informationIntroduction to Computational Optimization Models for Production Planning in a Supply Chain
Introduction to Computational Optimization Models for Production Planning in a Supply Chain Stefan Voß David L.Woodruff Introduction to Computational Optimization Models for Production Planning in a Supply
More informationAdvances in Modern Tourism Research
Advances in Modern Tourism Research Álvaro Matias Peter Nijkamp Paulo Neto (Eds.) Advances in Modern Tourism Research Economic Perspectives With 26 Figures and 65 Tables Prof. Dr. Álvaro Matias University
More informationAcoustic Emission Testing
Acoustic Emission Testing Christian U. Grosse (Eds.) Acoustic Emission Testing 123 Christian U. Grosse Department of Non-destructive Testing and Monitoring Techniques Material Testing Institute MPA University
More informationU. Lindemann (Ed.) Human Behaviour in Design
U. Lindemann (Ed.) Human Behaviour in Design Springer-Verlag Berlin Heidelberg GmbH Engineering ONLINE LIBRARY http://www.springer.de/engine/ Udo Lindemann (Ed.) Human Behaviour in Design Individuals,
More informationManagement of Recreation and Nature Based Tourism in European Forests
Management of Recreation and Nature Based Tourism in European Forests Ulrike Pröbstl Veronika Wirth Birgit Elands Simon Bell Editors Management of Recreation and Nature Based Tourism in European Forests
More informationDao Companion to the Analects
Dao Companion to the Analects Dao Companions to Chinese Philosophy Series Editor HUANG Yong Department of Philosophy The Chinese University of Hong Kong Shatin, New Territories Hong Kong E-mail: yonghuang@cuhk.edu.hk
More informationAdvances in Behavioral Economics
Advances in Behavioral Economics Professor Dr. Horst Todt Friedel Bolle Michael Carlberg (Eds.) Advances in Behavioral Economies Essays in Honor of Horst Todt With 31 Figures and 11 Tables Springer-Verlag
More informationTECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)
TECHNOLOGY, INNOVATION, and POLICY 3 Series of the Fraunhofer Institute for Systems and Innovation Research (lsi) Guido Reger Ulrich Schmoch (Eds.) Organisation of Science and Technology at the Watershed
More informationComputer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
More informationHierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies
Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) The Analytic Hierarchy Process Applications and Studies With Contributions by 1. M. Alexander, W D. Daniel Jr., 1. G. Dolan, L. P. Fatti, B. L.
More informationRisk-Based Ship Design
Risk-Based Ship Design Apostolos Papanikolaou (Ed.) Risk-Based Ship Design Methods, Tools and Applications Authored by Carlos Guedes Soares, Andrzej Jasionowski, Jørgen Jensen, Dag McGeorge, Apostolos
More informationSurface Mining Machines
Surface Mining Machines Eugeniusz Rusiński Jerzy Czmochowski Przemysław Moczko Damian Pietrusiak Surface Mining Machines Problems of Maintenance and Modernization 123 Eugeniusz Rusiński Faculty of Mechanical
More informationFoundations in Signal Processing, Communications and Networking
Foundations in Signal Processing, Communications and Networking Series Editors: W. Utschick, H. Boche, R. Mathar For other titles published in this series, go to www.springer.com/series/7603 Meik Dörpinghaus
More informationStudies in Economic Ethics and Philosophy
Studies in Economic Ethics and Philosophy Series Editor Peter Koslowski Editorial Board F. Neil Brady George Brenkert Geoffrey Brennan James M. Buchanan Thomas Donaldson Richard De George Jon Elster Amitai
More informationSpringer Series on. Signals and Communication Technology
Springer Series on Signals and Communication Technology Signals and Communication Technology Functional Structures in Networks AMLn A Language for Model Driven Development of Telecom Systems T. Muth ISBN
More informationLecture Notes in Computational Science and Engineering 68
Lecture Notes in Computational Science and Engineering 68 Editors Timothy J. Barth Michael Griebel David E. Keyes Risto M. Nieminen Dirk Roose Tamar Schlick Sidney Yip Tomás Diaz de la Rubia Editors Scientific
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
More informationSimulation by Bondgraphs
Jean U. Thoma Simulation by Bondgraphs Introduction to a Graphical Method Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong 1990 Professor Dr. Jean Ulrich Thoma Dept. of Mechanical
More informationOffshore Energy Structures
Offshore Energy Structures Madjid Karimirad Offshore Energy Structures For Wind Power, Wave Energy and Hybrid Marine Platforms 1 3 ISBN 978-3-319-12174-1 ISBN 978-3-319-12175-8 (ebook) DOI 10.1007/978-3-319-12175-8
More informationDrones and Unmanned Aerial Systems
Drones and Unmanned Aerial Systems Aleš Završnik Editor Drones and Unmanned Aerial Systems Legal and Social Implications for Security and Surveillance 2123 Editor Aleš Završnik Institute of Criminology
More informationComputer Supported Cooperative Work. Series Editor Richard Harper Cambridge, United Kingdom
Computer Supported Cooperative Work Series Editor Richard Harper Cambridge, United Kingdom The CSCW series examines the dynamic interface of human nature, culture, and technology. Technology to support
More informationPierre-Yves Henin (Ed.) Advances in Business Cycle Research
Pierre-Yves Henin (Ed.) Advances in Business Cycle Research Springer-V erlag Berlin Heidelberg GmbH Pierre-Yves Henin (Ed.) Advances in Business Cycle Research With Application to the French and US Economies
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
More informationData Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
More informationB.I. Dundas M. Levine P.A. Østvær O. Röndigs. Motivic Homotopy Theory. Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC
B.I. Dundas M. Levine P.A. Østvær O. Röndigs V. Voevodsky Motivic Homotopy Theory Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC Bjørn Ian Dundas Department of Mathematics University
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 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 informationSpringerBriefs in Computer Science
SpringerBriefs in Computer Science Series Editors Stan Zdonik Shashi Shekhar Jonathan Katz Xindong Wu Lakhmi C. Jain David Padua Xuemin (Sherman) Shen Borko Furht V.S. Subrahmanian Martial Hebert Katsushi
More informationSpringerBriefs in Astronomy
SpringerBriefs in Astronomy Series editors Martin Ratcliffe Valley Center, Kansas, USA Wolfgang Hillebrandt MPI für Astrophysik, Garching, Germany Michael Inglis Suffolk County Community College, New York,
More informationLecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2599 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Edel Sherratt (Ed.) Telecommunications
More informationInnovation Policy in a Knowledge-Based Economy
Innovation Policy in a Knowledge-Based Economy Patrick Llerena Mireille Matt Editors Innovation Policy in a Knowledge-Based Economy Theory and Practice With Contributions by Arman Avadikyan Laurent Bach
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
More informationDynamics of Fibre Formation and Processing
Dynamics of Fibre Formation and Processing Roland Beyreuther Harald Brünig Dynamics of Fibre Formation and Processing Modelling and Application in Fibre and Textile Industry With 171 Figures 123 Prof.
More informationGrid and Cloud Computing
Grid and Cloud Computing Katarina Stanoevska-Slabeva Thomas Wozniak Santi Ristol Editors Grid and Cloud Computing A Business Perspective on Technology and Applications Editors Prof. Dr. Katarina Stanoevska-Slabeva
More informationStudies in Empirical Economics
Studies in Empirical Economics Aman Ullah (Ed.) Semiparametric and Nonparametric Econometrics 1989. VII, 172 pp. Hard cover DM 120, ISBN 3-7908-0418-5 Walter Kramer (Ed.) Econometrics of Structural Change
More informationStudies in Systems, Decision and Control
Studies in Systems, Decision and Control Volume 159 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl The series Studies in Systems, Decision and
More informationHuman-Computer Interaction Series
Human-Computer Interaction Series Editors-in-Chief John Karat Jean Vanderdonckt, Université Catholique de Louvain, Belgium Editorial Board Simone Barbosa, PUC-Rio, Brazil Gaëlle Calvary, LIG-University
More informationCommunications in Computer and Information Science 85
Communications in Computer and Information Science 85 Albert Fleischmann Detlef Seese Christian Stary (Eds.) S-BPM ONE Setting the Stage for Subject-Oriented Business Process Management First International
More informationRobust Hand Gesture Recognition for Robotic Hand Control
Robust Hand Gesture Recognition for Robotic Hand Control Ankit Chaudhary Robust Hand Gesture Recognition for Robotic Hand Control 123 Ankit Chaudhary Department of Computer Science Northwest Missouri State
More informationMultiprocessor System-on-Chip
Multiprocessor System-on-Chip Michael Hübner l Editors Jürgen Becker Multiprocessor System-on-Chip Hardware Design and Tool Integration Editors Michael Hübner Karlsruhe Institute of Technology (KIT) Institut
More information3 Forensic Science Progress
3 Forensic Science Progress Forensic Science Progress Volume 3 With Contributions by C. A. Pounds, R. N. Smith With 19 Figures and 7 Tables Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
More informationThe Cultural and Social Foundations of Education. Series Editor A.G. Rud College of Education Washington State University USA
The Cultural and Social Foundations of Education Series Editor A.G. Rud College of Education Washington State University USA The Palgrave Pivot series on the Cultural and Social Foundations of Education
More informationSpringerBriefs in Electrical and Computer Engineering
SpringerBriefs in Electrical and Computer Engineering More information about this series at http://www.springer.com/series/10059 David Fouto Nuno Paulino Design of Low Power and Low Area Passive Sigma
More informationHealth Informatics. For further volumes:
Health Informatics For further volumes: http://www.springer.com/series/1114 ThiS is a FM Blank Page Alain Venot Anita Burgun Catherine Quantin Editors Medical Informatics, e-health Fundamentals and Applications
More informationThe Future of Civil Litigation
The Future of Civil Litigation ThiS is a FM Blank Page Laura Ervo Editors The Future of Civil Litigation Access to Courts and Court-annexed Mediation in the Nordic Countries Editors Laura Ervo JPS University
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 informationBirds of Prey and Wind Farms
Birds of Prey and Wind Farms Hermann Hötker Oliver Krone Georg Nehls Editors Birds of Prey and Wind Farms Analysis of Problems and Possible Solutions 123 Editors Hermann Hötker Michael-Otto-Institut im
More informationComputational Intelligence for Network Structure Analytics
Computational Intelligence for Network Structure Analytics Maoguo Gong Qing Cai Lijia Ma Shanfeng Wang Yu Lei Computational Intelligence for Network Structure Analytics 123 Maoguo Gong Xidian University
More informationCOOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
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 informationAdvanced Electronic Circuits
U. Tietze Ch. Schenk Advanced Electronic Circuits Wi th the Assistance of E. Schmid With 570 Figures Springer-Verlag Berlin Heidelberg New York 1978 Dr.-Ing. Ulrich Tietze Dr.-Ing. Christoph Schenk Universitat
More informationResearch and Practice on the Theory of Inventive Problem Solving (TRIZ)
Research and Practice on the Theory of Inventive Problem Solving (TRIZ) ThiS is a FM Blank Page Leonid Chechurin Editor Research and Practice on the Theory of Inventive Problem Solving (TRIZ) Linking Creativity,
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 informationLecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by A.V. Balakrishnan and M. Thoma 55 Ganti Prasada Rao Piecewise Constant Orthogonal Functions and Their Application to Systems and Control III
More informationPrivacy, Data Protection and Cybersecurity in Europe
Privacy, Data Protection and Cybersecurity in Europe Wolf J. Schünemann Max-Otto Baumann Editors Privacy, Data Protection and Cybersecurity in Europe Editors Wolf J. Schünemann Institute for Social Sciences
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 informationBetter Business Regulation in a Risk Society
Better Business Regulation in a Risk Society Alberto Alemanno Frank den Butter André Nijsen Jacopo Torriti Editors Better Business Regulation in a Risk Society Editors Alberto Alemanno Department of Law
More informationUse Cases of Discrete Event Simulation
Use Cases of Discrete Event Simulation Steffen Bangsow (Ed.) Use Cases of Discrete Event Simulation Appliance and Research ABC Editor Steffen Bangsow Freiligrathstraße 23 Zwickau Germany ISBN 978-3-642-28776-3
More informationInnovations and the Environment
Innovations and the Environment Yoram Krozer Innovations and the Environment 123 Yoram Krozer, PhD Cartesius Institute Institute for Sustainable Innovations of the Netherlands Technical Universities Zuidergrachtswal
More informationPalgrave Studies in Comics and Graphic Novels. Series Editor Roger Sabin University of the Arts London London, United Kingdom
Palgrave Studies in Comics and Graphic Novels Series Editor Roger Sabin University of the Arts London London, United Kingdom This series concerns Comics Studies with a capital c and a capital s. It feels
More informationStatistics and Computing Series Editors: J. Chambers D. Hand W. Härdle
Statistics and Computing Series Editors: J. Chambers D. Hand W. Härdle For other titles published in this series, go to http://www.springer.com/series/3022 Roberto Baragona Francesco Battaglia Irene Poli
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
More informationExplaining Technical Change in a Small Country. The Finnish National Innovation System
Explaining Technical Change in a Small Country The Finnish National Innovation System ETLA - The Research Institute of the Finnish Economy Series B84 The Research Institute ofthe Finnish Economy (ETLA)
More informationLecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 2006 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Reiner Dumke Alain Abran (Eds.)
More informationJan de Witt s Elementa Curvarum Linearum Liber Secundus
Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical
More information