Sciweavers

377 search results - page 31 / 76
» Operating system virtualization: practice and experience
Sort
View
VEE
2012
ACM
322views Virtualization» more  VEE 2012»
12 years 5 months ago
Modeling virtualized applications using machine learning techniques
With the growing adoption of virtualized datacenters and cloud hosting services, the allocation and sizing of resources such as CPU, memory, and I/O bandwidth for virtual machines...
Sajib Kundu, Raju Rangaswami, Ajay Gulati, Ming Zh...
SI3D
2003
ACM
14 years 3 months ago
Snap-together motion: assembling run-time animations
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...
Michael Gleicher, Hyun Joon Shin, Lucas Kovar, And...
FECS
2009
164views Education» more  FECS 2009»
13 years 7 months ago
Development of a System for Teaching C/C++ Using Robots and Open Source Software in a CS1 Course
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
Amy Delman, Lawrence Goetz, Yedidyah Langsam, Theo...
HICSS
2003
IEEE
87views Biometrics» more  HICSS 2003»
14 years 3 months ago
Studying Teamwork in Global IT Support
As modern organizations increasingly operate in a global economy, they need IT support around the globe; favorable economic conditions also encourage the use of offshore IT teams....
Elizabeth Davidson, Albert S. M. Tay
CAV
2010
Springer
157views Hardware» more  CAV 2010»
14 years 1 months ago
Local Verification of Global Invariants in Concurrent Programs
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
Ernie Cohen, Michal Moskal, Wolfram Schulte, Steph...