• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A Language for Multiple Models of Computation

Dag Björklund, Johan Lilius, A Language for Multiple Models of Computation. In: International Symposium on Hardware/Software Codesign, 25-30, ACM Press, 2002.

Abstract:

We introduce a new kernel language for modeling hardware/software
systems, adopting multiple heterogenous models of computation.
The language has formal operational semantics, and is well suited for
model checking, code synthesis etc. For different blocks
of code, different scheduling policies can be applied, to reflect the
different interpretations of e.g. parallelism in different models of
computation. The user can add his own scheduling policies, to use
or explore different models of computation.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{pBjLi02b,
  title = {A Language for Multiple Models of Computation},
  booktitle = {International Symposium on Hardware/Software Codesign},
  author = {Björklund, Dag and Lilius, Johan},
  publisher = {ACM Press},
  pages = {25-30},
  year = {2002},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Edit publication