Sciweavers

10890 search results - page 406 / 2178
» Automatic Complexity Analysis
Sort
View
CGF
1999
144views more  CGF 1999»
15 years 6 months ago
Occluder Shadows for Fast Walkthroughs of Urban Environments
This paper describes a new algorithm that employs image-based rendering for fast occlusion culling in complex urban environments. It exploits graphics hardware to render and autom...
Peter Wonka, Dieter Schmalstieg
SP
2010
IEEE
220views Security Privacy» more  SP 2010»
15 years 10 months ago
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
Tielei Wang, Tao Wei, Guofei Gu, Wei Zou
CCS
2006
ACM
15 years 10 months ago
EXE: automatically generating inputs of death
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, ...
BMCBI
2006
118views more  BMCBI 2006»
15 years 6 months ago
Automatic generation of gene finders for eukaryotic species
Background: The number of sequenced eukaryotic genomes is rapidly increasing. This means that over time it will be hard to keep supplying customised gene finders for each genome. ...
Kasper Munch, Anders Krogh
SIGMOD
2004
ACM
107views Database» more  SIGMOD 2004»
16 years 7 months ago
Declarative Specification of Web Applications exploiting Web Services and Workflows
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
Marco Brambilla, Stefano Ceri, Sara Comai, Marco D...