1087 search results - page 64 / 218 » Generation under Space Constraints |
136
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
152
click to vote
ALENEX
2003
15 years 6 months ago
2003
Graph models for real-world complex networks such as the Internet, the WWW and biological networks are necessary for analytic and simulation-based studies of network protocols, al...
145
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
143
click to vote
FAST
2009
15 years 2 months ago
2009
The performance of file systems and related software depends on characteristics of the underlying file-system image (i.e., file-system metadata and file contents). Unfortunately, ...
156
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...