1760 search results - page 132 / 352 » Program Analysis Using Weighted Pushdown Systems |
120
click to vote
KDD
1999
ACM
15 years 5 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
83
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
98
Voted
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
124
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...