( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Task Parallel Programs Using Gradual Permissions (N).

, , , и . ASE, стр. 535-540. IEEE Computer Society, (2015)

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.

Nagarajavel Vivekananthan

Vivek Venkataramani

Vivek Ramamurthy

Vivek Shetty

Vivek Bose

 

Другие публикации лиц с тем же именем

SLAW: A Scalable Locality-aware Adaptive Work-stealing Scheduler for Multi-core Systems, , , и . SIGPLAN Not., (января 2010)Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems., и . ICPP (2), стр. 140-149. Pennsylvania State University Press, (1988)0-271-00654-4.Finding Tizen security bugs through whole-system static analysis., , , , , и . CoRR, (2015)Exploration of Supervised Machine Learning Techniques for Runtime Selection of CPU vs. GPU Execution in Java Programs., , и . WACCPD@SC, том 10732 из Lecture Notes in Computer Science, стр. 125-144. Springer, (2017)HOOVER: Distributed, Flexible, and Scalable Streaming Graph Processing on OpenSHMEM., , , и . OpenSHMEM, стр. 109-124. Springer, (2018)Programmability Issues., , , и . Int. J. High Perform. Comput. Appl., 23 (4): 328-331 (2009)Integrating MPI with Asynchronous Task Parallelism., , , и . EuroMPI, том 6960 из Lecture Notes in Computer Science, стр. 333-336. Springer, (2011)LLVM-based communication optimizations for PGAS programs., , , и . LLVM@SC, стр. 1:1-1:11. ACM, (2015)Auto-grading for parallel programs., , , , и . EduHPC@SC, стр. 3:1-3:8. ACM, (2015)PPPJ 2003: invited talk.. PPPJ, том 42 из ACM International Conference Proceeding Series, стр. 165. ACM, (2003)