Sciweavers

773 search results - page 86 / 155
» Efficient system design space exploration using machine lear...
Sort
View
DAC
2006
ACM
15 years 10 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
INFOVIS
1998
IEEE
15 years 2 months ago
An Operator Interaction Framework for Visualization Systems
Information visualization encounters a wide variety of different data domains. The visualization community has developed representation methods and interactive techniques. As a co...
Ed Huai-hsin Chi, John Riedl
EC
2006
195views ECommerce» more  EC 2006»
14 years 9 months ago
Automated Global Structure Extraction for Effective Local Building Block Processing in XCS
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
Martin V. Butz, Martin Pelikan, Xavier Llorà...
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 2 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
PPL
2008
185views more  PPL 2008»
14 years 9 months ago
On Design and Application Mapping of a Network-on-Chip(NoC) Architecture
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
Jun Ho Bahn, Seung Eun Lee, Yoon Seok Yang, Jungso...