4516 search results - page 497 / 904 » Automated System Design for Availability |
193
click to vote
JSC
2010
15 years 5 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
215
click to vote
ACL
2010
15 years 5 months ago
2010
In this paper, we study the problem of using an annotated corpus in English for the same natural language processing task in another language. While various machine translation sy...
245
click to vote
TOG
2012
13 years 9 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
188
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The "ZIP" adaptive trading algorithm has been demonstrated to outperform human traders in experimental studies of continuous double auction (CDA) markets. The original Z...
172
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
We propose a control theory-based dynamic voltage scaling (DVS) algorithm for interactive 3D game applications running on batterypowered portable devices. Using this scheme, we pe...