4067 search results - page 507 / 814 » Programs for Applying Symmetries |
188
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
While usability methods such as user studies and inspections can reveal a wide range of problems, they do so for only a subset of an application’s features and states. We presen...
245
click to vote
PROCEDIA
2011
14 years 9 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
181
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
209
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
179
click to vote
JMLR
2012
13 years 9 months ago
2012
We develop a new tool for data-dependent analysis of the exploration-exploitation trade-off in learning under limited feedback. Our tool is based on two main ingredients. The fi...