6960 search results - page 8 / 1392 » Continuity Analysis of Programs |
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
182
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...
CIE
2006
Springer
15 years 1 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
ICALP
2007
Springer
15 years 3 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...