1253 search results - page 137 / 251 » Exploration Testing |
113
Voted
TVLSI
2008
15 years 2 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
132
Voted
CCR
2002
15 years 2 months ago
2002
This paper presents a trace-driven simulation study of two classes of retransmission timeout (RTO) estimators in the context of realtime streaming over the Internet. We explore th...
120
Voted
JSS
2002
15 years 2 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
120
click to vote
PUC
2008
15 years 2 months ago
2008
A multiple display environment (MDE) networks personal and shared devices to form a virtual workspace, and designers are just beginning to grapple with the challenges of developing...
76
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
This paper reports initial results from a study exploring whether training in meditation or relaxation can improve office workers’ ability to multitask on a computer more effect...