3373 search results - page 336 / 675 » Naturalistic Decision Making |
150
click to vote
DATE
2010
IEEE
15 years 12 months 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...
171
click to vote
DATE
2010
IEEE
15 years 12 months 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...
134
click to vote
DATE
2002
IEEE
15 years 11 months 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...
163
click to vote
DATE
2002
IEEE
15 years 11 months 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...
194
click to vote
HICSS
2002
IEEE
15 years 11 months 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...