2000 search results - page 328 / 400 » Program Transformation and Proof Transformation |
144
Voted
LCPC
1999
Springer
15 years 7 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
109
Voted
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
155
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
Exploiting locality at run-time is a complementary approach to a compiler approach for those applications with dynamic memory access patterns. This paper proposes a memory-layout ...
123
click to vote
CIA
1998
Springer
15 years 7 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
125
click to vote
IRREGULAR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We describe the design and implementation of the Distributed ObjectOriented Threads System (DOTS). This system is a complete redesign of the Distributed Threads System (D...