2056 search results - page 266 / 412 » Detecting Errors in Spreadsheets |
155
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
156
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Channel estimation (CE) plays an important role in determining the achievable performance of coherently detected communications systems. In this paper, the impact of im...
151
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
161
click to vote
CACM
2010
15 years 2 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
156
click to vote
JCST
2010
14 years 11 months ago
2010
We present a new method for feature preserving mesh simplification based on feature sensitive (FS) metric. Previous quadric error based approach is extended to a high-dimensional F...