8398 search results - page 1289 / 1680 » Optimal Software Testing |
189
click to vote
OOPSLA
1997
Springer
15 years 11 months ago
1997
Springer
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
161
click to vote
ISSAC
1994
Springer
15 years 11 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
182
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
158
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
An effective way to reduce the number of aborts in software transactional memory (STM) is to keep multiple versions of transactional objects. In this paper, we study inherent prop...
179
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes a high performance least square solver on FPGAs using the Cholesky decomposition method. Our design can be realized by iteratively adopting a single triangular...