Sciweavers

966 search results - page 9 / 194
» Global Optimization of Compositional Systems
Sort
View
CCR
2004
147views more  CCR 2004»
14 years 9 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
ECRTS
2009
IEEE
14 years 7 months ago
Implementation of a Speedup-Optimal Global EDF Schedulability Test
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
Sanjoy K. Baruah, Vincenzo Bonifaci, Alberto March...
CVPR
2011
IEEE
14 years 6 months ago
Scenario-Based Video Event Recognition by Constraint Flow
We present a novel approach to representing and recognizing composite video events. A composite event is specified by a scenario, which is based on primitive events and their tem...
Suha Kwak, Bohyung Han, Joon Han
ASE
1999
126views more  ASE 1999»
14 years 9 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
ESCIENCE
2007
IEEE
15 years 1 months ago
Grid-Enabling an Efficient Algorithm for Demanding Global Optimization Problems in Genetic Analysis
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
Mahen Jayawardena, Sverker Holmgren