10263 search results - page 1810 / 2053 » From Use Cases to System Operation Specifications |
166
click to vote
ISCA
2009
IEEE
16 years 27 days ago
2009
IEEE
Data prefetching has long been an important technique to amortize the effects of the memory wall, and is likely to remain so in the current era of multi-core systems. Most prefetc...
161
click to vote
SAMOS
2007
Springer
16 years 11 days ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...
154
click to vote
ACISP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
193
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
184
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...