Sciweavers

2278 search results - page 28 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
15 years 1 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
CAIP
2007
Springer
135views Image Analysis» more  CAIP 2007»
15 years 3 months ago
An Automatic Microarray Image Gridding Technique Based on Continuous Wavelet Transform
In the present study, a new gridding method based on continuous wavelet transform (CWT) was performed. Line profiles of x and y axis were calculated, resulting to 2 different signa...
Emmanouil Athanasiadis, Dionisis Cavouras, Panagio...
70
Voted
EDBT
2010
ACM
200views Database» more  EDBT 2010»
15 years 4 months ago
Rewrite techniques for performance optimization of schema matching processes
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
Eric Peukert, Henrike Berthold, Erhard Rahm
C3S2E
2008
ACM
14 years 11 months ago
Towards a mutation-based automatic framework for evaluating code clone detection tools
In the last decade, a great many code clone detection tools have been proposed. Such a large number of tools calls for a quantitative comparison, and there have been several attem...
Chanchal Kumar Roy, James R. Cordy
ISSRE
2003
IEEE
15 years 2 months ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min