26151 search results - page 65 / 5231 » Parameterized system design |
134
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Most methods for visual control of robots formulate the robot command in joint or Cartesian space. To move the robot these commands are remapped to motor torques usually requiring...
152
click to vote
SAC
2010
ACM
16 years 9 days ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
143
click to vote
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
147
click to vote
SMI
2005
IEEE
15 years 11 months ago
2005
IEEE
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
146
click to vote
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...