Sciweavers

3951 search results - page 533 / 791
» Automatic amortized analysis
Sort
View
160
Voted
VLDB
1993
ACM
116views Database» more  VLDB 1993»
15 years 10 months ago
Algebraic Optimization of Computations over Scientific Databases
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
Richard H. Wolniewicz, Goetz Graefe
ICSE
2010
IEEE-ACM
15 years 10 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
DOCENG
2007
ACM
15 years 10 months ago
Speculative document evaluation
Optimisation of real world Variable Data printing (VDP) documents is a difficult problem because the interdependencies between layout functions may drastically reduce the number o...
Alexander J. Macdonald, David F. Brailsford, Steve...
DOCENG
2007
ACM
15 years 10 months ago
Preserving the aesthetics during non-fixed aspect ratio scaling of the digital border
To enhance the visual effect of a photo, various digital borders or frames are provided for photo decoration at photo sharing websites. Even though multiple versions of the same b...
Hui Chao, Prasad Gabbur, Anthony Wiley
ISSTA
2010
ACM
15 years 10 months ago
N-version disassembly: differential testing of x86 disassemblers
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fre...