3373 search results - page 336 / 675 » Naturalistic Decision Making |
166
click to vote
DATE
2010
IEEE
16 years 18 days ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
193
click to vote
DATE
2010
IEEE
16 years 18 days ago
2010
IEEE
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...
154
Voted
DATE
2002
IEEE
16 years 14 days ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
188
Voted
DATE
2002
IEEE
16 years 14 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
209
Voted
HICSS
2002
IEEE
16 years 14 days ago
2002
IEEE
This paper reports the findings of an exploratory study of R/3 users in China which was conducted in Spring 2000. The broad purpose of the study is to identify crucial implementat...