Robust scalability analysis and SPM case studies
End-to-end deadline control for aperiodic tasks in distributed real-time systems
Modeling and simulation of parallel adaptive divide-and-conquer algorithms
A multiprocessor based heuristic for multi-dimensional multiple-choice knapsack problem
A metric space for computer programs and the principle of computational least action