„Concurrent Programming“

Suchergebnisse

241 Treffer

• A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
  Areias, Miguel ; Rocha, Ricardo
• Functional and constraint logic programming – 19th international workshop ; revised selected papers
  Mariño, Julio 2011 Springer
• Concurrent depth-first search algorithms based on Tarjan’s Algorithm
  Lowe, Gavin
• Editor’s Note: Special Section on Concurrent Systems: Status and Perspectives
• An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Computational Systems Biology with Constraints – Stochastic Modeling of Biological Systems with Concurrent Constraint Programming
  Bortolussi, Luca 2008 VDM Verlag Dr. Müller
• Tools for concurrent programming on SUPRENUM
  Peinze, Klaus 1988 SUPRENUM, Ges. für Numer. Superrechner
• Prototype driven development of a distributed whiteboard – for the pair programming plug-in Saros in an agile team
  Jurke, Michael 2015 AV Akademikerverlag
• A parallel computer architecture directed towards modular concurrent programming
  Ungerer, Theo ; Zehendner, Eberhard 1988 Inst. für Mathematik
• Concurrent behaviour: sequences, processes and programming languages
  Best, Eike ; Devillers, Raymond 1985 Ges. für Mathematik u. Datenverarbeitung
• Comparison of concurrency frameworks for the Java virtual machine
  Kühner, Thomas 2015 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• An introduction to the concurrent algorithmic programming language CAP or looking at CAP with the revised ironman's eyes
  Rammig, Franz Josef 1979 Abt. Informatik, Univ. Dortmund
• Distributed computing – 28th international symposium ; proceedings
  Kuhn, Fabian 2014 Springer
• CONCUR 2014 – Concurrency Theory – 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Concurrency theory – 25th international conference ; proceedings
  Baldan, Paolo 2014 Springer
• Object-oriented programming – 28th European conference ; proceedings
  Jones, Richard 2014 Springer
• 10 Years of research on debugging concurrent and multicore software: a systematic mapping study
  Abbaspour Asadollah, Sara ; Sundmark, Daniel ; Eldh, Sigrid ; Hansson, Hans ; Afzal, Wasif
• Synthesis of verifiable concurrent Java components from formal models
  Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke ; Herranz, Ángel
• Panda: A Compiler Framework for Concurrent CPU $$+$$ + GPU Execution of 3D Stencil Computations on GPU-accelerated Supercomputers
  Sourouri, Mohammed ; Baden, Scott B. ; Cai, Xing
• Seamless concurrent programming of objects, aspects and events
  Van Ham, Jurgen Michael