Sciweavers

15644 search results - page 303 / 3129
» Brittle System Analysis
Sort
View
LREC
2010
116views Education» more  LREC 2010»
15 years 8 months ago
Evaluating Lexical Substitution: Analysis and New Measures
Lexical substitution is the task of finding a replacement for a target word in a sentence so as to preserve, as closely as possible, the meaning of the original sentence. It has b...
Sanaz Jabbari, Mark Hepple, Louise Guthrie
ICCAD
2006
IEEE
155views Hardware» more  ICCAD 2006»
16 years 3 months ago
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li...
CC
2008
Springer
172views System Software» more  CC 2008»
15 years 8 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...
KES
2008
Springer
15 years 6 months ago
Ontology-Based Design Pattern Recognition
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
Damir Kirasic, Danko Basch
HASE
1998
IEEE
15 years 11 months ago
Software Component Independence
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...
Denise M. Woit, David V. Mason