9842 search results - page 61 / 1969 » Compositional timing analysis |
HYBRID
2010
Springer
14 years 25 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
CCE
2004
13 years 7 months ago
2004
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
JMLR
2010
13 years 2 months ago
2010
Composite likelihood methods provide a wide spectrum of computationally efficient techniques for statistical tasks such as parameter estimation and model selection. In this paper,...
LICS
1990
IEEE
13 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...