6800 search results - page 499 / 1360 » Testing with Functions as Specifications |
243
click to vote
CUZA
2002
15 years 7 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
178
Voted
TPDS
1998
15 years 7 months ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
212
click to vote
IGARSS
2009
15 years 5 months ago
2009
The radiation reflected by any observed surface is highly dependent on both sun illumination and satellite observation angles. These two angles are also described, respectively, a...
341
click to vote
ICDE
2005
IEEE
16 years 9 months ago
2005
IEEE
Efficiently and accurately searching for similarities among time series and discovering interesting patterns is an important and non-trivial problem. In this paper, we introduce a...
181
click to vote
ICML
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper describes Pairwise Bisection: a nonparametric approach to optimizing a noisy function with few function evaluations. The algorithm uses nonparametric reasoning about si...