Sciweavers

3002 search results - page 302 / 601
» Cloud Based Design Optimization
Sort
View
ASPDAC
2006
ACM
122views Hardware» more  ASPDAC 2006»
16 years 19 days ago
IEEE standard 1500 compatible interconnect diagnosis for delay and crosstalk faults
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
Katherine Shu-Min Li, Yao-Wen Chang, Chauchin Su, ...
PADO
2001
Springer
15 years 11 months ago
Deriving Pre-conditions for Array Bound Check Elimination
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
IPPS
2000
IEEE
15 years 11 months ago
Broadcasting in Hypercubes in the Circuit Switched Model
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...
Jean-Claude Bermond, Takako Kodate, Stephane Peren...
CL
2000
Springer
15 years 10 months ago
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
Guizhen Yang, Michael Kifer
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
15 years 6 months ago
Robust residual generation for diagnosis including a reference model for residual behavior
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
Erik Frisk, Lars Nielsen