1714 search results - page 19 / 343 » Abstract Models of Memory Management |
168
click to vote
ISCAS
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— There is a clear trend of future embedded systems in moving toward wireless, multimedia, multi-functional and ubiquitous applications. This emerges new challenges in th...
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
171
click to vote
CASES
2008
ACM
15 years 7 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...
172
click to vote
WOMPAT
2001
Springer
15 years 10 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
145
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...