15792 search results - page 2733 / 3159 » Computational Abstraction Steps |
190
click to vote
HPCC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
216
click to vote
HPCC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We improve the performance of sparse matrix-vector multiplication (SpMV) on modern cache-based superscalar machines when the matrix structure consists of multiple, irregu...
168
click to vote
HUC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
157
click to vote
HUC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Our goal in this paper is to clearly delineate how households currently manage communication and coordination information; this will provide practitioners and designers w...
152
click to vote
ICALP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...