4690 search results - page 657 / 938 » An operational semantics for Scheme |
227
Voted
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
173
Voted
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
183
Voted
DCC
2009
IEEE
16 years 2 months ago
2009
IEEE
The multicasting of an independent and identically distributed Gaussian source over a binary erasure broadcast channel is considered. This model applies to a one-to-many transmiss...
212
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
231
click to vote
ICAC
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...