Resource-adaptive model generation as a performance model

Kohlhase M, Koller A (2003)


Publication Status: Published

Publication Type: Journal article, Original article

Publication year: 2003

Journal

Publisher: OXFORD UNIV PRESS

Book Volume: 11

Pages Range: 435-456

Journal Issue: 4

Abstract

In this case study, the constants in the universe are given saliences, that are maintained across the model generation process. This additional data serves as one important source of information for model quality and resource cost estimation.

Authors with CRIS profile

How to cite

APA:

Kohlhase, M., & Koller, A. (2003). Resource-adaptive model generation as a performance model. Logic Journal of the Igpl, 11(4), 435-456.

MLA:

Kohlhase, Michael, and Alexander Koller. "Resource-adaptive model generation as a performance model." Logic Journal of the Igpl 11.4 (2003): 435-456.

BibTeX: Download