529 search results - page 46 / 106 » Property Directed Abstract Interpretation |
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Experimental analyses of propulsion in freelyswimming fishes have led to the development of self-propelling pectoral and caudal fin robotic devices. These biorobotic mod...
IWOCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We analyze special random network models – so-called thickened trees – which are constructed by random trees where the nodes are replaced by local clusters. These obj...
WEA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize the amplitude of the electrical current flowing ...