Sciweavers

364 search results - page 6 / 73
» Consistency Testing: The RACE Experience
Sort
View
BIOCOMP
2008
13 years 9 months ago
Analysis of Microarray Titration Experiments
In this paper we introduce a novel approach for the analysis of microarray titration experiments. The test introduced here can be used more generally for drug-dosage effect or time...
Ionut Bebu, Françoise Seillier-Moiseiwitsch...
ICSE
2010
IEEE-ACM
14 years 14 days ago
Views: object-inspired concurrency control
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
Brian Demsky, Patrick Lam
TCAD
2008
97views more  TCAD 2008»
13 years 7 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
SIGSOFT
2009
ACM
14 years 8 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
DAGM
2009
Springer
14 years 2 months ago
Multi-view Object Detection Based on Spatial Consistency in a Low Dimensional Space
This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of...
Gurman Gill, Martin Levine