1243 search results - page 135 / 249 » FPZL Schedulability Analysis |
113
Voted
WCET
2010
14 years 10 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
153
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
111
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...
103
Voted
MICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
Clustered machines partition hardware resources to circumvent the cycle time penalties incurred by large, monolithic structures. This partitioning introduces a long inter-cluster ...
119
click to vote
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...