Sciweavers

4835 search results - page 175 / 967
» Refactoring Functional Programs
Sort
View
75
Voted
AMOST
2005
ACM
15 years 3 months ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas
76
Voted
CSL
2004
Springer
15 years 1 months ago
A Functional Scenario for Bytecode Verification of Resource Bounds
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...
90
Voted
EUROGP
2006
Springer
138views Optimization» more  EUROGP 2006»
15 years 1 months ago
Evolving Crossover Operators for Function Optimization
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...
Laura Diosan, Mihai Oltean
HYBRID
2010
Springer
15 years 3 days ago
On infinity norms as Lyapunov functions for piecewise affine systems
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
Mircea Lazar, Andrej Jokic
VMV
2000
169views Visualization» more  VMV 2000»
14 years 11 months ago
Automatic Adjustment of Transfer Functions for 3D Volume Visualization
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
Christof Rezk-Salama, Peter Hastreiter, Jörg ...