Sciweavers

3579 search results - page 264 / 716
» Transformations of software models into performance models
Sort
View
AMOST
2007
ACM
15 years 10 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
ITCC
2003
IEEE
15 years 11 months ago
An Open Software Architecture for Structured Data Elaboration and Transcoding
In this paper, we propose a software architecture model for the development of elaboration/transcoding modules for structured data. We define a flexible implementation approach ...
Luca Vollero, Giulio Iannello, Francesco Delfino
WCRE
2009
IEEE
16 years 21 days ago
On the Relationship Between Change Coupling and Software Defects
Abstract—Change coupling is the implicit relationship between two or more software artifacts that have been observed to frequently change together during the evolution of a softw...
Marco D'Ambros, Michele Lanza, Romain Robbes
TCOM
2010
92views more  TCOM 2010»
15 years 21 days ago
UWB receiver designs based on a gaussian-laplacian noise-plus-MAI model
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
Norman C. Beaulieu, Somasundaram Niranjayan
PAMI
2012
13 years 8 months ago
LDAHash: Improved Matching with Smaller Descriptors
—SIFT-like local feature descriptors are ubiquitously employed in such computer vision applications as content-based retrieval, video analysis, copy detection, object recognition...
Christoph Strecha, Alexander A. Bronstein, Michael...