15155 search results - page 2611 / 3031 » System Software |
204
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating a high throughput sparse matrix vector multiplication (SpMxV) implementation depends on a balanced system design. In this paper, we introduce the innovative SpMxV Solver ...
190
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
181
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
188
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...
178
click to vote
DGO
2007
15 years 8 months ago
2007
The Center for Technology in Government (CTG) in collaboration with SAP, the business software solutions provider to public sector organizations, conducted a research project focu...