6978 search results - page 1224 / 1396 » On Proofs in System P |
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
MOBIHOC
2003
ACM
14 years 9 months ago
2003
ACM
It is often useful to know the geographic positions of nodes in a communications network, but adding GPS receivers or other sophisticated sensors to every node can be expensive. W...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
We present a performance model-driven framework for automated performance tuning (autotuning) of sparse matrix-vector multiply (SpMV) on systems accelerated by graphics processing...