5054 search results - page 262 / 1011 » How designers design and program interactive behaviors |
192
click to vote
IFM
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
178
click to vote
LOPSTR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
187
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
238
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...
180
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
Exploratory data analysis (EDA) plays an increasingly important role in statistical analysis. EDA is di cult, however, even with the help of modern statistical software. We have d...