905 search results - page 128 / 181 » Code Generator Testing in Practice |
TCSV
2010
14 years 4 months ago
2010
Evaluating the perceptual quality of video is of tremendous importance in the design and optimization of wireless video processing and transmission systems. In an endeavor to emula...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
It is increasingly important to optimally select base stations in the design of cellular networks, as customers demand cheaper and better wireless services. From a set of potentia...
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...