1226 search results - page 217 / 246 » Designing systems-on-chip using cores |
199
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
151
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
127
click to vote
ESAS
2004
Springer
15 years 6 months ago
2004
Springer
The common perception of public key cryptography is that it is complex, slow and power hungry, and as such not at all suitable for use in ultra-low power environments like wireless...
117
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
117
click to vote
ISCA
2010
IEEE
15 years 3 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...