Showing 861 - 880 results of 17,131 for search '"implementation"', query time: 0.17s Refine Results
  1. 861
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Brief Overview of HOL4 -- The Isabelle Framework -- Regular Papers -- A Compiled Implementation…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 862
    Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Published 2007
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 863
    Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 864
    Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings /
    Published 2006
    Table of Contents: “… for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 865
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /
    Published 2013
    Subjects: “…Register-Transfer-Level Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 866
    Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 867
    Transactions on High-Performance Embedded Architectures and Compilers II
    Published 2009
    Table of Contents: “… for the Implementation of Content Addressable Memories Based on Parallel Hashing Memories.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 868
    Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 869
    Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings /
    Published 2005
    Table of Contents: “…: Interconnect Networks and Network Interfaces -- Implementation of a Hybrid TCP/IP Offload Engine Prototype…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 870
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Mathematical Model for Adaptively Wormhole-Routed Interconnect Networks -- Open Issues in MPI Implementation…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 871
    Guide to Software Development Designing and Managing the Life Cycle /
    by Langer, Arthur M.
    Published 2012
    Table of Contents: “… -- Part III: How to Implement -- Project Management -- Standards and ISO 9000 -- Vendor Contract…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 872
    Grid Computing Achievements and Prospects /
    Published 2008
    Table of Contents: “… Of The Robustness Of DAG Scheduling Heuristics -- Prototype Implementation Of A Demand Driven Network Monitoring…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 873
    Towards Next Generation Grids Proceedings of the CoreGRID Symposium 2007 /
    Published 2007
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 874
    Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italy /
    Published 2007
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 875
    High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 876
    Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 877
    VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “… -- 2-2 Sigma-Delta Modulators for Wideband Telecom -- A 100dB SFDR 0.5V pk-pk Band-Pass DAC Implemented…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 878
    Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 879
    Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers /
    Published 2006
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 880
    Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
    Published 2008
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search