9110 search results - page 1390 / 1822 » Formally-Based Design Evaluation |
179
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...
201
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
To construct a large commodity clustec a hierarchical network is generally adopted for connecting the host muchines, where a Gigabit backbone switch connects a few commodity switc...
195
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A tele-operated system in a robot greatly reduces the demands on the human operator, although some human intervention is still required to perform such tasks as insulator recognit...
133
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by finding the basis of the system’s characteristic compliance matrix. ...
178
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent research suggests that DSM clusters can benefit from parallel coherence controllers. Parallel controllers require address partitioning and synchronization to avoid handlin...