4245 search results - page 193 / 849 » Input Modeling |
205
click to vote
ENTCS
2007
15 years 7 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
181
click to vote
WSC
1997
15 years 8 months ago
1997
Simulation optimization can be defined as the process of finding the best input variable values from among all possibilities without explicitly evaluating each possibility. The ob...
224
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
216
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
299
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...