569 search results - page 38 / 114 » acm 1995 |
POPL
1995
ACM
14 years 15 days ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
ASPDAC
1995
ACM
14 years 15 days ago
1995
ACM
: CMOS circuits have significant amounts of dynamic short-circuit (or through) current. This can be as large as 20% of the total in well-designed circuits, and up to 80% of the tot...
ISLPED
1995
ACM
14 years 15 days ago
1995
ACM
- The problem of estimating the energy consumption at register transfer level is addressed from an information theoretical point of view. It is shown that the average switching act...
KDD
1995
ACM
14 years 15 days ago
1995
ACM
Probabilistic expert systemsbased on Bayesian networks(BNs)require initial specification both a qualitative graphical structure and quantitative assessmentof conditional probabili...
ISLPED
1995
ACM
14 years 15 days ago
1995
ACM
: CMOS implementations of arithmetic units for One-Hot Residue encoded operands are presented. They are shown to reduce the delay-power product of conventional, fully-encoded desig...