---
_id: '10610'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
- first_name: Reinhold
full_name: Weiss, Reinhold
last_name: Weiss
citation:
ama: Platzner M, Rinner B, Weiss R. Exploiting Parallelism in Constraint Satisfaction
for Qualitative Simulation. JUCS Journal of Universal Computer Science.
1995;12:811-820.
apa: Platzner, M., Rinner, B., & Weiss, R. (1995). Exploiting Parallelism in
Constraint Satisfaction for Qualitative Simulation. J.UCS Journal of Universal
Computer Science, 12, 811–820.
bibtex: '@article{Platzner_Rinner_Weiss_1995, title={Exploiting Parallelism in Constraint
Satisfaction for Qualitative Simulation}, volume={12}, journal={J.UCS Journal
of Universal Computer Science}, publisher={Springer}, author={Platzner, Marco
and Rinner, Bernhard and Weiss, Reinhold}, year={1995}, pages={811–820} }'
chicago: 'Platzner, Marco, Bernhard Rinner, and Reinhold Weiss. “Exploiting Parallelism
in Constraint Satisfaction for Qualitative Simulation.” J.UCS Journal of Universal
Computer Science 12 (1995): 811–20.'
ieee: M. Platzner, B. Rinner, and R. Weiss, “Exploiting Parallelism in Constraint
Satisfaction for Qualitative Simulation,” J.UCS Journal of Universal Computer
Science, vol. 12, pp. 811–820, 1995.
mla: Platzner, Marco, et al. “Exploiting Parallelism in Constraint Satisfaction
for Qualitative Simulation.” J.UCS Journal of Universal Computer Science,
vol. 12, Springer, 1995, pp. 811–20.
short: M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science
12 (1995) 811–820.
date_created: 2019-07-10T09:23:10Z
date_updated: 2022-01-06T06:50:47Z
department:
- _id: '78'
extern: '1'
intvolume: ' 12'
language:
- iso: eng
page: 811-820
publication: J.UCS Journal of Universal Computer Science
publisher: Springer
status: public
title: Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
type: journal_article
user_id: '398'
volume: 12
year: '1995'
...
---
_id: '15294'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed.
In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and
Soft Computing, Aachen, Germany. ; 1995:150-154.'
apa: Hüllermeier, E. (1995). Towards modelling of fuzzy functions. In H. J. Zimmermann
(Ed.), in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques
and Soft Computing, Aachen, Germany (pp. 150–154).
bibtex: '@inproceedings{Hüllermeier_1995, title={Towards modelling of fuzzy functions},
booktitle={in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques
and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann,
H.J.Editor}, year={1995}, pages={150–154} }'
chicago: Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” In In Proceedings
EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen,
Germany, edited by H.J. Zimmermann, 150–54, 1995.
ieee: E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings
EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen,
Germany, 1995, pp. 150–154.
mla: Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” In Proceedings
EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen,
Germany, edited by H.J. Zimmermann, 1995, pp. 150–54.
short: 'E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European
Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995,
pp. 150–154.'
date_created: 2019-12-11T15:17:11Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: H.J.
full_name: Zimmermann, H.J.
last_name: Zimmermann
language:
- iso: eng
page: 150-154
publication: in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques
and Soft Computing, Aachen, Germany
status: public
title: Towards modelling of fuzzy functions
type: conference
user_id: '49109'
year: '1995'
...
---
_id: '15295'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Rule-based modelling in fuzzy simulation. In: In Proceedings
ISFL-95 International Symposium on Logic, Zürich. ICSC Academic Press; 1995:B49-B56.'
apa: Hüllermeier, E. (1995). Rule-based modelling in fuzzy simulation. In in
Proceedings ISFL-95 International Symposium on Logic, Zürich (pp. B49–B56).
ICSC Academic Press.
bibtex: '@inproceedings{Hüllermeier_1995, title={Rule-based modelling in fuzzy simulation},
booktitle={in Proceedings ISFL-95 International Symposium on Logic, Zürich}, publisher={ICSC
Academic Press}, author={Hüllermeier, Eyke}, year={1995}, pages={B49–B56} }'
chicago: Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In In
Proceedings ISFL-95 International Symposium on Logic, Zürich, B49–56. ICSC
Academic Press, 1995.
ieee: E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings
ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
mla: Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In Proceedings
ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995,
pp. B49–56.
short: 'E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic,
Zürich, ICSC Academic Press, 1995, pp. B49–B56.'
date_created: 2019-12-11T15:19:57Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
page: B49-B56
publication: in Proceedings ISFL-95 International Symposium on Logic, Zürich
publisher: ICSC Academic Press
status: public
title: Rule-based modelling in fuzzy simulation
type: conference
user_id: '49109'
year: '1995'
...
---
_id: '15305'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach
Publishers; 1995:401-404.'
apa: Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In in
Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin (pp.
401–404). Gordon and Breach Publishers.
bibtex: '@inproceedings{Hüllermeier_1995, title={Fuzzy polynomial and spline interpolation},
booktitle={in Proceedings IMACS Symposium on Systems Analysis and Simulation,
Berlin}, publisher={Gordon and Breach Publishers}, author={Hüllermeier, Eyke},
year={1995}, pages={401–404} }'
chicago: Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In In
Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 401–4.
Gordon and Breach Publishers, 1995.
ieee: E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
mla: Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In Proceedings
IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach
Publishers, 1995, pp. 401–04.
short: 'E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and
Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.'
date_created: 2019-12-11T16:11:03Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
page: 401-404
publication: in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin
publisher: Gordon and Breach Publishers
status: public
title: Fuzzy polynomial and spline interpolation
type: conference
user_id: '49109'
year: '1995'
...
---
_id: '15272'
author:
- first_name: Gitta
full_name: Domik-Kienegger, Gitta
id: '90'
last_name: Domik-Kienegger
- first_name: GS
full_name: Owen, GS
last_name: Owen
citation:
ama: 'Domik-Kienegger G, Owen G. Education for Visualization-Activities of the ACM-SIGGRAPH
Education Committee. In: Proceedings of the Third Eurographics Workshop on
Graphics and Visualization. ; 1995.'
apa: Domik-Kienegger, G., & Owen, G. (1995). Education for Visualization-Activities
of the ACM-SIGGRAPH Education Committee. In Proceedings of the Third Eurographics
Workshop on Graphics and Visualization.
bibtex: '@inproceedings{Domik-Kienegger_Owen_1995, title={Education for Visualization-Activities
of the ACM-SIGGRAPH Education Committee}, booktitle={Proceedings of the Third
Eurographics Workshop on Graphics and Visualization}, author={Domik-Kienegger,
Gitta and Owen, GS}, year={1995} }'
chicago: Domik-Kienegger, Gitta, and GS Owen. “Education for Visualization-Activities
of the ACM-SIGGRAPH Education Committee.” In Proceedings of the Third Eurographics
Workshop on Graphics and Visualization, 1995.
ieee: G. Domik-Kienegger and G. Owen, “Education for Visualization-Activities of
the ACM-SIGGRAPH Education Committee,” in Proceedings of the Third Eurographics
Workshop on Graphics and Visualization, 1995.
mla: Domik-Kienegger, Gitta, and GS Owen. “Education for Visualization-Activities
of the ACM-SIGGRAPH Education Committee.” Proceedings of the Third Eurographics
Workshop on Graphics and Visualization, 1995.
short: 'G. Domik-Kienegger, G. Owen, in: Proceedings of the Third Eurographics Workshop
on Graphics and Visualization, 1995.'
date_created: 2019-12-11T08:00:30Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
language:
- iso: eng
publication: Proceedings of the Third Eurographics Workshop on Graphics and Visualization
status: public
title: Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee
type: conference
user_id: '14955'
year: '1995'
...
---
_id: '16236'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine
Kritische Bestandsaufnahme. Metropolis; 1995:413-454.'
apa: Hüllermeier, E. (1995). Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung. In J. Flemmig (Ed.), Moderne Makroökonomie-Eine
kritische Bestandsaufnahme (pp. 413–454). Metropolis.
bibtex: '@inbook{Hüllermeier_1995, title={Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung}, booktitle={Moderne Makroökonomie-Eine
kritische Bestandsaufnahme}, publisher={Metropolis}, author={Hüllermeier, Eyke},
editor={Flemmig, J.Editor}, year={1995}, pages={413–454} }'
chicago: Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:
Simulation Und Empirische Überprüfung.” In Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, edited by J. Flemmig, 413–54. Metropolis, 1995.
ieee: E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:
Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische
Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
mla: Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:
Simulation Und Empirische Überprüfung.” Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.
short: 'E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische
Bestandsaufnahme, Metropolis, 1995, pp. 413–454.'
date_created: 2020-03-03T17:20:32Z
date_updated: 2022-01-06T06:52:46Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
editor:
- first_name: J.
full_name: Flemmig, J.
last_name: Flemmig
language:
- iso: eng
page: 413-454
publication: Moderne Makroökonomie-Eine kritische Bestandsaufnahme
publisher: Metropolis
status: public
title: 'Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und
empirische Überprüfung'
type: book_chapter
user_id: '49109'
year: '1995'
...
---
_id: '13469'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
- first_name: 'Reinhold '
full_name: 'Weiss, Reinhold '
last_name: Weiss
citation:
ama: 'Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Qualitative
Simulation based on a Multi-DSP and FPGAs. In: Proceedings of the 3rd Euromicro
Workshop on Parallel and Distributed Processing . IEEE CS Press; 1995:311-318.'
apa: Platzner, M., Rinner, B., & Weiss, R. (1995). A Distributed Computer Architecture
for Qualitative Simulation based on a Multi-DSP and FPGAs. In Proceedings of
the 3rd Euromicro Workshop on Parallel and Distributed Processing (pp. 311–318).
IEEE CS Press.
bibtex: '@inproceedings{Platzner_Rinner_Weiss_1995, title={A Distributed Computer
Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs}, booktitle={Proceedings
of the 3rd Euromicro Workshop on Parallel and Distributed Processing }, publisher={IEEE
CS Press}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold },
year={1995}, pages={311–318} }'
chicago: Platzner, Marco, Bernhard Rinner, and Reinhold Weiss. “A Distributed Computer
Architecture for Qualitative Simulation Based on a Multi-DSP and FPGAs.” In Proceedings
of the 3rd Euromicro Workshop on Parallel and Distributed Processing , 311–18.
IEEE CS Press, 1995.
ieee: M. Platzner, B. Rinner, and R. Weiss, “A Distributed Computer Architecture
for Qualitative Simulation based on a Multi-DSP and FPGAs,” in Proceedings
of the 3rd Euromicro Workshop on Parallel and Distributed Processing , 1995,
pp. 311–318.
mla: Platzner, Marco, et al. “A Distributed Computer Architecture for Qualitative
Simulation Based on a Multi-DSP and FPGAs.” Proceedings of the 3rd Euromicro
Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp.
311–18.
short: 'M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the 3rd Euromicro Workshop
on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–318.'
date_created: 2019-09-30T10:56:45Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
page: 311-318
publication: 'Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed
Processing '
publisher: IEEE CS Press
status: public
title: A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP
and FPGAs
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13470'
author:
- first_name: Eugen
full_name: Brenner, Eugen
last_name: Brenner
- first_name: Robert
full_name: Ginthör-Kalcsics, Robert
last_name: Ginthör-Kalcsics
- first_name: Robert
full_name: Hranitzky, Robert
last_name: Hranitzky
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: 'Bernhard '
full_name: 'Rinner, Bernhard '
last_name: Rinner
- first_name: 'Christian '
full_name: 'Steger, Christian '
last_name: Steger
- first_name: Reinhold
full_name: Weiss, Reinhold
last_name: Weiss
citation:
ama: 'Brenner E, Ginthör-Kalcsics R, Hranitzky R, et al. High-Performance Simulators
Based on Multi-TMS320C40. In: Proceedings of the 5th Annual Texas Instruments
TMS320 Educators Conference. ; 1995.'
apa: Brenner, E., Ginthör-Kalcsics, R., Hranitzky, R., Platzner, M., Rinner, B.,
Steger, C., & Weiss, R. (1995). High-Performance Simulators Based on Multi-TMS320C40.
In Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference.
bibtex: '@inproceedings{Brenner_Ginthör-Kalcsics_Hranitzky_Platzner_Rinner_Steger_Weiss_1995,
title={High-Performance Simulators Based on Multi-TMS320C40}, booktitle={Proceedings
of the 5th Annual Texas Instruments TMS320 Educators Conference}, author={Brenner,
Eugen and Ginthör-Kalcsics, Robert and Hranitzky, Robert and Platzner, Marco and
Rinner, Bernhard and Steger, Christian and Weiss, Reinhold}, year={1995} }'
chicago: Brenner, Eugen, Robert Ginthör-Kalcsics, Robert Hranitzky, Marco Platzner,
Bernhard Rinner, Christian Steger, and Reinhold Weiss. “High-Performance Simulators
Based on Multi-TMS320C40.” In Proceedings of the 5th Annual Texas Instruments
TMS320 Educators Conference, 1995.
ieee: E. Brenner et al., “High-Performance Simulators Based on Multi-TMS320C40,”
in Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference,
1995.
mla: Brenner, Eugen, et al. “High-Performance Simulators Based on Multi-TMS320C40.”
Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference,
1995.
short: 'E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C.
Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators
Conference, 1995.'
conference:
name: Robert Ginthör-Kalcsics
date_created: 2019-09-30T11:02:15Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
language:
- iso: eng
publication: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference
status: public
title: High-Performance Simulators Based on Multi-TMS320C40
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13471'
author:
- first_name: Gerald
full_name: Friedl, Gerald
last_name: Friedl
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
citation:
ama: 'Friedl G, Platzner M, Rinner B. A Special-Purpose Coprocessor for Qualitative
Simulation. In: Proceedings of the EURO-PAR’95 International Conference on
Parallel Processing. Springer International Publishing; 1995:695-698.'
apa: Friedl, G., Platzner, M., & Rinner, B. (1995). A Special-Purpose Coprocessor
for Qualitative Simulation. In Proceedings of the EURO-PAR’95 International
Conference on Parallel Processing (pp. 695–698). Springer International Publishing.
bibtex: '@inproceedings{Friedl_Platzner_Rinner_1995, title={A Special-Purpose Coprocessor
for Qualitative Simulation}, booktitle={Proceedings of the EURO-PAR’95 International
Conference on Parallel Processing}, publisher={Springer International Publishing},
author={Friedl, Gerald and Platzner, Marco and Rinner, Bernhard}, year={1995},
pages={695–698} }'
chicago: Friedl, Gerald, Marco Platzner, and Bernhard Rinner. “A Special-Purpose
Coprocessor for Qualitative Simulation.” In Proceedings of the EURO-PAR’95
International Conference on Parallel Processing, 695–98. Springer International
Publishing, 1995.
ieee: G. Friedl, M. Platzner, and B. Rinner, “A Special-Purpose Coprocessor for
Qualitative Simulation,” in Proceedings of the EURO-PAR’95 International Conference
on Parallel Processing, 1995, pp. 695–698.
mla: Friedl, Gerald, et al. “A Special-Purpose Coprocessor for Qualitative Simulation.”
Proceedings of the EURO-PAR’95 International Conference on Parallel Processing,
Springer International Publishing, 1995, pp. 695–98.
short: 'G. Friedl, M. Platzner, B. Rinner, in: Proceedings of the EURO-PAR’95 International
Conference on Parallel Processing, Springer International Publishing, 1995, pp.
695–698.'
date_created: 2019-09-30T11:15:06Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
page: 695-698
publication: Proceedings of the EURO-PAR'95 International Conference on Parallel Processing
publisher: Springer International Publishing
status: public
title: A Special-Purpose Coprocessor for Qualitative Simulation
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13472'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
- first_name: 'Reinhold '
full_name: 'Weiss, Reinhold '
last_name: Weiss
citation:
ama: 'Platzner M, Rinner B, Weiss R. Parallel Qualitative Simulation. In: Proceedings
of the EUROSIM Congress. Elsevier; 1995:231-236.'
apa: Platzner, M., Rinner, B., & Weiss, R. (1995). Parallel Qualitative Simulation.
In Proceedings of the EUROSIM Congress (pp. 231–236). Elsevier.
bibtex: '@inproceedings{Platzner_Rinner_Weiss_1995, title={Parallel Qualitative
Simulation}, booktitle={Proceedings of the EUROSIM Congress}, publisher={Elsevier},
author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }, year={1995},
pages={231–236} }'
chicago: Platzner, Marco, Bernhard Rinner, and Reinhold Weiss. “Parallel Qualitative
Simulation.” In Proceedings of the EUROSIM Congress, 231–36. Elsevier,
1995.
ieee: M. Platzner, B. Rinner, and R. Weiss, “Parallel Qualitative Simulation,” in
Proceedings of the EUROSIM Congress, 1995, pp. 231–236.
mla: Platzner, Marco, et al. “Parallel Qualitative Simulation.” Proceedings of
the EUROSIM Congress, Elsevier, 1995, pp. 231–36.
short: 'M. Platzner, B. Rinner, R. Weiss, in: Proceedings of the EUROSIM Congress,
Elsevier, 1995, pp. 231–236.'
date_created: 2019-09-30T11:16:45Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
page: 231-236
publication: Proceedings of the EUROSIM Congress
publisher: Elsevier
status: public
title: Parallel Qualitative Simulation
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13473'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
citation:
ama: 'Platzner M, Rinner B. Improving Performance of the Qualitative Simulator QSIM
- Design and Implementation of a Specialized Computer Architecture. In: Proceedings
of the PDCS International Conference on Parallel and Distributed Computing Systems.
ISCA; 1995:494-501.'
apa: Platzner, M., & Rinner, B. (1995). Improving Performance of the Qualitative
Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.
In Proceedings of the PDCS International Conference on Parallel and Distributed
Computing Systems (pp. 494–501). ISCA.
bibtex: '@inproceedings{Platzner_Rinner_1995, title={Improving Performance of the
Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer
Architecture}, booktitle={Proceedings of the PDCS International Conference on
Parallel and Distributed Computing Systems}, publisher={ISCA}, author={Platzner,
Marco and Rinner, Bernhard}, year={1995}, pages={494–501} }'
chicago: Platzner, Marco, and Bernhard Rinner. “Improving Performance of the Qualitative
Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.”
In Proceedings of the PDCS International Conference on Parallel and Distributed
Computing Systems, 494–501. ISCA, 1995.
ieee: M. Platzner and B. Rinner, “Improving Performance of the Qualitative Simulator
QSIM - Design and Implementation of a Specialized Computer Architecture,” in Proceedings
of the PDCS International Conference on Parallel and Distributed Computing Systems,
1995, pp. 494–501.
mla: Platzner, Marco, and Bernhard Rinner. “Improving Performance of the Qualitative
Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.”
Proceedings of the PDCS International Conference on Parallel and Distributed
Computing Systems, ISCA, 1995, pp. 494–501.
short: 'M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference
on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.'
date_created: 2019-09-30T11:19:05Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
page: 494-501
publication: Proceedings of the PDCS International Conference on Parallel and Distributed
Computing Systems
publisher: ISCA
status: public
title: Improving Performance of the Qualitative Simulator QSIM - Design and Implementation
of a Specialized Computer Architecture
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13474'
author:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Bernhard
full_name: Rinner, Bernhard
last_name: Rinner
citation:
ama: 'Platzner M, Rinner B. High-Performance Qualitative Simulation on a Multi-DSP
Architecture. In: Proceedings of the 6th International Conference on Signal
Processing Applications & Technology (ICSPAT). ; 1995.'
apa: Platzner, M., & Rinner, B. (1995). High-Performance Qualitative Simulation
on a Multi-DSP Architecture. In Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT).
bibtex: '@inproceedings{Platzner_Rinner_1995, title={High-Performance Qualitative
Simulation on a Multi-DSP Architecture}, booktitle={Proceedings of the 6th International
Conference on Signal Processing Applications & Technology (ICSPAT)}, author={Platzner,
Marco and Rinner, Bernhard}, year={1995} }'
chicago: Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation
on a Multi-DSP Architecture.” In Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT), 1995.
ieee: M. Platzner and B. Rinner, “High-Performance Qualitative Simulation on a Multi-DSP
Architecture,” in Proceedings of the 6th International Conference on Signal
Processing Applications & Technology (ICSPAT), 1995.
mla: Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation
on a Multi-DSP Architecture.” Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT), 1995.
short: 'M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT), 1995.'
date_created: 2019-09-30T11:21:14Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publication: Proceedings of the 6th International Conference on Signal Processing
Applications & Technology (ICSPAT)
status: public
title: High-Performance Qualitative Simulation on a Multi-DSP Architecture
type: conference
user_id: '398'
year: '1995'
...
---
_id: '13484'
author:
- first_name: Robert
full_name: Hranitzky, Robert
last_name: Hranitzky
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Hranitzky R, Platzner M. Design and Implementation of Adaptive Digital Filters
on a Multi-TMS320C40 System. In: Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT). ; 1995.'
apa: Hranitzky, R., & Platzner, M. (1995). Design and Implementation of Adaptive
Digital Filters on a Multi-TMS320C40 System. In Proceedings of the 6th International
Conference on Signal Processing Applications & Technology (ICSPAT).
bibtex: '@inproceedings{Hranitzky_Platzner_1995, title={Design and Implementation
of Adaptive Digital Filters on a Multi-TMS320C40 System}, booktitle={Proceedings
of the 6th International Conference on Signal Processing Applications & Technology
(ICSPAT)}, author={Hranitzky, Robert and Platzner, Marco}, year={1995} }'
chicago: Hranitzky, Robert, and Marco Platzner. “Design and Implementation of Adaptive
Digital Filters on a Multi-TMS320C40 System.” In Proceedings of the 6th International
Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
ieee: R. Hranitzky and M. Platzner, “Design and Implementation of Adaptive Digital
Filters on a Multi-TMS320C40 System,” in Proceedings of the 6th International
Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
mla: Hranitzky, Robert, and Marco Platzner. “Design and Implementation of Adaptive
Digital Filters on a Multi-TMS320C40 System.” Proceedings of the 6th International
Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
short: 'R. Hranitzky, M. Platzner, in: Proceedings of the 6th International Conference
on Signal Processing Applications & Technology (ICSPAT), 1995.'
date_created: 2019-09-30T12:12:00Z
date_updated: 2022-01-06T06:51:36Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publication: Proceedings of the 6th International Conference on Signal Processing
Applications & Technology (ICSPAT)
status: public
title: Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40
System
type: conference
user_id: '398'
year: '1995'
...
---
_id: '34448'
abstract:
- lang: eng
text: We present a rigorous but transparent semantic definition for VHDL corresponding
to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior
of signal and variable assignments as well as the behavior of the various wait
statements including delta, time, and postponed cycles. We consider explicitly
declared signals, ports, local variables, and shared variables. Our specification
defines an abstract VHDL ’ 93 interpreter in the form of transition rules for
an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports
the view of simulation given in the IEEE VHDL ’ 93 standard language reference
manual. The definition can be understood without any prior formal training. We
illustrate our definition by running the example VHDL program set out in the Introduction
to this volume.
author:
- first_name: Egon
full_name: Börger, Egon
last_name: Börger
- first_name: Uwe
full_name: Glässer, Uwe
last_name: Glässer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93
Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of
VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5'
apa: Börger, E., Glässer, U., & Müller, W. (1995). A Formal Definition of an
Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos & P. T. Breuer
(Eds.), Semantics of VHDL (pp. 107–139). Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2237-9_5
bibtex: '@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal
Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={10.1007/978-1-4615-2237-9_5},
booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger,
Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer,
Peter T.}, year={1995}, pages={107–139} }'
chicago: 'Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of
an Abstract VHDL’93 Simulator by EA-Machines.” In Semantics of VHDL, edited
by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers,
1995. https://doi.org/10.1007/978-1-4615-2237-9_5.'
ieee: 'E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract
VHDL’93 Simulator by EA-Machines,” in Semantics of VHDL, C. Delgado Kloos
and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.'
mla: Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator
by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter
T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
short: 'E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.),
Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.'
date_created: 2022-12-15T11:42:48Z
date_updated: 2022-12-15T11:43:14Z
department:
- _id: '672'
doi: 10.1007/978-1-4615-2237-9_5
editor:
- first_name: C.
full_name: Delgado Kloos, C.
last_name: Delgado Kloos
- first_name: Peter T.
full_name: Breuer, Peter T.
last_name: Breuer
keyword:
- Transition Rule Formal Verification Variable Assignment Kernel Process Simulation
Cycle
language:
- iso: eng
page: 107 - 139
place: Dordrecht
publication: Semantics of VHDL
publication_identifier:
isbn:
- 978-1-4615-2237-9
publisher: Kluwer Academic Publishers
status: public
title: A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
type: book_chapter
user_id: '5786'
year: '1995'
...
---
_id: '39532'
author:
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: N.
full_name: Wiechers, N.
last_name: Wiechers
citation:
ama: 'Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files.
In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.'
apa: Lehrenfeld, G., Müller, W., & Wiechers, N. (1995). Conformance Tests of
Very Large STEP Files. Proceedings of the 4th EXPRESS User’s Group.
bibtex: '@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South
Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings
of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang
and Wiechers, N.}, year={1995} }'
chicago: Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests
of Very Large STEP Files.” In Proceedings of the 4th EXPRESS User’s Group.
Greenville, South Carolina, 1995.
ieee: G. Lehrenfeld, W. Müller, and N. Wiechers, “Conformance Tests of Very Large
STEP Files,” 1995.
mla: Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” Proceedings
of the 4th EXPRESS User’s Group, 1995.
short: 'G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 4th EXPRESS
User’s Group, Greenville, South Carolina, 1995.'
date_created: 2023-01-24T12:02:10Z
date_updated: 2023-01-24T12:02:16Z
department:
- _id: '672'
language:
- iso: eng
place: Greenville, South Carolina
publication: Proceedings of the 4th EXPRESS User's Group
status: public
title: Conformance Tests of Very Large STEP Files
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39535'
author:
- first_name: R.
full_name: Zhao, R.
last_name: Zhao
- first_name: H. J.
full_name: Kaufmann, H. J.
last_name: Kaufmann
- first_name: T.
full_name: Kern, T.
last_name: Kern
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering
Environments. In: ; 1995.'
apa: Zhao, R., Kaufmann, H. J., Kern, T., & Müller, W. (1995). Pen-based
Interfaces for Engineering Environments. 6th Human-Computer Interaction International,
Tokyo, Japan.
bibtex: '@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces
for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern,
T. and Müller, Wolfgang}, year={1995} }'
chicago: Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces
for Engineering Environments,” 1995.
ieee: R. Zhao, H. J. Kaufmann, T. Kern, and W. Müller, “Pen-based Interfaces for
Engineering Environments,” presented at the 6th Human-Computer Interaction International,
Tokyo, Japan, 1995.
mla: Zhao, R., et al. Pen-Based Interfaces for Engineering Environments.
1995.
short: 'R. Zhao, H.J. Kaufmann, T. Kern, W. Müller, in: 1995.'
conference:
location: Tokyo, Japan
name: 6th Human-Computer Interaction International
date_created: 2023-01-24T12:04:02Z
date_updated: 2023-01-24T12:04:06Z
department:
- _id: '672'
language:
- iso: eng
status: public
title: Pen-based Interfaces for Engineering Environments
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39541'
abstract:
- lang: eng
text: We investigate a translation of SDL diagrams into the complete visual representation
of Pictorial Janus (PJ) programs in order to analyze the specification by visual
debugging and animation. We additionally introduce timing concepts to PJ (Timed
PJ) for a mapping of the SDL timing statements. The concepts transforming SDL
interaction and process diagrams into Timed PJ are outlined by an example sketching
the transformation of an Ethernet CSMA/CD protocol specification.
author:
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: C.
full_name: Tahedl, C.
last_name: Tahedl
citation:
ama: 'Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete
Visual Representation. In: Proceedings of Symposium on Visual Languages.
; 1995. doi:10.1109/VL.1995.520803'
apa: Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams
Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages.
https://doi.org/10.1109/VL.1995.520803
bibtex: '@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany
}, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings
of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang
and Tahedl, C.}, year={1995} }'
chicago: Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams
Into a Complete Visual Representation.” In Proceedings of Symposium on Visual
Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
ieee: 'G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into
a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.'
mla: Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual
Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
short: 'G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual
Languages, Darmstadt, Germany , 1995.'
date_created: 2023-01-24T12:07:26Z
date_updated: 2023-01-24T12:07:33Z
department:
- _id: '672'
doi: 10.1109/VL.1995.520803
keyword:
- Animation
- Timing
- Debugging
- Ethernet networks
- Multiaccess communication
- Protocols
- Computer languages
- Prototypes
- Environmental management
- Visualization
language:
- iso: eng
place: ' Darmstadt, Germany '
publication: Proceedings of Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-7045-2
status: public
title: Transforming SDL Diagrams Into a Complete Visual Representation
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39546'
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: N.
full_name: Wiechers, N.
last_name: Wiechers
citation:
ama: Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published
online 1995.
apa: Müller, W., Lehrenfeld, G., & Wiechers, N. (1995). Validation of EXPRESS
Models.
bibtex: '@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report
R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang
and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical
Report R117-003:1995} }'
chicago: Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS
Models.” CENELEC Technical Report R117-003:1995, 1995.
ieee: W. Müller, G. Lehrenfeld, and N. Wiechers, “Validation of EXPRESS Models.”
1995.
mla: Müller, Wolfgang, et al. Validation of EXPRESS Models. 1995.
short: W. Müller, G. Lehrenfeld, N. Wiechers, (1995).
date_created: 2023-01-24T12:10:32Z
date_updated: 2023-01-24T12:10:37Z
department:
- _id: '672'
language:
- iso: eng
series_title: CENELEC Technical Report R117-003:1995
status: public
title: Validation of EXPRESS Models
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39531'
abstract:
- lang: eng
text: Greenville, South Carolina
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: W.
full_name: Felser, W.
last_name: Felser
- first_name: F.
full_name: Buijs, F.
last_name: Buijs
citation:
ama: 'Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the
4th EXPRESS User’s Group. ; 1995.'
apa: Müller, W., Felser, W., & Buijs, F. (1995). Guide to EXPRESS-P. Proceedings
of the 4th EXPRESS User’s Group.
bibtex: '@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina},
title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group},
author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }'
chicago: Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In Proceedings
of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
ieee: W. Müller, W. Felser, and F. Buijs, “Guide to EXPRESS-P,” 1995.
mla: Müller, Wolfgang, et al. “Guide to EXPRESS-P.” Proceedings of the 4th EXPRESS
User’s Group, 1995.
short: 'W. Müller, W. Felser, F. Buijs, in: Proceedings of the 4th EXPRESS User’s
Group, Greenville, South Carolina, 1995.'
date_created: 2023-01-24T12:00:28Z
date_updated: 2023-01-24T12:00:34Z
department:
- _id: '672'
language:
- iso: eng
place: Greenville, South Carolina
publication: Proceedings of the 4th EXPRESS User's Group
status: public
title: Guide to EXPRESS-P
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39538'
abstract:
- lang: eng
text: This article discusses the application of Pictorial Janus (PJ) for the rapid
development and analysis of protocols by animation and complete visualization.
In order to make PJ applicable in the context of hardware description we first
extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating
VHDL models into this visual framework preserving the simulation semantics of
VHDL. We finally give the example of the specification and animation of a non
interlocked protocol.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: C.
full_name: Tahedl, C.
last_name: Tahedl
citation:
ama: 'Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations
of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair.
; 1995. doi:10.1109/ASPDAC.1995.486383'
apa: Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification
and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with
EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
bibtex: '@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete
Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383},
booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller,
Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }'
chicago: Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification
and Animations of Protocols.” In Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
with EDA Technofair. Chiba, Japan , 1995. https://doi.org/10.1109/ASPDAC.1995.486383.
ieee: 'W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and
Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.'
mla: Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”
Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
isbn:
- 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...