4355 search results - page 352 / 871 » From Interpretation to Compilation |
157
click to vote
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
Replicating Web documents at a worldwide scale can help reduce user-perceived latency and wide-area network traffic. This paper presents the design of Globule, a platform that aut...
152
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
The performance potential of a value reuse mechanism depends on its reuse detection time, the number of reuse opportunities, and the amount of work saved by skipping each reuse un...
158
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
194
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
149
click to vote
SIGCOMM
1999
ACM
15 years 11 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...