Archives for October 24, 2015

Real-time divisible load theory: A perspective

Real-time divisible load theory: A perspective

Suriayati Chuprat; Shaharuddin Salleh; Steve Goddard

(Profiled Authors: Suriayati Chuprat; Shaharuddin Salleh)

Proceedings of the International Conference on Parallel Processing Workshops. 2009:6-10:[5366903].


Current real-time application systems demand complex functionality and are increasingly coming to be implemented upon multiprocessor platforms, with complex synchronization, data-sharing and parallelism requirements. However, the formal models for representing real-time workloads have traditionally been designed in the context of uniprocessor environments; hence, they are often not able to accurately represent relevant features of multiprocessor realtime systems. Researchers have recently addressed this shortcoming by applying workload models from Divisible Load Theory (DLT) to real-time systems. The resulting theory, referred to as Real-time Divisible Load Theory (RT-DLT), holds great promise for modeling an emergent class of massively parallel real-time workloads. However, the theory needs strong formal foundations before it can be widely used for the design and analysis of real-time systems. In this paper, we briefly describe our current findings on RT-DLT and ongoing research efforts at extending this work to develop such formal foundations. © 2009 IEEE.

Revisit an RT-DLT paper

Scheduling divisible real-time loads on clusters with varying processor start times

Suriayati Chuprat; Sanjoy Baruah

(Profiled Author: Suriayati Chuprat)

Proceedings – 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008. 2008:15-24:[4617269].


Recent research in real-time divisible load theory (RT-DLT) has addressed the problem of distributing arbitrarily parallelizable real-time workloads among processors which become available at different instants in the future. Given a real-time job and the times as which the processors become available, we devise exact efficient algorithms to solve two important problems: (i) determine the smallest number of processors needed to complete this job by its deadline; and (ii) given a specific number of processors, determine the earliest completion time for the job on these processors. © 2008 IEEE.

Real-time divisible load theory: Incorporating computation costs

Real-time divisible load theory: Incorporating computation costs

Suriayati Chuprat; Sanjoy Baruah

(Profiled Author: Suriayati Chuprat)

Proceedings – 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011. 2011;1:33-37:[6029827].


We extend the current state of the art in real-time divisible load theory (RT-DLT), by considering the problems of scheduling a real-time divisible job on computing clusters in which different processing nodes have different computing capabilities, as well as different costs associated with executing on them. We seek to minimize the cost of executing a job while also meeting its deadline. © 2011 IEEE.





Newton-Ungku Omar Fund (NUOF) is a collaboration programme between the Government of the United Kingdom (UK) and Malaysia to develop collaboration on research and innovation. Jointly established to address socio-economic issues in Malaysia, NUOF is expected to deliver outcomes through the Science to Action (S2A) Initiative, an initiative undertaken by the Malaysian Government to enable sustainable growth beyond 2020.


Kindly be informed that a joint programme between the Academy of Sciences Malaysia (ASM) and the Royal Academy of Engineering (RAE) named as Newton Research Collaboration Programme is currently open for application as follows:

  1. a) Aims to support international exchanges between engineering researchers in the UK and Malaysia.
  2. b) Provides funding up to £24,000 for 12 months exchange programme in the area of engineering.


In relation to this, ASM wishes to invite relevant researchers to apply for the above mentioned programme. The application is open online at the RAE’s website: until 23 November 2015

Enclosed herewith is the guidance note of the programme for reference.


For any further enquiries, you may contact Ms Norazwa Musiran, Programme Manager (Science Excellence), ASM or Ms Liew Pei Shi, Programme Executive (Science Excellence), ASM (Tel: 03-6203 0633; Email: /


You may also contact UTM RMC Officer Mr Khairilanuar Mohd Hanim at Office:07-5537870 | Mobile: 0137028814 | Email: for any enquiries.

CFP: SynCoP 2016

Call for papers

SynCoP 2016
3rd International Workshop on the SYNthesis of COmplex Parameters

(ETAPS satellite event)

SynCoP aims at bringing together researchers working on verification and
parameter synthesis for systems with discrete or continuous parameters, in
which the parameters influence the behavior of the system in ways that are
complex and difficult to predict. Such problems may arise for real-time,
hybrid or probabilistic systems in a large variety of application domains. The
parameters can be continuous (e.g., timing, probabilities, costs) or discrete
(e.g., number of processes). The goal can be to identify suitable parameters
to achieve desired behavior, or to verify the behavior for a given range of
parameter values.

The workshop will take place on Sunday, April 3, 2016, in Eindhoven, The Netherlands, as a
satellite event of ETAPS.

The workshop may be able to (at least partially) support the travel and the
ETAPS workshop registration fees for one or two PhD or Master student(s).

Abstract:                      January 10, 2016 (AoE)
Full papers:                   January 17, 2016 (AoE)
Informal presentations:        February 15, 2016
Notification:                  February 22, 2016
Pre-Proceedings camera ready:  March, 7, 2016
Workshop:                      April 3, 2016
Camera ready:                  May 15, 2016


The scientific subject of the workshop covers (but is not limited to) the
following areas:
* parameter synthesis
* parametric model checking
* regular model checking
* robustness analysis
* parametric logics, decidability and complexity issues
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic (timed) automata, parametric
Markov Decision Processes, networks of identical processes
* interactions between discrete and continuous parameters
* tools and applications to major areas of computer science, biology and control


SynCoP seeks both regular papers and tool papers.

The content of papers should be original and not submitted elsewhere. All
papers will be assigned to at least three reviews.

The page limit is 12 pages in EPTCS LaTeX format
( for regular papers and 4 pages for tool papers.
All accepted papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS), an international refereed open access, using the Creative Commons CC-BY license. Hereby, the
authors retain their copyright. All accepted papers will be referenced using
a DOI in all major databases (such as DBLP).”

Accepted tool papers will be required to do a demo during the workshop.

Submission will be made in English in PDF format through Easychair:

* Gregory Batt, INRIA, France
* Giorgio Delzanno, Universita degli studi di Genova, Italy (tentative)

* Benoit Delahaye (Universite de Nantes, Nantes, France)
* Jiri Srba (Aalborg University, Aalborg, Denmark)


* Nikola Benes, Brno, Czech Republic
* Nathalie Bertrand, Rennes, France
* Goran Frehse, Grenoble, France
* Peter Habermehl, Paris, France
* Holger Hermanns, Saarland, Germany
* Joost-Pieter Katoen, Aachen, Germany
* Marta Kwiatkowska, Oxford, UK
* Radu Mardare, Aalborg, Denmark
* Wojciech Penczek, Warszawa, Poland
* Karin Quaas, Leipzig, Germany
* Olivier H. Roux, Nantes, France
* Ocan Sankur, France
* Tayssir Touili, Villetaneuse, France
* Lijun Zhang, China

* Parosh Abdulla, Uppsala, Sweden
* Étienne André, Villetaneuse, France
* Kim Larsen, Aalborg, Denmark
* Didier Lime, Nantes, France
* Wojciech Penczek, Warszawa, Poland
* Laure Petrucci, Villetaneuse, France

* Loig Jezequel (Universite de Nantes, Nantes, France)

SynCoP 2016 is partially supported by French project ANR PACS (Parametric analyses of concurrent systems).

Benoît Delahaye
Maître de Conférences
Responsable du M1 MIAGE
Université de Nantes/LINA
+33 (0)2 51 12 58 45