9842 search results - page 1426 / 1969 » Compositional timing analysis |
193
click to vote
SIAMCO
2010
15 years 2 months ago
2010
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
227
click to vote
TCOS
2010
15 years 2 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
212
click to vote
VCBM
2010
15 years 2 months ago
2010
Ultrasonography allows informative and expressive real time examinations of patients. Findings are usually reported as printouts, screen shots and video sequences. However, in cer...
217
Voted
COR
2011
15 years 2 months ago
2011
We consider the problem of scheduling a maximum profit selection of equal length jobs on m identical machines. Jobs arrive online over time and the goal is to determine a non-pre...
167
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Heart sound is one of the significant bio-signals to diagnose certain cardiac anomalies. Aiming to provide an automatic heart sounds analysis to medical professionals, we present...