Sciweavers

7865 search results - page 445 / 1573
» Large correlation analysis
Sort
View
ECRTS
2006
IEEE
16 years 12 days ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
ICDAR
2003
IEEE
15 years 11 months ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha
170
Voted
PEPM
1994
ACM
15 years 10 months ago
PERs from Projections for Binding-Time Analysis
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
Kei Davis
TSD
2000
Springer
15 years 10 months ago
Testing a Word Analysis System for Reliable and Sense-Conveying Hyphenation and Other Applications
In this article, we present a test environment for a word analysis system that is used for reliable and sense-conveying hyphenation of German words. A crucial task is the hyphenati...
Martin Schönhacker, Gabriele Kodydek
EUC
2008
Springer
15 years 8 months ago
Performance Comparison of Techniques on Static Path Analysis of WCET
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge...