13631 search results - page 498 / 2727 » Event-Based Performance Analysis |
168
click to vote
IJFCS
2008
15 years 6 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
133
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The paper addresses kinematic and geometrical aspects of the Orthoglide, a three-DOF parallel mechanism. This machine consists of three fixed linear joints, which are mounted ortho...
145
click to vote
KES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
159
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: High-density oligonucleotide arrays have become a valuable tool for highthroughput gene expression profiling. Increasing the array information density and improving th...
181
click to vote
TSE
1998
15 years 5 months ago
1998
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...