Sciweavers

206 search results - page 23 / 42
» Predicting Effectiveness of Automatic Testing Tools
Sort
View
CONCURRENCY
2007
100views more  CONCURRENCY 2007»
15 years 2 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen
133
Voted
BIOINFORMATICS
2011
14 years 6 months ago
A method for probing the mutational landscape of amyloid structure
Motivation: Proteins of all kinds can self-assemble into highly ordered β-sheet aggregates known as amyloid fibrils, important both biologically and clinically. However, the spe...
Charles W. O'Donnell, Jérôme Waldisp&...
SC
2005
ACM
15 years 8 months ago
The MHETA Execution Model for Heterogeneous Clusters
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...
Mario Nakazawa, David K. Lowenthal, Wenduo Zhou
110
Voted
ICIP
1999
IEEE
16 years 4 months ago
On Zerotree Quantization for Embedded Wavelet Packet Image Coding
Wavelet packets are an effective representation tool for adaptive waveform analysis of a given signal. We first combine the wavelet packet representation with zerotree quantizatio...
François G. Meyer, Nasir Rajpoot, Roland G....
166
Voted
ECLIPSE
2007
ACM
15 years 6 months ago
Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe