Formal Methods for Embedded Distributed Systems How to master the complexity /

Formal Methods for Embedded Distributed Systems How to master the complexity /

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kordon, Fabrice (Επιμελητής έκδοσης), Lemoine, Michel (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2004.
Θέματα:	Computer science. Microprocessors. Software engineering. Computers. Computer-aided engineering. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computing Methodologies. Processor Architectures. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Design for Manufacturability and Yield for Nano-Scale CMOS
ανά: Chiang, Charles C., κ.ά.
Έκδοση: (2007)

Distributed Network Systems From Concepts to Implementations /
ανά: Jia, Weijia, κ.ά.
Έκδοση: (2005)

Ambient Intelligence: Impact on Embedded Sytem Design
Έκδοση: (2003)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings /
Έκδοση: (2005)

Synthesis and Optimization of DSP Algorithms
ανά: Constantinides, George A., κ.ά.
Έκδοση: (2004)

Design of Energy-Efficient Application-Specific Instruction Set Processors
ανά: Glökler, Tilman, κ.ά.
Έκδοση: (2004)

Networks on Chip
Έκδοση: (2003)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /
ανά: Popovici, Katalin, κ.ά.
Έκδοση: (2010)

Design of Embedded Control Systems
ανά: Adamski, Marian Andrzej, κ.ά.
Έκδοση: (2005)

Embedded Software for SoC
Έκδοση: (2003)

Embedded System Design Modeling, Synthesis and Verification /
ανά: Gajski, Daniel D., κ.ά.
Έκδοση: (2009)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software /
ανά: Diehl, Stephan
Έκδοση: (2007)

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2005)

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
Έκδοση: (2007)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)

UML for Real Design of Embedded Real-Time Systems /
Έκδοση: (2003)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R.
Έκδοση: (2010)

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Έκδοση: (2017)

Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
Έκδοση: (2002)

Countdown to a Moon Launch Preparing Apollo for Its Historic Journey /
ανά: Ward, Jonathan H.
Έκδοση: (2015)

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
Έκδοση: (2008)

Hardware Software Co-Design of a Multimedia SOC Platform
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2009)

Spectral Interpretation of Decision Diagrams
ανά: Stanković, Radomir S., κ.ά.
Έκδοση: (2003)

Recent Advances in Evolutionary Computation for Combinatorial Optimization
Έκδοση: (2008)

SystemC: From the Ground Up
ανά: Black, David C., κ.ά.
Έκδοση: (2010)

Advanced Formal Verification
Έκδοση: (2004)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Έκδοση: (2013)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R. (Patrick Robert)
Έκδοση: (2010)

Introduction to Geometric Computing
ανά: Ghali, Sherif
Έκδοση: (2008)

Composing Software Components A Software-testing Perspective
ανά: Hamlet, Dick
Έκδοση: (2010)

Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers /
Έκδοση: (2016)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I /
Έκδοση: (2017)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II /
Έκδοση: (2017)

Memory Architecture Exploration for Programmable Embedded Systems
ανά: Grun, Peter, κ.ά.
Έκδοση: (2002)

System-Level Design Techniques for Energy-Efficient Embedded Systems
ανά: Schmitz, Marcus T., κ.ά.
Έκδοση: (2005)

Optimization in Science and Engineering In Honor of the 60th Birthday of Panos M. Pardalos /
Έκδοση: (2014)

New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
Έκδοση: (2002)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών