FAQ

Control Concurrency Type Code

Known as: controlConcurrencyTypeCode 
A coded value specifying the relationship between the study control and an entity or event.
National Institutes of Health

Topic mentions per year

Topic mentions per year

1997-2015
0119972015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Love on Lockdown: How Social Network Characteristics Predict Separational Concurrency Among Low Income African-American Women
One out of nine African-American men between the ages of 20 and 34 is behind bars, resulting in many African-American women… (More)
  • table 1
  • table 2
Is this relevant?
2010
2010
Freezing as a correctness measure for Multiversion Timestamp Ordering protocol
Concurrency control techniques are required for transaction scheduling in order to maintain consistency of data. This paper… (More)
Is this relevant?
2004
2004
Asynchronous Router Specification - IEEE Aerospace and Electronics Systems Magazine
We describe the application of three formal design tools to a case study in the design of a distributed system. The case study in… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
Delay-Insensitive Processes: A Formal Approach to the Design of Asynchronous Circuits
With the proliferation of electronic devices in our day-to-day existence, the quality of the underlying circuits is becoming… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2003
2003
Applying the Concurrency Workbench to the Verification of DI Circuits
In this extended abstract, we shall consider the modelling of such delay-insensitive modules and the verification of circuits… (More)
  • figure 2
  • figure 4
  • table 1
Is this relevant?
2001
2001
Functional programming languages for verification tools: experiences with ML and Haskell
We compare Haskell with ML as programming languages for verification tools, based on our experience developing TRUTH in Haskell… (More)
Is this relevant?
Review
1998
Review
1998
About this issue
This issue includes articles on software engineering frameworks, business computing algorithms, and concurrency control… (More)
Is this relevant?
1997
1997
The Speciication of an Asynchronous Router
We describe the application of three formal design tools to a case study in the design of a distributed system. The case study in… (More)
Is this relevant?