1855 search results - page 201 / 371 » Composing model programs for analysis |
143
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
135
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
149
click to vote
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
121
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
132
Voted
EUSFLAT
2003
15 years 4 months ago
2003
Recently, several algorithms have been proposed for using neural networks in dynamic analysis of small structural systems, and also constructing adaptive material modeling subrout...