Εμφανίζονται 661 - 680 Αποτελέσματα από 1.352 για την αναζήτηση '"Embedded system"', χρόνος αναζήτησης: 0,21δλ Περιορισμός αποτελεσμάτων
  1. 661
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Flop -- A Genetic Bus Encoding Technique for Power Optimization of Embedded Systems -- State Encoding…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 662
    Product Focused Software Process Improvement 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Software Architectures -- Embedded Systems Methods -- Software Technologies for Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 663
    Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… — ACES-MB -- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) -- Using Higher…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 664
    Embedded Processor Design Challenges Systems, Architectures, Modeling, and Simulation - SAMOS /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Specifications -- A Methodology to Design Programmable Embedded Systems -- Flexibility/Cost-Tradeoffs of Platform…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 665
    Developing Security Tools of WSN and WBAN Networks Applications
    ανά A. M. El-Bendary, Mohsen
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- WSN and Embedding System Relation -- Wireless Sensing Networks Contents -- .Wireless, Mobile, and Ad…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 666
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis -- An Outline…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 667
    Parallel and Distributed Computational Intelligence
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Parallel and Distributed Optimization of Dynamic Data Structures for Multimedia Embedded Systems -- A Grid…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 668
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Formal Semantics of a VDM Extension for Distributed Embedded Systems -- A Proof System for a PGAS…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 669
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Embedded Control Software -- Model-Based Development of Embedded Systems: The SysWeaver Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 670
    Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-Time Embedded Systems -- On the Importance of Composability of Ad Hoc Mobile Middleware and Trust…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 671
    Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Relevant Embedded Systems (CESAR) – An Objective Overview -- Safety and Assurance Cases: Past, Present…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 672
    Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- The Role of Ada in Hardware/Software Codesign -- Hw/Sw Codesign of Embedded Systems -- Hardware/Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 673
    Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Process Graphs for the Synthesis of Embedded Systems -- EXPRESSION: A Language for Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 674
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- An Effective Design of Master-Slave Operating System Architecture for Multiprocessor Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 675
    Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Specifications of an Embedded System Oriented to HW/SW Partitioning -- C-Based System Design -- SPACE: A Hardware…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 676
    Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Adaptive Diagrams -- A Framework for Compiler Driven Design Space Exploration for Embedded System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 677
    2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf
    Έκδοση 2020
    “… distinct ones such as Embedded Systems, Control Theory, and Mechatronics. Featuring a simulation-based…”
    Λήψη πλήρους κειμένου
  18. 678
    Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Embedded Systems Domain -- Embedding a Hardware Description Language in Template Haskell -- A DSL Paradigm…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 679
    Lectures on Concurrency and Petri Nets Advances in Petri Nets /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 680
    Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Architecture Evaluation -- Embedded Systems Architecture: Evaluation and Analysis -- Parameter Dependent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email