Showing 621 - 640 results of 1,352 for search '"Embedded system"', query time: 0.18s Refine Results
  1. 621
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published 2014
    Table of Contents: “… -- A Separation Principle for Embedded System Interfacing.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 622
    UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings /
    Published 2001
    Table of Contents: “… of Behavioral Consistency Based on the UML Meta-model -- Real-Time and Embedded Systems -- A New UML Profile…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 623
    Applications in Electronics Pervading Industry, Environment and Society APPLEPIES 2014 /
    Published 2016
    Table of Contents: “… maximum/minimum values -- Design and implementation of a portable fNIRS embedded system -- Advancements…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 624
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Published 2010
    Table of Contents: “… (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 625
    UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 626
    Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- Specification, Implementation, and Validation of Object-Oriented Embedded Systems -- Quality of Service…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 627
    Ultra Low-Power Electronics and Design
    Published 2004
    Table of Contents: “… -- Tuning Caches to Applications for Low-Energy Embedded Systems -- Reducing Energy Consumption in Chip…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 628
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems -- Monitoring Partially Synchronous…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 629
    NEO 2016 Results of the Numerical and Evolutionary Optimization Workshop NEO 2016 and the NEO Cities 2016 Workshop held on September 20-24, 2016 in Tlalnepantla, Mexico /
    Published 2018
    Table of Contents: “… and Embedded Systems --  A Multi-Objective and Multidisciplinary Optimisation Algorithm…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 630
    Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 631
    Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… Embedded Systems -- Context-Independent Codes for Off-Chip Interconnects -- Frequency-/Voltage-Scaling…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 632
    High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings /
    Published 2005
    Table of Contents: “… and Compilers for HPC -- Track 3: Parallel/Distributed System Architectures -- Track 4: Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 633
    Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “… -- Towards a Java Library to Support Runtime Metaprogramming -- Design Approaches for Critical Embedded…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 634
    Secure Smart Embedded Devices, Platforms and Applications
    Published 2014
    Table of Contents: “… Communication Security Controllers -- Security of Embedded Location Systems -- Automotive Embedded Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 635
    Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France /
    Published 2005
    Table of Contents: “… for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 636
    Embedded SOPC design with NIOS II processor and VHDL examples /
    by Chu, Pong P., 1959-
    Published 2011
    Table of Contents: “…Front Matter -- Overview of Embedded System -- Basic Digital Circuits Development. Gate-Level…”
    Full Text via HEAL-Link
    eBook
  17. 637
    Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
    Published 2007
    Table of Contents: “…-Adaptive Web User Interfaces -- W6 – Real-Time and Embedded Systems -- Modelling and Analysis of Real Time…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 638
    Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
    Published 2009
    Table of Contents: “…Model Based Architecting and Construction of Embedded Systems (ACES-MB) -- Model Based Architecting…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 639
    Software Product-Family Engineering 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers /
    Published 2002
    Table of Contents: “… Engineering of Embedded Systems -- Introducing Product Lines in Small Embedded Systems -- Integrating Legacy…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 640
    Διερεύνηση επιδόσεων αρχιτεκτονικών υλικού-λογισμικού για εφαρμογές ψηφιακής επεξεργασίας σε FPGA
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search