4163 search results - page 632 / 833 » Enhancing surgical systems |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
âMulticluster grids provide one promising solution to satisfying growing computation demands of compute-intensive applications by collaborating various networked clusters. Howeve...
CSIE
2009
IEEE
14 years 5 months ago
2009
IEEE
We present the current results of our ongoing research in achieving efï¬cient control of a ï¬ying robot for a wide variety of possible applications. A lightweight small indoor h...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
â Several European research projects in the vehicular area address the enhancement of vehicular safety. In the frame of the Caring Cars project, an on-board car-gateway embedded ...
GLVLSI
2009
IEEE
14 years 5 months ago
2009
IEEE
Networks-on-Chip (NoCs) become a critical design factor as chip multiprocessors (CMPs) and systems on a chip (SoCs) scale up with technology. With fundamental benefits of high ban...