8315 search results - page 1445 / 1663 » Performance Evaluation for Global Computation |
187
click to vote
FMCAD
2000
Springer
15 years 10 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...
176
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...
173
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes TEATRIX; a learning environment designed to help children, and their teachers, in the whole process of collaborative story creation. TEATRIX provides an enviro...
172
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
195
click to vote
AAAI
2007
15 years 8 months ago
2007
Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often compr...