1246 search results - page 144 / 250 » Online testing with model programs |
115
Voted
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
137
click to vote
HCI
2009
14 years 10 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
128
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
88
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
114
click to vote
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...