9842 search results - page 1588 / 1969 » Compositional timing analysis |
137
click to vote
ECCV
2004
Springer
15 years 10 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
136
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
124
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
159
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
143
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Aligning multiple DNA or protein sequences is a fundamental step in the analyses of phylogeny, homology and molecular structure. Heuristic algorithms are applied because optimal mu...