29082 search results - page 5242 / 5817 » The Time-Triggered Model of Computation |
266
click to vote
CONIELECOMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
199
click to vote
CRV
2006
IEEE
16 years 1 months ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
189
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
180
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
179
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...