4163 search results - page 632 / 833 » Enhancing surgical systems |
137
click to vote
TACAS
2009
Springer
15 years 10 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ï¬...
137
click to vote
CLUSTER
2009
IEEE
15 years 10 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...
129
click to vote
CSIE
2009
IEEE
15 years 10 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...
105
click to vote
DATE
2009
IEEE
15 years 10 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 ...
134
click to vote
GLVLSI
2009
IEEE
15 years 10 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...