1183 search results - page 153 / 237 » Risk Management with Benchmarking |
124
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
133
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
In order to enable efficient integration of FPGAs into cost effective and reliable high-performance systems as well potentially into low power mobile systems, their power efficienc...
144
click to vote
WAIM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ensemble methods can achieve excellent performance relying on member classifiers’ accuracy and diversity. We conduct an empirical study of the relationship of ensemble...
182
click to vote
EVOW
1999
Springer
15 years 8 months ago
1999
Springer
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...
157
click to vote
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
We describe how reachability-based orthogonal persistence can be supported even in uncooperative implementations of languages such as C++ and Modula-3, and without modification t...