Sciweavers

1901 search results - page 317 / 381
» Models and Scheduling Mechanisms for Global Computing Applic...
Sort
View
IPPS
2006
IEEE
15 years 7 months ago
Analysis of checksum-based execution schemes for pipelined processors
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
Bernhard Fechner
ISORC
2005
IEEE
15 years 7 months ago
A GTRBAC Based System for Dynamic Workflow Composition and Management
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
99
Voted
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 1 months ago
Efficient Approximation of Optimal Control for Markov Games
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
Markus Rabe, Sven Schewe, Lijun Zhang
MIDDLEWARE
2007
Springer
15 years 7 months ago
Removing the need for state dissemination in grid resource brokering
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
Peer Hasselmeyer
IPMI
2005
Springer
16 years 2 months ago
The Role of Non-Overlap in Image Registration
Here we model the effect of non-overlapping voxels on image registration, and show that a major defect of overlap-only models--their limited capture range--can be alleviated. Theor...
Jonas August, Takeo Kanade