3428 search results - page 379 / 686 » Making the Case |
140
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...
166
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— Autonomous service robots have to recognize and interpret their environment to be able to interact with it. This paper will focus on service tasks such as serving a glass of wa...
178
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
— Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independe...
155
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
— The X-architecture is a new integrated-circuit wiring technique in the physical design. Compared with the currently used M-architecture, which uses either horizontal or vertica...
164
Voted
KBSE
2006
IEEE
16 years 23 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...