Sciweavers

34229 search results - page 281 / 6846
» Power-aware computing systems
Sort
View
ACSAC
2010
IEEE
15 years 2 months ago
Always up-to-date: scalable offline patching of VM images in a compute cloud
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...
Wu Zhou, Peng Ning, Xiaolan Zhang, Glenn Ammons, R...
NPAR
2009
ACM
15 years 11 months ago
Airbrush simulation for artwork and computer modeling
A computerized airbrush system with a full three dimensional airbrush interface is presented. The position and orientation of an electronic airbrush tool is tracked in space, and,...
Jonathan Konieczny, Gary W. Meyer
SADFE
2008
IEEE
15 years 10 months ago
Computer Forensics in Forensis
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
Sean Peisert, Matt Bishop, Keith Marzullo
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 9 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
15 years 8 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli