Sciweavers

9842 search results - page 424 / 1969
» Compositional timing analysis
Sort
View
BIRTHDAY
2009
Springer
16 years 1 months ago
Polynomial Precise Interval Analysis Revisited
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
Thomas Gawlitza, Jérôme Leroux, Jan R...
ICCBR
2009
Springer
16 years 1 months ago
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...
Stephen Lee-Urban, Héctor Muñoz-Avil...
SERA
2007
Springer
16 years 29 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
GCC
2005
Springer
16 years 8 days ago
Performance Analysis of Domain Decomposition Applications Using Unbalanced Strategies in Grid Environments
In this paper, we compare the performance of some mesh-based applications in a Grid environment using the domain decomposition technique and unbalanced workload strategies. We prop...
Beatriz Otero, José M. Cela, Rosa M. Badia,...
116
Voted
LREC
2008
72views Education» more  LREC 2008»
15 years 8 months ago
Construction and Analysis of Word-level Time-aligned Simultaneous Interpretation Corpus
In this paper, quantitative analyses of the delay in Japanese-to-English (J-E) and English-to-Japanese (E-J) interpretations are described. The Simultaneous Interpretation Databas...
Takahiro Ono, Hitomi Tohyama, Shigeki Matsubara