2695 search results - page 118 / 539 » The Complexity of Forecast Testing |
152
click to vote
SEUS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
149
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
139
click to vote
FC
2005
Springer
15 years 9 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
144
Voted
SEW
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
118
click to vote
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Tile-based rendering (also called chunk rendering or bucket rendering) is a promising technique for low-power, 3D graphics platforms. This technique decomposes a scene into smalle...