6960 search results - page 284 / 1392 » Continuity Analysis of Programs |
146
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
145
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...
116
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
120
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper examines the behavioral phenomena that occur with the tuning of the binomial-3 problem. Our analysis identifies a distinct set of phenomena that may be generalizable to...
115
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Homotopy continuation methods have proven to be reliable and efficient to approximate all isolated solutions of polynomial systems. In this paper we show how we can use this capabi...