4520 search results - page 273 / 904 » Algebraic Techniques for Timed Systems |
221
click to vote
JMLR
2006
15 years 7 months ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...
215
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
205
click to vote
PDPTA
2000
15 years 8 months ago
2000
Developers of programs for distributed systems spend considerable time designing solutions to various complex decision-making problems. The work described in this paper applies th...
183
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
184
click to vote
ISORC
2005
IEEE
16 years 26 days ago
2005
IEEE
Service-orientation has been proposed as a way of facilitating the development and integration of increasingly complex and heterogeneous system components. However, there are many...