2546 search results - page 363 / 510 » Designing the Future |
163
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
127
click to vote
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Design variability due to die-to-die and within-die process variations has the potential to significantly reduce the maximum operating frequency and the effective yield of high-p...
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Growing on-chip wire delays will cause many future microarchitectures to be distributed, in which hardware resources within a single processor become nodes on one or more switched...
134
Voted
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...
146
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...