1184 search results - page 19 / 237 » A computational architecture for heterogeneous reasoning |
BLISS
2008
IEEE
14 years 3 months ago
2008
IEEE
The CSISM project is designing and implementing an automated cyberdefense decision-making mechanism with expert-level ability. CSISM interprets alerts and observations and takes d...
WOA
2000
13 years 10 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
VLSI
2007
Springer
14 years 2 months ago
2007
Springer
Replacing functional units of an extensible processor with reconfigurable functional units enhances performance and flexibility of processors to execute custom instructions. That ...
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
MAM
2006
13 years 8 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...