Showing 161 - 180 results of 483 for search '"Computer System Implementation."', query time: 0.11s Refine Results
  1. 161
    Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
    Published 2015
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 162
    Networks on Chip
    Published 2003
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 163
    Practical Computing on the Cell Broadband Engine
    by Koranne, Sandeep
    Published 2009
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 164
    Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers /
    Published 2017
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 165
    Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 166
    Numerical Computations with GPUs
    Published 2014
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 167
    Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 168
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Published 2008
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 169
    Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 170
    Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 171
    Multimodal Interactive Pattern Recognition and Applications
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 172
    Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /
    Published 2009
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 173
    Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I /
    Published 2010
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 174
    Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /
    Published 2010
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 175
    Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
    Published 2010
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 176
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /
    Published 2010
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 177
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Published 2010
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers /
    Published 2005
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    The Calculus of Computation Decision Procedures with Applications to Verification /
    by Bradley, Aaron R., Manna, Zohar
    Published 2007
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 180
    Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings /
    Published 2007
    Subjects: “…Computer System Implementation.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search