13101 search results - page 2465 / 2621 » The design and implementation of microdrivers |
171
click to vote
GPC
2008
Springer
15 years 7 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
152
click to vote
HAID
2008
Springer
15 years 7 months ago
2008
Springer
Tactile displays consisting of tactors located around the user’s waist are a proven means for displaying directions in the horizontal plane. These displays use the body location ...
188
click to vote
Publication
We present a pose estimation method for rigid
objects from single range images. Using 3D models of the
objects, many pose hypotheses are compared in a data-parallel
version of t...
190
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
182
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...