Sciweavers

381 search results - page 10 / 77
» Fraction-Free RNS Algorithms for Solving Linear Systems
Sort
View
SAS
2010
Springer
143views Formal Methods» more  SAS 2010»
13 years 6 months ago
Points-to Analysis as a System of Linear Equations
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
Rupesh Nasre, Ramaswamy Govindarajan
ICASSP
2011
IEEE
12 years 11 months ago
Estimation and dynamic updating of time-varying signals with sparse variations
This paper presents an algorithm for an 1-regularized Kalman filter. Given observations of a discrete-time linear dynamical system with sparse errors in the state evolution, we e...
Muhammad Salman Asif, Adam Charles, Justin K. Romb...
TCC
2007
Springer
170views Cryptology» more  TCC 2007»
14 years 1 months ago
Secure Linear Algebra Using Linearly Recurrent Sequences
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...
Eike Kiltz, Payman Mohassel, Enav Weinreb, Matthew...
CDC
2010
IEEE
101views Control Systems» more  CDC 2010»
13 years 2 months ago
Identification of mixed linear/nonlinear state-space models
The primary contribution of this paper is an algorithm capable of identifying parameters in certain mixed linear/nonlinear state-space models, containing conditionally linear Gauss...
Fredrik Lindsten, Thomas B. Schön
CDC
2008
IEEE
148views Control Systems» more  CDC 2008»
14 years 2 months ago
Robust stabilization for arbitrarily switched linear systems with time-varying delays and uncertainties
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
Lixian Zhang, Peng Shi, Michael V. Basin