7766 search results - page 219 / 1554 » Testing Nondeterminate Systems |
127
Voted
HPCA
2006
IEEE
16 years 3 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
104
Voted
ECCC
2010
15 years 2 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
125
Voted
USS
2008
15 years 5 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
158
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
128
click to vote
DAWAK
2003
Springer
15 years 7 months ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...