Sciweavers

16725 search results - page 640 / 3345
» Engineering Software Correctness
Sort
View
ISSTA
2000
ACM
15 years 11 months ago
Putting static analysis to work for verification: A case study
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...
ISSTA
2000
ACM
15 years 11 months ago
A framework for testing database applications
David Chays, Saikat Dan, Phyllis G. Frankl, Filipp...
ISSTA
2000
ACM
15 years 11 months ago
Improving the precision of INCA by preventing spurious cycles
Ì ÁÒ ÕÙ Ð ØÝ Æ ×× ÖÝ ÓÒ Ø ÓÒ Ò ÐÝÞ Ö ´ÁÆ µ × ¬Ò Ø ¹×Ø Ø Ú Ö ¬ Ø ÓÒ ØÓÓÐ Ø Ø × Ò Ð ØÓ ÔÖÓÔ¹ ÖØ × Ó ×ÓÑ Ú ÖÝ Ð Ö...
Stephen F. Siegel, George S. Avrunin
ISPASS
2010
IEEE
15 years 11 months ago
StatStack: Efficient modeling of LRU caches
The identification of the memory gap in terms of the relatively slow memory accesses put a focus on cache
David Eklov, Erik Hagersten