5105 search results - page 785 / 1021 » An algorithm to determine peer-reviewers |
169
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level power design presents a complex, multiobjective problem that involves the simultaneous optimisation of competing criteria such as speed, area and power. It is difficult...
158
click to vote
COLT
1999
Springer
15 years 11 months ago
1999
Springer
We study the problem of PAC-learning Boolean functions with random attribute noise under the uniform distribution. We define a noisy distance measure for function classes and sho...
197
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
To analyze the complexity of object-oriented software, several metrics have been proposed. Among them, Chidamber and Kemerer's metrics are well-known ones as object-oriented ...
173
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Numerous mathematical approaches have been proposed to determine the optimal checkpoint interval for minimizing total execution time of an application in the presence of failures....
216
click to vote
FOSSACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...