873 search results - page 109 / 175 » E-voting: Dependability Requirements and Design for Dependab... |
124
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
131
click to vote
SIGMETRICS
2012
ACM
13 years 2 months ago
2012
ACM
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...
VIS
2005
IEEE
16 years 1 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
103
click to vote
ICPR
2000
IEEE
16 years 28 days ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...
DAC
2001
ACM
16 years 25 days ago
2001
ACM
Portable systems require long battery lifetime while still delivering high performance. Dynamic voltage scaling (DVS) algorithms reduce energy consumption by changing processor sp...