Sciweavers

464 search results - page 23 / 93
» DAME: a rule based designer of microprocessor based systems
Sort
View
FOIKS
2008
Springer
13 years 9 months ago
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
Andreas Behrend, Rainer Manthey
CODES
2001
IEEE
13 years 11 months ago
The TACO protocol processor simulation environment
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
Seppo Virtanen, Johan Lilius
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
13 years 11 months ago
On the Design and Verification Methodology of the Look-Aside Interface
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Moha...
KES
2006
Springer
13 years 7 months ago
Genetic-Fuzzy Modeling on High Dimensional Spaces
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
Joon-Min Gil, SeongHoon Lee
HCI
2009
13 years 5 months ago
DocEmoX: A System for the Typography-Derived Emotional Annotation of Documents
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
Georgios Kouroupetroglou, Dimitrios Tsonos, Eugeni...