5570 search results - page 928 / 1114 » Applications of Fair Testing |
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
128
click to vote
GRAPHICSINTERFACE
2004
15 years 5 months ago
2004
Mobile devices with small screens are becoming more common, and will soon be powerful enough to run desktop software. However, the large interfaces of desktop applications do not ...
132
click to vote
ERSA
2006
15 years 5 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
132
click to vote
IADIS
2004
15 years 5 months ago
2004
The rising popularity of World Wide Web has brought portal solutions to a rapid development. More and more companies, agencies, departments have replaced or completed their Web si...
129
click to vote
FLAIRS
2006
15 years 5 months ago
2006
Standard MIDI files contain data that can be considered as a symbolic representation of music (a digital score), and most of them are structured as a number of tracks, one of them...