Sciweavers

4460 search results - page 110 / 892
» Resources in process algebra
Sort
View
CODES
1996
IEEE
15 years 10 months ago
Two-level Partitioning of Image Processing Algorithms for the Parallel Map-oriented Machine
The partitioning of image processing algorithms with a novel hardware/software co-designframework (CoDe-X) is presented in this paper, where a new Xputer-architecture (parallel Ma...
Reiner W. Hartenstein, Jürgen Becker, Rainer ...
ENTCS
2007
128views more  ENTCS 2007»
15 years 6 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
ICEIS
2003
IEEE
15 years 11 months ago
Live-Representation Process Management
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
Daniel D. Corkill, Zachary B. Rubinstein, Susan E....
IHI
2010
169views Healthcare» more  IHI 2010»
15 years 1 months ago
Dynamic scheduling of emergency department resources
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
Junchao Xiao, Leon J. Osterweil, Qing Wang
AMC
2005
87views more  AMC 2005»
15 years 6 months ago
The distribution models of grazing animals between two grassland resource points
In this paper, by using theories of stochastic process and differential equation, the authors systematically studied the distribution of grazing animals between two resource point...
Weiming Wang, Zhenqing Li