6960 search results - page 454 / 1392 » Continuity Analysis of Programs |
142
click to vote
ENTCS
2006
15 years 5 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
156
click to vote
CONCURRENCY
1998
15 years 4 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
164
click to vote
JSC
2010
15 years 3 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
160
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
148
click to vote
EOR
2010
14 years 12 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...