Showing 1,441 - 1,460 results of 17,131 for search '"implementation"', query time: 0.14s Refine Results
  1. 1441
    Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
    Published 1997
    Table of Contents: “… via abstract interpretation -- Static analysis of interaction nets for distributed implementations…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1442
    Solving Irregularly Structured Problems in Parallel 5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings /
    Published 1998
    Table of Contents: “… Implementation of spectral methods for graph partitioning -- S-HARP: A parallel dynamic spectral partitioner…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1443
    Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
    Published 1997
    Table of Contents: “… in higher-order logic -- Higher order quotients and their implementation in Isabelle HOL -- Type classes…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1444
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Published 2002
    Table of Contents: “…: A Simple General Implementation Using CLP( ) -- Automated Analysis of CLP(FD) Program Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1445
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Published 2001
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1446
    Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
    Published 1999
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1447
    Job Scheduling Strategies for Parallel Processing 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers /
    Published 2002
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1448
    High-Level Parallel Programming Models and Supportive Environments 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /
    Published 2001
    Table of Contents: “…++ Framework for Parallel Mesh-Based Scientific Applications -- DSM-PM2: A Portable Implementation Platform…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1449
    CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
    Published 2003
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1450
    Distributed Computing 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Algorithms -- On the Implementation Complexity of Specifications of Concurrent Programs -- Competitive…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1451
    Category Theory and Computer Science 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /
    Published 1997
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1452
    Euro-Par' 99 Parallel Processing 5th International Euro-Par Conference Toulouse, France, August 31-September 3, 1999 Proceedings /
    Published 1999
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1453
    Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
    Published 2004
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1454
    Middleware 2003 ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings /
    Published 2003
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1455
    Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems /
    Published 2001
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1456
    Hybrid Systems IV
    Published 1997
    Table of Contents: “… inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1457
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings /
    Published 1997
    Table of Contents: “… environment -- A synchronizing shared memory: Model and programming implementation -- Communication in multi…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1458
    Communication and Architectural Support for Network-Based Parallel Computing First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings /
    Published 1997
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1459
    Applied Parallel Computing: Advanced Scientific Computing 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings /
    Published 2002
    Table of Contents: “… for Parallelizing Irregular Scientific Codes -- Implementation of Parallel Collection Equi-Join Using MPI…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1460
    Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16-18, 2019, Proceedings, Part II /
    Published 2019
    Subjects: “…Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search