2969 search results - page 258 / 594 » The Case for User-Centered CASE Tools |
171
click to vote
NCA
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
167
click to vote
ESOP
2005
Springer
16 years 6 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
135
click to vote
ISW
2005
Springer
16 years 5 days ago
2005
Springer
d Abstract) Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, and Peter Rutenbar Carnegie Mellon University, Pittsburgh, Pennsylvania, USA We describe ...
186
click to vote
PPAM
2005
Springer
16 years 4 days ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
181
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...