Sciweavers

3645 search results - page 456 / 729
» Implementing mapping composition
Sort
View
GLVLSI
2005
IEEE
124views VLSI» more  GLVLSI 2005»
16 years 15 days ago
SOFTENIT: a methodology for boosting the software content of system-on-chip designs
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
Abhishek Mitra, Marcello Lajolo, Kanishka Lahiri
CVPR
2003
IEEE
16 years 9 months ago
Multi-Resolution Real-Time Stereo on Commodity Graphics Hardware
In this paper a stereo algorithm suitable for implementation on commodity graphics hardware is presented. This is important since it allows to free up the main processor for other...
Ruigang Yang, Marc Pollefeys
PADL
2009
Springer
16 years 7 months ago
Declarative Network Verification
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg So...
ICCD
2008
IEEE
159views Hardware» more  ICCD 2008»
16 years 3 months ago
A high-performance parallel CAVLC encoder on a fine-grained many-core system
—This paper presents a high-performance parallel context-based adaptive length coding (CAVLC) encoder implemented on a fine-grained many-core system. The software encoder is desi...
Zhibin Xiao, Bevan Baas
WCRE
2009
IEEE
16 years 1 months ago
The Logical Modularity of Programs
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
Daniel Ratiu, Radu Marinescu, Jan Jürjens