Sciweavers

7520 search results - page 400 / 1504
» Applications Development for the Computational Grid
Sort
View
ERSHOV
2009
Springer
15 years 4 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
CCGRID
2006
IEEE
16 years 24 days ago
Interactive Grid-based Free-Form Shape Modeling
— Geometric shape modeling becomes increasingly complex and resource-demanding task. In this paper we propose a method to leverage the power of Grid to provide users with high-pr...
Anthony S. K. Chong, Konstantin Levinski, Alexei S...
CCGRID
2005
IEEE
16 years 10 days ago
A distributed load-based failure recovery mechanism for advance reservation environments
— Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits support advance reservati...
Lars-Olof Burchard, Barry Linnert, Joerg Schneider
CCGRID
2005
IEEE
16 years 10 days ago
User group-based workload analysis and modelling
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
Baiyi Song, Carsten Ernemann, Ramin Yahyapour
ICSR
2004
Springer
16 years 2 days ago
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Arvind S. Krishna, Douglas C. Schmidt, Atif M. Mem...