2290 search results - page 273 / 458 » Extensible Protected Types |
149
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Carry-save-adder CSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...
175
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
161
click to vote
IBERAMIA
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents an extension of Bayesian networks (BN) applied to reliability analysis. We developed a general methodology for modelling reliability of complex systems based o...
155
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
The appeal of persistent class-oriented programming languages is great. Allowing class definitions to be persistent, in addition to instance data, greatly increases the ease of ac...
161
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...