13631 search results - page 2211 / 2727 » Event-Based Performance Analysis |
203
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
208
click to vote
ISARCS
2010
15 years 11 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
187
Voted
CF
2007
ACM
15 years 11 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
191
click to vote
CISIM
2007
IEEE
15 years 11 months ago
2007
IEEE
This article presents a semi-automatic segmentation of the fibrous liver tissue in the in-vivo liver biopsy color images. The segmentation is performed using a tree-based classifi...
245
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
The issue of router buffer sizing is still open and significant. Previous work either considers open-loop traffic or only analyzes persistent TCP flows. This paper differs in two ...