6434 search results - page 1066 / 1287 » Model Transformations with Reference Models |
127
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
143
Voted
DCC
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper we propose a new motion compensated prediction technique that enables successful predictive encoding during fades, blended scenes, temporally decorrelated noise, and...
149
Voted
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— In this paper we propose PARINET, a new access method to efficiently retrieve the trajectories of objects moving in networks. The structure of PARINET is based on a combination...
113
Voted
CCS
2010
ACM
15 years 10 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
127
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
—This work presents a methodology to generate dynamically stable whole-body motions for a humanoid robot, which are converted from human motion capture data. The methodology cons...