2419 search results - page 382 / 484 » A Formal Approach to Software Testing |
159
Voted
SIAMSC
2011
14 years 9 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
114
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
170
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
115
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
100
Voted
KIVS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...