1724 search results - page 241 / 345 » Abstract Interpreters for Free |
194
click to vote
SRDS
2003
IEEE
16 years 23 days ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
169
click to vote
PLDI
2010
ACM
16 years 17 days ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
227
click to vote
ISCA
2002
IEEE
16 years 13 days ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
209
Voted
SAIG
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
169
Voted
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...