Some Resources for Teaching Concurrency

Some Resources for Teaching Concurrency

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gopalakrishnan, G, Yang, Y, Vakkalanka, S, Vo, A, Aananthakrishnan, S, Szubzda, G, Sawaya, G, Williams, J, Sharma, S, DeLisi, M, Atzeni, S
Formáid:	Conference item
Foilsithe / Cruthaithe:	ACM 2009

Míreanna comhchosúla

ISP: A Tool for Model Checking MPI Programs
de réir: Vakkalanka, S, et al.
Foilsithe / Cruthaithe: (2008)

THE IMPORTANCE OF NEUROPSYCHOLOGICAL DEFICITS RELATING TO SELF-CONTROL AND TEMPERAMENT TO THE PREVENTION OF SERIOUS ANTISOCIAL BEHAVIOR
de réir: Matt DeLisi, et al.
Foilsithe / Cruthaithe: (2011-01-01)

The role of synthetic biology in climate change mitigation
de réir: Charles DeLisi
Foilsithe / Cruthaithe: (2019-08-01)

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
de réir: Sharma, S, et al.
Foilsithe / Cruthaithe: (2008)

Career criminals in society /
de réir: 187581 DeLisi, Matt
Foilsithe / Cruthaithe: (2005)

Historical pursuits of the language pathway hypothesis of schizophrenia
de réir: Lynn E. DeLisi
Foilsithe / Cruthaithe: (2021-11-01)

Data Perturbation Independent Diagnosis and Validation of Breast Cancer Subtypes Using Clustering and Patterns
de réir: G. Alexe, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Visioning our community : using urban design to move from "don't want" to "want"
de réir: DeLisi, Daniel (Daniel Bryon), 1973-
Foilsithe / Cruthaithe: (2011)

ProtocadherinX/Y, a candidate gene-pair for schizophrenia and schizoaffective disorder: A DHPLC investigation of genomic sequence
de réir: Giouzeli, M, et al.
Foilsithe / Cruthaithe: (2004)

GPU Concurrency: Weak Behaviours and Programming Assumptions
de réir: Alglave, J, et al.
Foilsithe / Cruthaithe: (2015)

Pathway-based classification of cancer subtypes
de réir: Kim Shinuk, et al.
Foilsithe / Cruthaithe: (2012-07-01)

Classifying transcription factor targets and discovering relevant biological features
de réir: DeLisi Charles, et al.
Foilsithe / Cruthaithe: (2008-05-01)

Gene annotation and network inference by phylogenetic profiling
de réir: DeLisi Charles, et al.
Foilsithe / Cruthaithe: (2006-02-01)

<it>In silico</it> regulatory analysis for exploring human disease progression
de réir: DeLisi Charles, et al.
Foilsithe / Cruthaithe: (2008-06-01)

Picturing resources in concurrency
de réir: Piedeleu, R
Foilsithe / Cruthaithe: (2018)

Teaching Concurrency and Parallelism Concepts with CMRE
de réir: Laura Cristina De Giusti, et al.
Foilsithe / Cruthaithe: (2016-11-01)

Protocadherinxy as candidate gene for cerebral asymmetry and psychosis: Is the variation epigenetic?
de réir: Crow, T, et al.
Foilsithe / Cruthaithe: (2002)

The etiology of antisocial personality disorder: The differential roles of adverse childhood experiences and childhood psychopathology
de réir: Matt DeLisi, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Some Challenges of Specifying Concurrent Program Components
de réir: Ian J. Hayes
Foilsithe / Cruthaithe: (2018-10-01)

The detection and classification of membrane-spanning proteins /
de réir: 239944 Klien, Petr, et al.

Detection of protocadherinX/Y SNPs in patients with schizophrenia and other family members
de réir: Giouzeli, M, et al.
Foilsithe / Cruthaithe: (2002)

Logic for concurrency and synchronisation /
de réir: Queiroz, Ruy J.G.B. de
Foilsithe / Cruthaithe: (2003)

Binding site graphs: a new graph theoretical framework for prediction of transcription factor binding sites.
de réir: Timothy E Reddy, et al.
Foilsithe / Cruthaithe: (2007-05-01)

Identification and Characterization of Renal Cell Carcinoma Gene Markers
de réir: Louis S. Liou, et al.
Foilsithe / Cruthaithe: (2007-01-01)

VisANT: an online visualization and analysis tool for biological interaction data
de réir: DeLisi Charles, et al.
Foilsithe / Cruthaithe: (2004-02-01)

Teaching Formal Models of Concurrency Specification and Analysis
de réir: N. V. Shilov
Foilsithe / Cruthaithe: (2015-12-01)

Combinations of newly confirmed Glioma-Associated loci link regions on chromosomes 1 and 9 to increased disease risk
de réir: Hung Jui-Hung, et al.
Foilsithe / Cruthaithe: (2011-08-01)

Concurrent Process Histories and Resource Transducers
de réir: Chad Nester
Foilsithe / Cruthaithe: (2023-01-01)

A review of echocardiograms in hypertensive patients greater than 60 years in a community based family medicine program
de réir: Shideh Doroudi, et al.
Foilsithe / Cruthaithe: (2017-01-01)

An updated evidence synthesis on the Risk-Need-Responsivity (RNR) model: umbrella review and commentary
de réir: Fazel, S, et al.
Foilsithe / Cruthaithe: (2024)

Application of an automatic technique to study cerebral asymmetry in schizophrenia
de réir: Mackay, C, et al.
Foilsithe / Cruthaithe: (2001)

Concurrent coronary artery and subclavian arterial aneurysms in Takayasu arteritis
de réir: Anoop Ayyappan, et al.
Foilsithe / Cruthaithe: (2021-09-01)

Borel determinacy of concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2013)

Uniqueness Typing for Resource Management in Message-Passing Concurrency
de réir: Edsko de Vries, et al.
Foilsithe / Cruthaithe: (2010-03-01)

Crime and Violence among MDMA Users in the United States
de réir: Michael G. Vaughn, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Method of assessing concurrent delays [electronic resource] /
de réir: Ar Samsiah Abdullah, 1973- author, et al.
Foilsithe / Cruthaithe: (2014)

Abstraction of situation calculus concurrent game structures
de réir: Lespérance, Y, et al.
Foilsithe / Cruthaithe: (2024)

The winning ways of concurrent games
de réir: Clairambault, P, et al.
Foilsithe / Cruthaithe: (2012)

Dark Triad Psychopathy Outperforms Self-Control in Predicting Antisocial Outcomes: A Structural Equation Modeling Approach
de réir: Pedro Pechorro, et al.
Foilsithe / Cruthaithe: (2022-05-01)

Concurrent Proximal Fractures Are Rare in Distal Forearm Fractures: A National Cross-sectional Study
de réir: Matthew Negaard, et al.
Foilsithe / Cruthaithe: (2019-07-01)