Sciweavers

9245 search results - page 1596 / 1849
» Virtualization
Sort
View
USENIX
1993
15 years 5 months ago
Linking Shared Segments
As an alternative to communication via messages or files, shared memory has the potential to be simpler, faster, and less wasteful of space. Unfortunately, the mechanisms availab...
W. E. Garrett, Michael L. Scott, Ricardo Bianchini...
USENIX
1994
15 years 5 months ago
A Quantitative Analysis of Disk Drive Power Management in Portable Computers
With the advent and subsequent popularity of portable computers, power management of system components has become an important issue. Current portable computers implement a number...
Kester Li, Roger Kumpf, Paul Horton, Thomas E. And...
LFP
1990
171views more  LFP 1990»
15 years 5 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
UAI
2007
15 years 5 months ago
Indirectly Visible Bayesian Student Models
Inspectable Bayesian student models have been used to support student reflection, knowledge awareness and communication among teacher, students and parents. This paper presents a...
Juan-Diego Zapata-Rivera
EUROGRAPHICS
2010
Eurographics
15 years 5 months ago
Fast and Efficient Skinning of Animated Meshes
Skinning is a simple yet popular deformation technique combining compact storage with efficient hardware accelerated rendering. While skinned meshes (such as virtual characters) a...
Ladislav Kavan, Peter-Pike Sloan, Carol O'Sullivan
« Prev « First page 1596 / 1849 Last » Next »