981 search results - page 73 / 197 » Symbolic pointer analysis |
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, an analytical approach to performance analysis of vertical Bell laboratories layered space time (V-BLAST) detection with optimal ordering for systems with two transm...
CC
2002
Springer
13 years 8 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
CGO
2007
IEEE
14 years 3 months ago
2007
IEEE
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
HIPC
2003
Springer
14 years 2 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
We consider the problem of location management of mobile users. The objective is to keep track of the mobile users in order to deliver calls. The IS-41 is a simple strategy for loc...