Some Resources for Teaching Concurrency
Main Authors: | Gopalakrishnan, G, Yang, Y, Vakkalanka, S, Vo, A, Aananthakrishnan, S, Szubzda, G, Sawaya, G, Williams, J, Sharma, S, DeLisi, M, Atzeni, S |
---|---|
Format: | Conference item |
Published: |
ACM
2009
|
Similar Items
-
ISP: A Tool for Model Checking MPI Programs
by: Vakkalanka, S, et al.
Published: (2008) -
THE IMPORTANCE OF NEUROPSYCHOLOGICAL DEFICITS RELATING TO SELF-CONTROL AND TEMPERAMENT TO THE PREVENTION OF SERIOUS ANTISOCIAL BEHAVIOR
by: Matt DeLisi, et al.
Published: (2011-01-01) -
The role of synthetic biology in climate change mitigation
by: Charles DeLisi
Published: (2019-08-01) -
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
by: Sharma, S, et al.
Published: (2008) -
Career criminals in society /
by: 187581 DeLisi, Matt
Published: (2005)