Sciweavers

4629 search results - page 351 / 926
» Space Kernel Analysis
Sort
View
CSMR
2007
IEEE
16 years 1 months ago
Supporting Reliable Software Evolution through Program Analysis
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
Cathal Boogerd
MEMOCODE
2003
IEEE
15 years 12 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
ICPR
2002
IEEE
15 years 11 months ago
Exploratory Analysis of Point Proximity in Subspaces
We consider clustering as computation of a structure of proximity relationships within a data set in a feature space or its subspaces. We propose a data structure to represent suc...
Tin Kam Ho
PPSN
2000
Springer
15 years 10 months ago
An Analysis of Dynamic Severity and Population Size
This work introduces a general mathematical framework for non-stationary fitness functions which enables the exact definition of certain problem properties. The properties' in...
Karsten Weicker
IJCAI
2001
15 years 8 months ago
Local Search Topology in Planning Benchmarks: An Empirical Analysis
Many state-of-the-art heuristic planners derive their heuristic function by relaxing the planning task at hand, where the relaxation is to assume that all delete lists are empty. ...
Jörg Hoffmann