202 search results - page 37 / 41 » Framework for Fault Analysis and Test Generation in DRAMs |
CHARME
2003
Springer
14 years 18 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
CVPR
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
ISCI
2010
13 years 5 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
KDD
2005
ACM
14 years 7 months ago
2005
ACM
Weblogs and message boards provide online forums for discussion that record the voice of the public. Woven into this mass of discussion is a wide range of opinion and commentary a...