88 search results - page 13 / 18 » PSIM: A tool for analysis of device pairing methods |
94
Voted
TITB
2010
14 years 4 months ago
2010
The aging population and the growing amount of medical data have increased the need for automated tools in the neurology departments. Although the researchers have been developing ...
106
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
54
Voted
CAIP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a color filter array (CFA) image indexing approach. To enhance the functionality of single-sensor consumer electronics such as digital cameras, imagi...
88
Voted
WSC
2007
14 years 11 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...