5170 search results - page 815 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
224
click to vote
WICSA
2004
15 years 8 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
185
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
210
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
189
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
182
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The second-order statistics of a time-domain signal are very often used in blind and semi-blind channel estimation. Considering that the received signal in MIMO-OFDM systems mi...