1760 search results - page 148 / 352 » Program Analysis Using Weighted Pushdown Systems |
117
Voted
HIS
2007
15 years 2 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
117
click to vote
ILC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
106
click to vote
CLEF
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents my participation to the second Morpho Challenge. Results have been obtained with the algorithm already presented at Morpho Challenge 2005. The system takes a p...
116
Voted
IPL
2010
14 years 11 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
98
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...