This paper describes an implementation of resumable and mobile processes for a new process-oriented language called ProcessJ. ProcessJ is based on CSP and the π-calculus; it is structurally very close to occam-π, but the syntax is much closer to the imperative part of Java (with new constructs added for process orientation). One of the targets of ProcessJ is Java bytecode to be executed on the ...

We consider a single machine scheduling problem in which the processing time of a job is a simple linear increasing function of its starting time and the machine is subject to an availability constraint. We consider the non-resumable case. The objectives are to minimize the makespan and the total completion time. We show that both problems are NP-hard and present pseudo-polynomial time optimal ...

This paper explores the problems of unrelated parallel-machine scheduling with aging effects and deteriorating maintenance activities. The jobs are non-resumable. Each machine has at most one maintenance activity which is allowed throughout the planning horizon. Assume that once the maintenance activity is completed, the functions of machine and the properties of jobs e.g. the temperature (hard...

Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a programming language which includes these features, as well as higher-order references. They are obtained by contrasting methodologies: by annotating sequences o...

One of the most important assumptions in production scheduling is that the machines are permanently available without any breakdown. In the real world of scheduling, machines can be made unavailable due to various reasons such as preventive maintenance and unpredicted breakdown. In this paper, we explore flowshop configuration under the assumption of condition-based maintenance to minimize expe...

We investigate the problem of minimizing the weighted number of tardy jobs on a single machine subject to availability constraints. We consider the case of semi-resumable jobs (1, hk|ri, sr − a| ∑ wiUi). We show that the problem is equivalent to a similar problem without availability constraints, but where the processing times of jobs are a stepwise function of their starting time. We design a ...

In this work, the online printing shop scheduling problem introduced in (Lunardi et al., Mixed Integer Linear Programming and Constraint Models for Online Printing Shop Scheduling Problem, Computers & Operations Research, to appear) is considered. This challenging real problem, that emerged nowadays industry, corresponds a flexible job with sequencing flexibility; it presents several complicati...

We consider the problem of scheduling jobs on a single machine subject to an uncertain breakdown minimize flowtime. Assuming is unavailable during breakdown, starting time random variable s with distribution function D(s) and terminating has no any other information; are non-resumable. Under these assumptions from perspective statistical optimization, we first establish HSONRP, which contains d...

A multifunctional fluorescent probe BHN-Fe3O4@SiO2 nanostructure for Fe3+ was designed and developed. It has a good selective response to Fe3+ with fluorescence quenching and can be recycled using an external magnetic field. With adding EDTA (2.5 × 10-5 M) to the consequent product Fe3+-BHN-Fe3O4@SiO2, Fe3+ can be removed from the complex, and its fluorescence probing ability recovers, which me...