5775 search results - page 871 / 1155 » A Rationale-based Analysis Tool |
214
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Motivated by numerous applications in which the data may be modeled by a variable subscripted by three or more indices, we develop a tensor-based extension of the matrix CUR decom...
185
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
178
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
188
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
187
click to vote
PEPM
2007
ACM
16 years 28 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...