Sciweavers

840 search results - page 92 / 168
» A low-complexity issue logic
Sort
View
124
Voted
ICTAI
2008
IEEE
15 years 10 months ago
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient...
Éric Grégoire, Bertrand Mazure, C&ea...
RTSS
2008
IEEE
15 years 10 months ago
On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...
Björn B. Brandenburg, John M. Calandrino, Jam...
WEBI
2007
Springer
15 years 10 months ago
Knowledge Retrieval (KR)
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
Yiyu Yao, Yi Zeng, Ning Zhong, Xiangji Huang
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 10 months ago
A methodology for FPGA to structured-ASIC synthesis and verification
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
Michael Hutton, Richard Yuan, Jay Schleicher, Greg...
137
Voted
IMSCCS
2006
IEEE
15 years 10 months ago
An Adaptive Agent-Based Network for Distributed Component Repositories
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
Yunjiao Xue, Leqiu Qian, Ruzhi Xu, Bin Tang, Xin P...