10819 search results - page 417 / 2164 » Addition and multiplication of sets |
161
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We report on the formal verification of the floating point unit used in the VAMP processor. The FPU is fully IEEE compliant, and supports denormals and exceptions in hardware. The ...
205
click to vote
OOPSLA
1991
Springer
15 years 10 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...
157
click to vote
FUIN
2007
15 years 6 months ago
2007
Q− is a weaker variant of Robinson arithmetic Q in which addition and multiplication are partial functions, i.e. ternary relations that are graphs of possibly non-total function...
193
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
162
click to vote
FLAIRS
2009
15 years 4 months ago
2009
We compare two approaches to Bayesian network inference, called variable elimination (VE) and arc reversal (AR). It is established that VE never requires more space than AR, and n...