2107 search results - page 117 / 422 » b 2007 |
179
click to vote
IJCSA
2007
15 years 6 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
124
click to vote
BC
2005
15 years 6 months ago
2005
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
181
Voted
ECRTS
2007
IEEE
16 years 13 days ago
2007
IEEE
We present a multiprocessor scheduling framework for integrating hard and soft real-time tasks and best-effort jobs. This framework allows for full system utilization, and ensures...
127
click to vote
HAPTICS
2007
IEEE
16 years 13 days ago
2007
IEEE
Tilt perception through a haptic human system interface is experimentally investigated. Tactile feedback is provided by vibration motors and proprioceptive feedback by the Cybergr...
135
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...