Some Resources for Teaching Concurrency

Some Resources for Teaching Concurrency

書誌詳細
主要な著者:	Gopalakrishnan, G, Yang, Y, Vakkalanka, S, Vo, A, Aananthakrishnan, S, Szubzda, G, Sawaya, G, Williams, J, Sharma, S, DeLisi, M, Atzeni, S
フォーマット:	Conference item
出版事項:	ACM 2009

類似資料

ISP: A Tool for Model Checking MPI Programs
著者:: Vakkalanka, S, 等
出版事項: (2008)

THE IMPORTANCE OF NEUROPSYCHOLOGICAL DEFICITS RELATING TO SELF-CONTROL AND TEMPERAMENT TO THE PREVENTION OF SERIOUS ANTISOCIAL BEHAVIOR
著者:: Matt DeLisi, 等
出版事項: (2011-01-01)

The role of synthetic biology in climate change mitigation
著者:: Charles DeLisi
出版事項: (2019-08-01)

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
著者:: Sharma, S, 等
出版事項: (2008)

Career criminals in society /
著者:: 187581 DeLisi, Matt
出版事項: (2005)

Historical pursuits of the language pathway hypothesis of schizophrenia
著者:: Lynn E. DeLisi
出版事項: (2021-11-01)

Data Perturbation Independent Diagnosis and Validation of Breast Cancer Subtypes Using Clustering and Patterns
著者:: G. Alexe, 等
出版事項: (2006-01-01)

Visioning our community : using urban design to move from "don't want" to "want"
著者:: DeLisi, Daniel (Daniel Bryon), 1973-
出版事項: (2011)

ProtocadherinX/Y, a candidate gene-pair for schizophrenia and schizoaffective disorder: A DHPLC investigation of genomic sequence
著者:: Giouzeli, M, 等
出版事項: (2004)

GPU Concurrency: Weak Behaviours and Programming Assumptions
著者:: Alglave, J, 等
出版事項: (2015)

Pathway-based classification of cancer subtypes
著者:: Kim Shinuk, 等
出版事項: (2012-07-01)

Classifying transcription factor targets and discovering relevant biological features
著者:: DeLisi Charles, 等
出版事項: (2008-05-01)

Gene annotation and network inference by phylogenetic profiling
著者:: DeLisi Charles, 等
出版事項: (2006-02-01)

<it>In silico</it> regulatory analysis for exploring human disease progression
著者:: DeLisi Charles, 等
出版事項: (2008-06-01)

Picturing resources in concurrency
著者:: Piedeleu, R
出版事項: (2018)

Teaching Concurrency and Parallelism Concepts with CMRE
著者:: Laura Cristina De Giusti, 等
出版事項: (2016-11-01)

Protocadherinxy as candidate gene for cerebral asymmetry and psychosis: Is the variation epigenetic?
著者:: Crow, T, 等
出版事項: (2002)

The etiology of antisocial personality disorder: The differential roles of adverse childhood experiences and childhood psychopathology
著者:: Matt DeLisi, 等
出版事項: (2019-07-01)

Some Challenges of Specifying Concurrent Program Components
著者:: Ian J. Hayes
出版事項: (2018-10-01)

The detection and classification of membrane-spanning proteins /
著者:: 239944 Klien, Petr, 等

Detection of protocadherinX/Y SNPs in patients with schizophrenia and other family members
著者:: Giouzeli, M, 等
出版事項: (2002)

Logic for concurrency and synchronisation /
著者:: Queiroz, Ruy J.G.B. de
出版事項: (2003)

Binding site graphs: a new graph theoretical framework for prediction of transcription factor binding sites.
著者:: Timothy E Reddy, 等
出版事項: (2007-05-01)

Identification and Characterization of Renal Cell Carcinoma Gene Markers
著者:: Louis S. Liou, 等
出版事項: (2007-01-01)

VisANT: an online visualization and analysis tool for biological interaction data
著者:: DeLisi Charles, 等
出版事項: (2004-02-01)

Teaching Formal Models of Concurrency Specification and Analysis
著者:: N. V. Shilov
出版事項: (2015-12-01)

Combinations of newly confirmed Glioma-Associated loci link regions on chromosomes 1 and 9 to increased disease risk
著者:: Hung Jui-Hung, 等
出版事項: (2011-08-01)

Concurrent Process Histories and Resource Transducers
著者:: Chad Nester
出版事項: (2023-01-01)

A review of echocardiograms in hypertensive patients greater than 60 years in a community based family medicine program
著者:: Shideh Doroudi, 等
出版事項: (2017-01-01)

An updated evidence synthesis on the Risk-Need-Responsivity (RNR) model: umbrella review and commentary
著者:: Fazel, S, 等
出版事項: (2024)

Application of an automatic technique to study cerebral asymmetry in schizophrenia
著者:: Mackay, C, 等
出版事項: (2001)

Concurrent coronary artery and subclavian arterial aneurysms in Takayasu arteritis
著者:: Anoop Ayyappan, 等
出版事項: (2021-09-01)

Borel determinacy of concurrent games
著者:: Gutierrez, J, 等
出版事項: (2013)

Uniqueness Typing for Resource Management in Message-Passing Concurrency
著者:: Edsko de Vries, 等
出版事項: (2010-03-01)

Crime and Violence among MDMA Users in the United States
著者:: Michael G. Vaughn, 等
出版事項: (2015-03-01)

Method of assessing concurrent delays [electronic resource] /
著者:: Ar Samsiah Abdullah, 1973- author, 等
出版事項: (2014)

Abstraction of situation calculus concurrent game structures
著者:: Lespérance, Y, 等
出版事項: (2024)

The winning ways of concurrent games
著者:: Clairambault, P, 等
出版事項: (2012)

Dark Triad Psychopathy Outperforms Self-Control in Predicting Antisocial Outcomes: A Structural Equation Modeling Approach
著者:: Pedro Pechorro, 等
出版事項: (2022-05-01)

Concurrent Proximal Fractures Are Rare in Distal Forearm Fractures: A National Cross-sectional Study
著者:: Matthew Negaard, 等
出版事項: (2019-07-01)