2370 search results - page 356 / 474 » The Characterization of Data-Accumulating Algorithms |
AWIC
2003
Springer
15 years 3 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...
CHES
2003
Springer
15 years 3 months ago
2003
Springer
Field Programmable Gate Arrays (FPGAs) are becoming increasingly popular, especially for rapid prototyping. For implementations of cryptographic algorithms, not only the speed and ...
CP
2003
Springer
15 years 3 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
HIPC
2003
Springer
15 years 3 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...