Sciweavers

4438 search results - page 668 / 888
» The Case for Collaborative Programming
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
15 years 3 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
PLDI
2011
ACM
14 years 9 months ago
The tao of parallelism in algorithms
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regularâ€...
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Ma...
CHI
2009
ACM
16 years 7 months ago
The doctor as the second opinion and the internet as the first
People who use the Internet for health information often obtain their first opinion that way, and then, if they go to a doctor, the doctors advice is relegated to the second opini...
Lisa Neal Gualtieri
KDD
2009
ACM
198views Data Mining» more  KDD 2009»
16 years 6 months ago
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data
All Netflix Prize algorithms proposed so far are prohibitively costly for large-scale production systems. In this paper, we describe an efficient dataflow implementation of a coll...
Srivatsava Daruru, Nena M. Marin, Matt Walker, Joy...
CHI
2007
ACM
16 years 6 months ago
FASTDash: a visual dashboard for fostering awareness in software teams
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...
Jacob T. Biehl, Mary Czerwinski, Greg Smith, Georg...