Sciweavers

1687 search results - page 54 / 338
» Which pointer analysis should I use
Sort
View
101
Voted
BMCBI
2010
103views more  BMCBI 2010»
15 years 2 months ago
Nonparametric methods for the analysis of single-color pathogen microarrays
Background: The analysis of oligonucleotide microarray data in pathogen surveillance and discovery is a challenging task. Target template concentration, nucleic acid integrity, an...
Omar J. Jabado, Sean Conlan, P. Lan Quan, Jeffrey ...
129
Voted
ICRA
2008
IEEE
157views Robotics» more  ICRA 2008»
15 years 9 months ago
Analysis and improvement of the consistency of extended Kalman filter based SLAM
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
Guoquan Huang, Anastasios I. Mourikis, Stergios I....
123
Voted
TON
2010
125views more  TON 2010»
14 years 9 months ago
Computational analysis and efficient algorithms for micro and macro OFDMA downlink scheduling
OFDMA is one of the most important modulation and access methods for the future mobile networks. Before transmitting a frame on the downlink, an OFDMA base station has to invoke an...
Reuven Cohen, Liran Katzir
ESOP
2003
Springer
15 years 7 months ago
Finite Differencing of Logical Formulas for Static Analysis
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
108
Voted
CHINAF
2006
110views more  CHINAF 2006»
15 years 2 months ago
Time-domain analysis methodology for large-scale RLC circuits and its applications
: With soaring work frequency and decreasing feature sizes, VLSI circuits with RLC parasitic components are more like analog circuits and should be carefully analyzed in physical d...
Zuying Luo, Yici Cai, Sheldon X.-D. Tan, Xianlong ...