1760 search results - page 85 / 352 » Program Analysis Using Weighted Pushdown Systems |
108
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
108
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
87
Voted
INFSOF
2002
15 years 6 days ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
106
click to vote
SIGARCH
2008
15 years 14 days ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
112
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...