Sciweavers

22358 search results - page 4233 / 4472
» Software Performance Engineering
Sort
View
128
Voted
CLEF
2006
Springer
15 years 7 months ago
The Bilingual System MUSCLEF at QA@CLEF 2006
This paper presents our bilingual question-answering system MUSCLEF. We underline the difficulties encountered when shifting from a mono to a cross-lingual system, then we focus o...
Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba,...
143
Voted
ESA
2006
Springer
147views Algorithms» more  ESA 2006»
15 years 7 months ago
Univariate Polynomial Real Root Isolation: Continued Fractions Revisited
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
Elias P. Tsigaridas, Ioannis Z. Emiris
106
Voted
FMCAD
2006
Springer
15 years 7 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
170
Voted
GCCB
2006
15 years 7 months ago
Accelerated microRNA-Precursor Detection Using the Smith-Waterman Algorithm on FPGAs
During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking di...
Patrick May, Gunnar W. Klau, Markus Bauer, Thomas ...
115
Voted
ASPDAC
2001
ACM
120views Hardware» more  ASPDAC 2001»
15 years 7 months ago
Virtual Java/FPGA interface for networked reconfiguration
Abstract- Avirtual interfacebetweenJava andFPGA for networked reconfigurationis presented. ThroughtheJavaflFPGAinterface,Java applicationscan exploithardwareaccelerators with FPGAs...
Yajun Ha, Geert Vanmeerbeeck, Patrick Schaumont, S...
« Prev « First page 4233 / 4472 Last » Next »