3565 search results - page 8 / 713 » Modeling a system controller for timing analysis |
101
click to vote
CCGRID
2008
IEEE
15 years 6 months ago
2008
IEEE
—The research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and archives. In re...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
IKE
2004
15 years 1 months ago
2004
- Space weather refers to conditions on the sun and in the solar wind, magnetosphere, ionosphere, and thermosphere that can influence the performance and reliability of space-borne...
110
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
109
click to vote
HYBRID
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...