2052 search results - page 310 / 411 » Direct Combination |
190
click to vote
ASPLOS
2009
ACM
16 years 16 days ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
CHI
2009
ACM
16 years 14 days ago
2009
ACM
The advantages of paper-based maps have been utilized in the field of mobile Augmented Reality (AR) in the last few years. Traditional paper-based maps provide high-resolution, la...
103
click to vote
HPCA
2005
IEEE
16 years 8 days ago
2005
IEEE
ZettaRAMTM is a new memory technology under development by ZettaCoreTM as a potential replacement for conventional DRAM. The key innovation is replacing the conventional capacitor...
RECOMB
2005
Springer
16 years 6 days ago
2005
Springer
Background: Correlations between polymorphic markers and observed phenotypes provide the basis for mapping traits in quantitative genetics. When the phenotype is gene expression, ...
ICFP
2007
ACM
15 years 12 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...