9110 search results - page 262 / 1822 » Formally-Based Design Evaluation |
168
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
As data mining evolves and matures more and more businesses are incorporating this technology into their business practices. However, currently data mining and decision support so...
133
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
151
click to vote
FPGA
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we developed Boolean matching techniques for complex programmable logic blocks (PLBs) in LUT-based FPGAs. A complex PLB can not only be used as a K-input LUT, but a...
167
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
159
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...