1412 search results - page 83 / 283 » types 2004 |
158
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
134
click to vote
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
Many mobile applications rely on the Global Positioning System (GPS) to provide position and location information. However, there are many problems with using GPS in urban environm...
128
Voted
MWCN
2004
Springer
15 years 10 months ago
2004
Springer
— We consider node localization problems in ad hoc wireless networks in which two types of nodes are considered: nodes with self-locating capability like GPS and nodes with no se...
191
Voted
NAA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
136
Voted
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...