215 search results - page 19 / 43 » State-Transition Computation Models and Program Correctness ... |
130
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
126
Voted
DAC
2004
ACM
16 years 2 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
164
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
130
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
194
Voted
SOFTWARE
2011
14 years 8 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...