Showing 321 - 340 results of 391 for search '"concurrent programming"', query time: 0.11s Refine Results
  1. 321
    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
  2. 322
    Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
    Published 2003
    Table of Contents: “… Checking -- Type Systems for Concurrent Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 323
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published 2015
    Table of Contents: “… for Distributed Almost-Synchronous Systems -- Automated and Modular Refinement Reasoning for Concurrent Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 324
    Distributed Computing 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings /
    Published 1999
    Table of Contents: “… Talking Philosophers Problem in Computer Networks -- Software Fault Tolerance of Concurrent Programs Using…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 325
    Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /
    Published 1997
    Table of Contents: “… -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 326
    Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
    Published 2006
    Table of Contents: “… in Concurrent Programming with Active Objects.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 327
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Published 2009
    Table of Contents: “…: Explicit Model Checking Manager (Tool Presentation) -- Efficient Testing of Concurrent Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 328
    Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
    Published 2018
    Table of Contents: “… in Stateless Model Checking of Concurrent Programs -- The cause-effect latency problem in real-time systems.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 329
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Papers -- Static Analysis of Concurrent Programs Using Ordinary Differential Equations…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 330
    Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
    Published 2010
    Table of Contents: “… of Concurrent Programs -- Certified Result Checking for Polyhedral Analysis of Bytecode Programs -- Tools…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 331
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Published 2008
    Table of Contents: “… Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 332
    Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 333
    Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 334
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Published 2015
    Table of Contents: “…Descriptive Types for Linked Data Resources -- 25 Years of Model Checking -- The Laws of Concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 335
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “…Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 336
    More iOS6 Development Further Explorations of the iOS SDK /
    Full Text via HEAL-Link
    Electronic eBook
  17. 337
    Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for Hybrid Concurrent Programming Models -- Abstraction and Mining of Traces to Explain Concurrency Bugs…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 338
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 339
    Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings /
    Published 2012
    Table of Contents: “… -- Testing of Concurrent Programs Using Genetic Algorithms -- Reverse Engineering Feature Models…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 340
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Table of Contents: “… Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search