Sciweavers

2025 search results - page 115 / 405
» Minimal-Cut Model Composition
Sort
View
IPPS
2002
IEEE
15 years 2 months ago
Distributed Dynamic Scheduling of Composite Tasks on Grid Computing Systems
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
Hongtu Chen, Muthucumaru Maheswaran
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 1 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave
ICCAD
2003
IEEE
148views Hardware» more  ICCAD 2003»
15 years 6 months ago
The Compositional Far Side of Image Computation
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
Chao Wang, Gary D. Hachtel, Fabio Somenzi
ICWS
2007
IEEE
14 years 11 months ago
Model-driven Composition of Context-aware Web Services Using ContextUML and Aspects
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
George N. Prezerakos, Nikolaos D. Tselikas, Giovan...
ICASSP
2011
IEEE
14 years 1 months ago
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...
Amit Das, John H. L. Hansen