Sciweavers

12050 search results - page 1615 / 2410
» Modeling and Simulation
Sort
View
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
16 years 1 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
ICRA
2006
IEEE
146views Robotics» more  ICRA 2006»
16 years 1 months ago
Towards 3D Motion Estimation from Deformable Surfaces
— Estimating the pose of an imaging sensor is a central research problem. Many solutions have been proposed for the case of a rigid environment. In contrast, we tackle the case o...
Adrien Bartoli
ISCAS
2006
IEEE
98views Hardware» more  ISCAS 2006»
16 years 1 months ago
Towards rate-distortion tradeoff in real-time color video coding
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...
Zhenzhong Chen, King Ngi Ngan
TIME
2006
IEEE
16 years 1 months ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
PEWASUN
2005
ACM
16 years 1 months ago
Impact of multipath fading in wireless ad hoc networks
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
John Mullen, Hong Huang
« Prev « First page 1615 / 2410 Last » Next »