360 search results - page 21 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
108
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
111
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
115
Voted
ICA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, a new algorithm for source recovery in underdetermined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented i...
134
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
111
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...