2605 search results - page 74 / 521 » Reliability-aware scalability models for high performance co... |
123
Voted
CLUSTER
2008
IEEE
15 years 10 months ago
2008
IEEE
—Parallel performance monitoring extends parallel measurement systems with infrastructure and interfaces for online performance data access, communication, and analysis. At the s...
126
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel, computationally efficient generative topographic model for inferring low dimensional representations of high dimensional data sets, designed to exploit data s...
138
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
160
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Effective and efficient generation of keypoints from an image is a well-studied problem in the literature and forms the basis of numerous Computer Vision applications. Establishe...
132
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...