1760 search results - page 181 / 352 » Program Analysis Using Weighted Pushdown Systems |
162
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
131
click to vote
SERP
2007
15 years 3 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
149
click to vote
GI
2009
Springer
15 years 1 days ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
224
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
129
click to vote
BICOB
2010
Springer
15 years 9 days ago
2010
Springer
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...