7262 search results - page 1059 / 1453 » Reversible Computer Hardware |
186
click to vote
ESTIMEDIA
2007
Springer
16 years 28 days ago
2007
Springer
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...
189
click to vote
IESS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract: The time-triggered System-on-a-Chip (SoC) architecture provides a generic multicore system platform for a family of composable and dependable giga-scale SoCs. It supports...
182
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
The industry is rapidly moving towards the adoption of Chip Multi-Processors (CMPs) of Simultaneous MultiThreaded (SMT) cores for general purpose systems. The most prominent use o...
233
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
187
click to vote
ISPD
2006
ACM
16 years 22 days ago
2006
ACM
The multilevel placement package mPL6 combines improved implementations of the global placer mPL5 (ISPD05) and the XDP legalizer and detailed placer (ASPDAC06). It consistently pr...