Výsledky vyhledávání - "Rajesh K. Karmani"

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

Autor: Gul Agha, Darko Marinov, Steven Lauterburg, Axel Legay, Samira Tasharofi, Rajesh K. Karmani

Publikováno v: Lecture Notes in Computer Science
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Formal Techniques for Distributed Systems ISBN: 9783642307928
FMOODS/FORTE

International audience; To detect hard-to-find concurrency bugs, testing tools try to systematically explore all possible interleavings of the transitions in a concurrent program. Unfortunately, because of the nondeterminism in concurrent programs, e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ef6c74612e3d250c46d070f0b027bad
https://inria.hal.science/hal-01528727

Zobrazit plný text záznamu

Thread contracts for safe parallelism

Autor: P. Madhusudan, Rajesh K. Karmani, Brandon Moore

Publikováno v: PPOPP

We build a framework of thread contracts, called Accord, that allows programmers to annotate their concurrency co-ordination strategies. Accord annotations allow programmers to declaratively specify the parts of memory that a thread may read or write

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::009fcb6e79ecddc828084fc433e0855c
https://doi.org/10.1145/1941553.1941573

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání