1161 search results - page 7 / 233 » Resource Modeling for Timed Creol Models |
102
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...
130
click to vote
RTAS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
139
click to vote
SIGECOM
2011
ACM
14 years 2 months ago
2011
ACM
We present algorithms for a class of resource allocation problems both in the online setting with stochastic input and in the offline setting. This class of problems contains man...
ICECCS
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...