Sciweavers

1731 search results - page 260 / 347
» Maximum likelihood analysis of algorithms and data structure...
Sort
View
VMCAI
2007
Springer
14 years 2 months ago
DIVINE: DIscovering Variables IN Executables
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
Gogul Balakrishnan, Thomas W. Reps
DELTA
2004
IEEE
13 years 11 months ago
Static Scheduling of Monoprocessor Real-Time Systems composed of Hard and Soft Tasks
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
BMCBI
2008
92views more  BMCBI 2008»
13 years 8 months ago
OpenMS - An open-source software framework for mass spectrometry
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
Marc Sturm, Andreas Bertsch, Clemens Gröpl, A...
COMPGEOM
2004
ACM
14 years 1 months ago
Deformable spanners and applications
For a set S of points in Rd, an s-spanner is a graph on S such that any pair of points is connected via some path in the spanner whose total length is at most s times the Euclidea...
Jie Gao, Leonidas J. Guibas, An Nguyen
ICIP
1999
IEEE
14 years 6 days ago
Wavelet-Domain Regularized Deconvolution for ILL-Conditioned Systems
by 0. In the discrete Fourier transform (DFT) domain, We propose a hybrid approach to wavelet-based image deconvolution that comprises Fourier-domain system inversion followed by w...
Ramesh Neelamani, Hyeokho Choi, Richard G. Baraniu...