An Algebra of Pareto Points

Authors:
Marc Geilen;Twan Basten;Bart Theelen;Ralph Otten
Affiliations:
Eindhoven University of Technology;Eindhoven University of Technology;Eindhoven University of Technology;Eindhoven University of Technology
Venue:
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Year:
2005

Citing 0
Cited 8

A calculator for Pareto points

Proceedings of the conference on Design, automation and test in Europe
An Algebra of Pareto Points

Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Virtual wealth protection through virtual money exchange

Electronic Commerce Research and Applications
A low-overhead heuristic for mixed workload resource partitioning in cluster-based architectures

ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
An Algebra of Pareto Points

Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Accelerating throughput-aware runtime mapping for heterogeneous MPSoCs

ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on adaptive power management for energy and temperature-aware computing systems
Systematic Design Principles for Cost-Effective Hard Constraint Management in Dynamic Nonlinear Systems

International Journal of Adaptive, Resilient and Autonomic Systems
A fast and scalable multidimensional multiple-choice knapsack heuristic

ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special Section on Networks on Chip: Architecture, Tools, and Methodologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with ...