Följ
Rajesh Karmani
Rajesh Karmani
AskWhai
Verifierad e-postadress på askwhai.com
Titel
Citeras av
Citeras av
År
Actor frameworks for the JVM platform: a comparative analysis
RK Karmani, A Shali, G Agha
Proceedings of the 7th International Conference on Principles and Practice …, 2009
2362009
TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs
S Tasharofi, RK Karmani, S Lauterburg, A Legay, D Marinov, G Agha
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
932012
Actors.
RK Karmani, G Agha
Encyclopedia of Parallel Computing 10, 978-0, 2011
592011
Evaluating ordering heuristics for dynamic partial-order reduction techniques
S Lauterburg, RK Karmani, D Marinov, G Agha
Fundamental Approaches to Software Engineering: 13th International …, 2010
562010
Inferring ownership transfer for efficient message passing
S Negara, RK Karmani, G Agha
ACM SIGPLAN Notices 46 (8), 81-90, 2011
452011
On scaling multi-agent task reallocation using market-based approach
RK Karmani, T Latvala, G Agha
First International Conference on Self-Adaptive and Self-Organizing Systems …, 2007
232007
Basset: a tool for systematic testing of actor programs
S Lauterburg, RK Karmani, D Marinov, G Agha
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
152010
Barrier synchronization pattern
RK Karmani, N Chen, BY Su, A Shali, R Johnson
Workshop on Parallel Programming Patterns (ParaPLOP), 2009
152009
Thread contracts for safe parallelism
RK Karmani, P Madhusudan, BM Moore
ACM SIGPLAN Notices 46 (8), 125-134, 2011
142011
Collective communication patterns
N Chen, RK Karmani, A Shali, BY Su, R Johnson
Workshop on Parallel Programming Patterns (ParaPLOP), 2009
102009
Debugging wireless sensor networks using mobile actors
R Karmani
42008
Improved Dynamic Partial-Order Reduction for Asynchronous Message-Passing Programs
RK Karmani, S Tasharofi, S Lauterburg, D Marinov, G Agha
Workshop Publications, Demonstrations, and Posters
BS Pattern, R Karmani, N Chen, BY Su, A Shali
A Contract Language for Race-Freedom
RK Karmani, P Madhusudan
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–14