Sciweavers

9316 search results - page 301 / 1864
» Analysis of traceback techniques
Sort
View
ASPDAC
2007
ACM
152views Hardware» more  ASPDAC 2007»
15 years 10 months ago
A Graph Reduction Approach to Symbolic Circuit Analysis
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
Guoyong Shi, Weiwei Chen, C.-J. Richard Shi
EUROPAR
2000
Springer
15 years 10 months ago
A Statistical-Empirical Hybrid Approach to Hierarchical Memory Analysis
A hybrid approach that utilizes both statistical techniques and empirical methods seeks to provide more information about the performance of an application. In this paper, we prese...
Xian-He Sun, Kirk W. Cameron
EURODAC
1995
IEEE
148views VHDL» more  EURODAC 1995»
15 years 10 months ago
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
Konstantin O. Petrosjanc, I. A. Kharitonov, N. I. ...
ISSA
2008
15 years 8 months ago
A Collaborative Distributed Virtual Platform for Forensic Analysis of Malicious Code
Malicious software is prevalent in many forms with the potential for many types of malware to be downloaded while browsing the Internet using an unprotected system. The potential ...
Leonard Shand, Theodore Tryfonas
IJCAI
2007
15 years 8 months ago
Completing Description Logic Knowledge Bases Using Formal Concept Analysis
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulr...