Εμφανίζονται 261 - 280 Αποτελέσματα από 391 για την αναζήτηση '"concurrent programming"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 261
    Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation
    Έκδοση 2015
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 262
    Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems
    Έκδοση 2015
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 263
    Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference
    Έκδοση 2013
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 264
    Proceedings of the 6th ACM conference on Computing frontiers
    Έκδοση 2009
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 265
    Proceedings of the 1999 annual ACM SIGAda international conference on Ada
    Έκδοση 1999
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 266
    Proceedings of the Twelfth Australasian Symposium on Parallel and Distributed Computing - Volume 152
    Έκδοση 2014
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 267
    Proceedings of the 4th Annual International Conference on Systems and Storage
    Έκδοση 2011
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 268
    Proceedings of the third international workshop on Cloud data management
    Έκδοση 2011
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 269
    Proceedings of the Second Workshop on Accelerator Programming using Directives
    Έκδοση 2015
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 270
    Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
    Έκδοση 1998
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 271
    Proceedings of the 5th Workshop on Irregular Applications: Architectures and Algorithms
    Έκδοση 2015
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 272
    Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units
    Έκδοση 2009
    Θέματα: “…Concurrent programming languages…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 273
    Understanding Control Flow Concurrent Programming Using μC++ /
    ανά Buhr, Peter A.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 274
    The JR Programming Language Concurrent Programming in an Extended Java /
    ανά Olsson, Ronald A., Keen, Aaron W.
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 275
    Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 276
    Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Specification -- Concurrency -- Program analysis -- Model checking and runtime verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 277
    Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 278
    Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 279
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Verification -- Probabilistic Systems -- Concurrent Programs -- Parameterized and Component-Based Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 280
    Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Approach to Model-Based Testing of Concurrent Programs -- A Dynamic Approach to Isolating Erroneous Event…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email