2116 search results - page 7 / 424 » Resource Analysis by Sup-interpretation |
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
105
click to vote
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Information management and content governance in large corporations is an ongoing challenge. As a case study, we present the adaptation of the elastic lists facet browser for brow...
ENTCS
2008
14 years 11 months ago
2008
The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Coalition formation is a key topic in multi–agent systems (mas). Coalitions enable agents to achieve goals that they may not have been able to achieve independently, and encoura...