1699 search results - page 31 / 340 » Multi-level Parallelization with Parallel Computational Serv... |
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
EDOC
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Due to future ubiquitous service environments, approaches for dynamic delivery of services face new challenges. Since the web 2.0 gave to customers the change to interac...
PDP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents QLSE (QoS-constrained List Scheduling hEuristics), a Quality of Service-based launch time scheduling algorithm for wide area Grids. QLSE considers applications...
PACT
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
APSCC
2008
IEEE
13 years 9 months ago
2008
IEEE
Service Level Agreements (SLAs) is currently one of the major research topics in Grid Computing. Among many system components for the supporting of SLA-aware Gridbased workflow, t...