774 search results - page 99 / 155 » Experiences of low power design implementation and verificat... |
GLVLSI
2003
IEEE
14 years 2 months ago
2003
IEEE
The current trends in high performance integrated circuits are towards faster and more powerful circuits in the giga-hertz range and even further. As the more complex Integrated C...
ICIDS
2009
Springer
14 years 3 months ago
2009
Springer
We suggest harvesting the power of multiplayer design to bridge content across different media platforms and develop player-driven cross-media experiences. This paper first argues ...
HOTOS
2007
IEEE
14 years 20 days ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper formulates a two-dimensional, piecewise-cubic interpolator that accounts for non-separable and rotationally asymmetric scene statistics. The resulting kernel has five p...