6201 search results - page 1140 / 1241 » Implementation of Axiomatic Language |
141
click to vote
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
140
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
181
click to vote
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...
130
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...
181
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...