5804 search results - page 148 / 1161 » Doing more with less |
189
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
166
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The need for efficient implementation of simple crossbar schedulers has increased in the recent years due to the advent of on-chip interconnection networks that require low la...
157
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
156
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
A long-standing question within the robotics community is about the degree of human-likeness robots ought to have when interacting with humans. We explore an unexamined aspect of ...
150
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...