13489 search results - page 570 / 2698 » Operating System |
223
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
196
click to vote
CAV
2004
Springer
16 years 13 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
201
click to vote
ICRA
2003
IEEE
16 years 9 days ago
2003
IEEE
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...
185
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
168
click to vote
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...