15644 search results - page 389 / 3129 » Brittle System Analysis |
191
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The paper presents an extended version of the SuperMatrix system -- a general tool supporting automatic acquisition of lexical semantic relations from corpora. Extensions focus mai...
252
click to vote
ASC
2011
15 years 1 months ago
2011
In the area of data mining, the discovery of valuable changes and connections (e.g., causality) from multiple data sets has been recognized as an important issue. This issue essen...
198
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
186
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
195
click to vote
RTCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...