Sciweavers

5159 search results - page 658 / 1032
» Structural Testing of Executables
Sort
View
ISLPED
2006
ACM
140views Hardware» more  ISLPED 2006»
16 years 1 months ago
L-CBF: a low-power, fast counting bloom filter architecture
—An increasing number of architectural techniques rely on hardware counting bloom filters (CBFs) to improve upon the enegy, delay and complexity of various processor structures. ...
Elham Safi, Andreas Moshovos, Andreas G. Veneris
IWRIDL
2006
ACM
96views Education» more  IWRIDL 2006»
16 years 1 months ago
Advances in XML retrieval: the INEX initiative
We give a survey over the INEX initiative, which focuses on the evaluation of content -based access to XML documents. First, we describe the test setting and the various tracks of...
Norbert Fuhr, Mounia Lalmas
SAC
2006
ACM
16 years 1 months ago
Provably faithful evaluation of polynomials
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
Sylvie Boldo, César Muñoz
163
Voted
CSB
2005
IEEE
160views Bioinformatics» more  CSB 2005»
16 years 1 months ago
Predicting Continuous Epitopes in Proteins
The ability to predict antigenic sites on proteins is crucial for the production of synthetic peptide vaccines and synthetic peptide probes of antibody structure. Large number of ...
Reeti Tandon, Sudeshna Adak, Brion Sarachan, Willi...
HAPTICS
2005
IEEE
16 years 1 months ago
A Haptic Interaction Technique for Volume Images Based on Gradient Diffusion
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...
Erik Vidholm, Ingela Nyström