2040 search results - page 314 / 408 » On the Complexity of Error Explanation |
151
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the problem of plan recognition for multiagent teams. Complex multi-agent tasks typically require dynamic teams where the team membership changes over time. T...
155
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— We develop a realizable circuit reduction to generate the interconnect macro-model for parasitic estimation in wideband applications. The inductance is represented by VPEC (vec...
173
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...