9626 search results - page 1493 / 1926 » Invariant Based Programming |
179
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
199
Voted
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...
168
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
164
Voted
ICS
1998
Tsinghua U.
15 years 11 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...
253
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...