Sciweavers

1004 search results - page 141 / 201
» High Performance Computing in Science and Engineering
Sort
View
CSIE
2009
IEEE
15 years 8 months ago
K-Means on Commodity GPUs with CUDA
K-means algorithm is one of the most famous unsupervised clustering algorithms. Many theoretical improvements for the performance of original algorithms have been put forward, whi...
Hong-tao Bai, Li-li He, Dan-tong Ouyang, Zhan-shan...
AIED
2007
Springer
15 years 9 months ago
The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
Kristy Elizabeth Boyer, Mladen A. Vouk, James C. L...
HPDC
2008
IEEE
15 years 3 months ago
File grouping for scientific data management: lessons from experimenting with real traces
Abstract-The analysis of data usage in a large set of real traces from a high-energy physics collaboration revealed the existence of an emergent grouping of files that we coined &q...
Shyamala Doraimani, Adriana Iamnitchi
SAC
2005
ACM
15 years 8 months ago
Adaptive and fault tolerant medical vest for life-critical medical monitoring
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...
Roozbeh Jafari, Foad Dabiri, Philip Brisk, Majid S...
124
Voted
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 5 days ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke