Sciweavers

15784 search results - page 542 / 3157
» Mega Software Engineering
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
APSEC
1999
IEEE
15 years 11 months ago
Development of an Intelligent Web Interface to Online Library Catalog Databases
Danny C. C. Poo, Teck-Kang Toh, Christopher S. G. ...