388 search results - page 67 / 78 » Program Analysis Using Symbolic Ranges |
LOPSTR
2007
Springer
15 years 3 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
BMCBI
2007
14 years 9 months ago
2007
Background: The analysis of the promoter sequence of genes with similar expression patterns is a basic tool to annotate common regulatory elements. Multiple sequence alignments ar...
115
click to vote
USS
2010
14 years 7 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...