188
click to vote
NPC
15 years 5 months ago
2004 Springer
Abstract. Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper...
173
click to vote
DAPSYS
15 years 5 months ago
2004 Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
164
click to vote
FIDJI
15 years 5 months ago
2004 Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
164
click to vote
HPCA
16 years 10 days ago
2004 IEEE
Recent research suggests that there are large variations in a cache's spatial usage, both within and across programs. Unfortunately, conventional caches typically employ fixe...
145
click to vote
VECPAR
15 years 5 months ago
2004 Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
|