1007 search results - page 134 / 202 » The Complexity of Futile Questioning |
110
Voted
RAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Eelectronic device technology has been monopolized by binary system for many years. The circs not only makes it impossible to break through the existing technology bottleneck, but...
111
click to vote
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
100
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Customizable processors are being used increasingly often in SoC designs. During the past few years, they have proven to be a good way to solve the conflicting flexibility and p...
107
Voted
FOCI
2007
IEEE
15 years 7 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
HAPTICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Haptic interactions with stiff virtual surfaces feel more realistic when a short-duration transient is added to the spring force at contact. But how should this event-based transi...