1855 search results - page 237 / 371 » System Consequence |
154
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
142
Voted
COMMA
2008
15 years 6 months ago
2008
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...
128
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
Translation Look-aside Buffer (TLB), which is small Content Addressable Memory (CAM) structure used to translate virtual addresses to physical addresses, can consume significant ...
147
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...
180
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—In wireless communication systems, the signal strength/quality generally varies with the distances between transmitters and receivers. As a consequence, the throughput in the MA...