93 search results - page 12 / 19 » Virtual Classes: A Powerful Mechanism in Object-Oriented Pro... |
158
click to vote
ASPLOS
2010
ACM
16 years 14 days ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
174
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
160
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
144
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
199
Voted
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...