Sciweavers

3657 search results - page 239 / 732
» A Study of Practical Deduplication
Sort
View
CBSQ
2003
Springer
15 years 12 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
168
Voted
INFOCOM
2002
IEEE
15 years 11 months ago
Travelling Miser Problem
— Various monitoring and performance evaluation tools generate considerable amount of low priority traffic. This information is not always needed in real time, and thus could of...
Yuval Shavitt, David Breitgand, Danny Raz
CHI
1999
ACM
15 years 11 months ago
Exploring Bimanual Camera Control and Object Manipulation in 3D Graphics Interfaces
We explore the use of the non-dominant hand to control a virtual camera while the dominant hand performs other tasks in a virtual 3D scene. Two experiments and an informal study a...
Ravin Balakrishnan, Gordon Kurtenbach
EUROPAR
2006
Springer
15 years 10 months ago
Optimization of Dense Matrix Multiplication on IBM Cyclops-64: Challenges and Experiences
Abstract. This paper presents a study of performance optimization of dense matrix multiplication on IBM Cyclops-64(C64) chip architecture. Although much has been published on how t...
Ziang Hu, Juan del Cuvillo, Weirong Zhu, Guang R. ...
ACMDIS
2008
ACM
15 years 8 months ago
Cognitive partnerships on the bench top: designing to support scientific researchers
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
Ellie Harmon, Nancy J. Nersessian