Department of Informatics and Mathematical Modeling
- 1986
- Published
Adaptive Minimum Energy Control of Large Diesel Engines. / Hendricks, Elbert; Holst, Jan; Poulsen, Niels Kjølstad; Joensen, Helgi.
In: IFAC Workshop on Adaptive Systems in Control and Signal Processing, Lund, Sweden. 1986. p. 231-236.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
LAN-DTH - A Hierarchical Local Area Network based on a High Speed Optic Token Ring. / Jensen, Mogens Nordberg; Sharp, Robin Ian; Skov, Morten; Sparsø, Jens.
In: Proc.of IFIP TC6/WG6.4 International In Depth Symposium on Local Communication Systems LAN and PBX. 1986. p. 339-351.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Digital Design Using Module Generators. / Madsen, Jan; Stassen, Flemming.
In: Proceedings of the 2nd NORSILC/NORCHIP Seminar. 1986.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Estimation af parameterværdier i Cox-fordelinger til trafikanalyse. / Nielsen, Bo Friis.
In: NTS-6. 1986. p. 1-12.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Abstract Interpretation of Denotational Definitions. / Nielson, Flemming.
In: Proc. STACS'86. Springer-Verlag, 1986. p. 1-20.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Code Generation from Two-Level Denotational Meta-Languages. / Nielson, Flemming; Nielson, Hanne Riis.
In: Programs as Data Objects. Springer-Verlag, 1986. p. 192-205.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract). / Nielson, Flemming.
In: Proc. ESOP'86. Springer-Verlag, 1986. p. 30-40.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Expected Forms of Data Flow Analysis. / Nielson, Flemming.
In: Programs as Data Objects. Springer-Verlag, 1986. p. 172-191.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Pragmatic Aspects of Two-Level Denotational Meta-Languages. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. ESOP'86. Springer-Verlag, 1986. p. 133-143.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986
- Published
Semantics Directed Compiling for Functional Languages. / Nielson, Hanne Riis; Nielson, Flemming.
In: Proc. ACM Conference on LISP and Functional Programming. 1986. p. 249-257.Publication: Research - peer-review › Article in proceedings – Annual report year: 1986