Sciweavers

2076 search results - page 255 / 416
» Functional logic overloading
Sort
View
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
15 years 9 months 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
125
Voted
FUZZIEEE
2007
IEEE
15 years 9 months 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 8 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 7 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 3 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, ...