Sciweavers

6141 search results - page 1048 / 1229
» Models and representation of their ownership
Sort
View
SIGCSE
2009
ACM
137views Education» more  SIGCSE 2009»
16 years 7 months ago
The hidden injuries of overloading 'ADT'
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
Duane Buck, David J. Stucki
PPOPP
2009
ACM
16 years 7 months ago
Exploiting global optimizations for openmp programs in the openuh compiler
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
Lei Huang, Deepak Eachempati, Marcus W. Hervey, Ba...
KDD
2009
ACM
168views Data Mining» more  KDD 2009»
16 years 7 months ago
Name-ethnicity classification from open sources
The problem of ethnicity identification from names has a variety of important applications, including biomedical research, demographic studies, and marketing. Here we report on th...
Anurag Ambekar, Charles B. Ward, Jahangir Mohammed...
CHI
2004
ACM
16 years 7 months ago
All together now: visualizing local and remote actors of localized activity
We present All Together Now (ATN), a tool for visualizing localized activities involving both local and remote actors. ATN presents each user with a webpage containing a common vi...
Scott Lederer, Jeffrey Heer
POPL
2008
ACM
16 years 6 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
« Prev « First page 1048 / 1229 Last » Next »