( en | de | ru )

 

Disambiguation of "Veldema, Ronald"

Author of the publication

copydeleteadd this publication to your clipboard
Tapir: Language Support to Reduce the State Space in Model-Checking.

, and . GI Jahrestagung, volume P-154 of LNI, page 2860-2874. GI, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ronald Veldema

Ronald Keipert

Acmella ciliata (H.B.K.) Cassini: phytochemische und enzymatische Untersuchungen, galenische Präformulierungen. FU Berlin, (2009)

Ronald Bledow

Ronald Zinke

Ronald Krebs

 

Other publications of authors with the same name

Iterative data-parallel mark&sweep on a GPU., and . ISMM, page 1-10. ACM, (2011)Improved DSM Efficiency, Flexibility, and Correctness (Verbesserte Effizienz, Flexibilität, und Korrektheit von DSM Systeme). University of Erlangen-Nuremberg, Germany, (2011)base-search.net (ftuniverlangen:oai:ub.uni-erlangen.de-opus:1543).Source-level global optimizations for fine-grain distributed shared memory systems., , , , and . PPoPP, page 83-92. ACM, (2001)An Efficient Implementation of Java's Remote Method Invocation., , , , and . PPoPP, page 173-182. ACM, (1999)Efficient Inspected Critical Sections in Data-Parallel GPU Codes., , and . LCPC, volume 11403 of Lecture Notes in Computer Science, page 223-239. Springer, (2017)Object combining: a new aggressive optimization for object intensive programs., , , and . Concurr. Pract. Exp., 17 (5-6): 439-464 (2005)JCudaMP: OpenMP/Java on CUDA., , and . IWMSE@ICSE, page 10-17. ACM, (2010)Model Checking a Cache Coherence Protocol for a Java DSM Implementation., , , and . IPDPS, page 238. IEEE Computer Society, (2003)Run-time optimizations for a Java DSM implementation., , , and . Concurr. Comput. Pract. Exp., 15 (3-5): 299-316 (2003)Runtime optimizations for a Java DSM implementation., , , and . Java Grande, page 153-162. ACM, (2001)