4911 search results - page 525 / 983 » Tree dependence analysis |
249
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
243
click to vote
DAC
1998
ACM
15 years 9 months ago
1998
ACM
Interconnect-driven optimization is an increasingly important step in high-performance design. Algorithms for buffer insertion have been successfully utilized to reduce delay in gl...
149
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
161
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Eukaryotic whole genome sequences are accumulating at an impressive rate. Effective methods for comparing multiple whole eukaryotic genomes on a large scale are needed...
146
click to vote
CSMR
2000
IEEE
15 years 9 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...