Sciweavers

3531 search results - page 79 / 707
» Virtualizing Disk Performance
Sort
View
HYBRID
2009
Springer
13 years 11 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
SIGMOD
2011
ACM
238views Database» more  SIGMOD 2011»
12 years 10 months ago
Data management over flash memory
Flash SSDs are quickly becoming mainstream and emerge as alternatives to magnetic disks. It is therefore imperative to incorporate them seamlessly into the enterprise. We present ...
Ioannis Koltsidas, Stratis Viglas
HICSS
2011
IEEE
241views Biometrics» more  HICSS 2011»
12 years 11 months ago
Examining Work Performance in Immersive Virtual Environments versus Face-to-Face Physical Environments through Laboratory Experi
With increasing proliferation of virtual environments for serious work as well as play, we are confronted by new challenges pertaining to how such environments can be leveraged to...
Richard Bergin, Bryan J. Hudgens, Mark Nissen
VEE
2006
ACM
116views Virtualization» more  VEE 2006»
14 years 1 months ago
Relative factors in performance analysis of Java virtual machines
Many new Java runtime optimizations report relatively small, single-digit performance improvements. On modern virtual and actual hardware, however, the performance impact of an op...
Dayong Gu, Clark Verbrugge, Etienne M. Gagnon
ISPASS
2007
IEEE
14 years 2 months ago
An Analysis of Performance Interference Effects in Virtual Environments
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic ...