Sciweavers

2076 search results - page 255 / 416
» Functional logic overloading
Sort
View
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
16 years 22 days ago
Engineering trust with semantic guardians
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
Ilya Wagner, Valeria Bertacco
FUZZIEEE
2007
IEEE
16 years 22 days ago
A Genetic-Fuzzy Mining Approach for Items with Multiple Minimum Supports
—In the past, we proposed a genetic-fuzzy data-mining algorithm for extracting both association rules and membership functions from quantitative transactions under a single minim...
Chun-Hao Chen, Tzung-Pei Hong, Vincent S. Tseng, C...
EH
2002
IEEE
112views Hardware» more  EH 2002»
15 years 11 months ago
Evolving Circuits in Seconds: Experiments with a Stand-Alone Board-Level Evolvable System
The purpose of this paper is twofold: first, to illustrate a stand-alone board-level evolvable system (SABLES) and its performance, and second to illustrate some problems that occ...
Adrian Stoica, Ricardo Salem Zebulum, Michael I. F...
RTSS
1993
IEEE
15 years 10 months ago
Object-Based Semantic Real-Time Concurrency Control
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
Lisa Cingiser DiPippo, Victor Fay Wolfe
HEURISTICS
2002
99views more  HEURISTICS 2002»
15 years 6 months ago
Parallelizing Tabu Search on a Cluster of Heterogeneous Workstations
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
Ahmad A. Al-Yamani, Sadiq M. Sait, Habib Youssef, ...