4. CAST 1994:
Ottawa,
Canada
Tuncer I. Ören, George J. Klir (Eds.):
Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers.
Lecture Notes in Computer Science 1105 Springer 1996, ISBN 3-540-61478-8 BibTeX
@proceedings{DBLP:conf/eurocast/1994,
editor = {Tuncer I. {\"O}ren and
George J. Klir},
title = {Computer Aided System Theory - CASR '94, 4th International Workshop,
Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers},
booktitle = {CAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1105},
year = {1996},
isbn = {3-540-61478-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Foundations of CAST:
Theory and Methodology
CAST Methods
- Tuncer I. Ören, Nasser Ghasem-Aghaee:
Multiparadigm (Knowledge-Based and Numerical) Continuous Simulation Environments: Architectural Issues.
151-160 BibTeX
- Markus Voss, Gerhard Schweizer:
A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support.
161-175 BibTeX
- Christoph Schaffer:
An Approach to the Design of Complex, Heterogeneous Hardware/Software Systems.
176-190 BibTeX
- Jean-Pierre Corriveau, Craig Hayashi:
A Strategy for Realizing Traceability in an Object-Oriented Design Environment.
191-204 BibTeX
- Olga Bolívar Toledo, Juan Carlos Quevedo-Losada, Roberto Moreno-Díaz Jr., Santiago Candela Solá:
Towards a CAST Method for a Systematic Generation of Non-Orthogonal Complete Transformations.
205-213 BibTeX
- Matilde Santos, S. Dormido, A. P. de Madrid, F. Morilla, Jesús Manuel de la Cruz:
Tuning Fuzzy Logic Controllers by Classical Techniques.
214-224 BibTeX
- Hasan Ural, Huaqing Zeng:
Computer Aided Design of Protocol Converters.
225-238 BibTeX
CAST Tools and Environments
- Ernst Schmitter:
Modelling, Analysis and Evaluation of Systems Architectures.
241-251 BibTeX
- Roman Blasco:
Systematic Strategy for Performance Prediction in Improvement of Parallel Programs.
252-267 BibTeX
- Francisco Bustio, Pedro Corcuera, Eduardo Mora:
Design and Implementation of Multimedia Environment for Simulation.
268-277 BibTeX
- Daniel M. Dubois, Germano Resconi, Alessandro Raymondi:
TurboBrain: A Neural Network with Direct Learning Based on Linear or Non-Linear Threshold Logics.
278-294 BibTeX
- Richard J. Duro, José Santos Reyes, A. Sarmiento:
GENIAL: An Evolutionary Recurrent Neural Network Designer and Trainer.
295-301 BibTeX
- Oryal Tanir, Vinod K. Agarwal, P. C. P. Bhatt:
DASE: An Environment for System Level Telecommunication Design Exploration and Modelling.
302-318 BibTeX
- Gabriele Oberlik, Stefan Preishuber, A. Min Tjoa, Roland Wagner, Klaus Wolfmayr:
VOMDraw - A Tool for Visual Object Modeling.
319-333 BibTeX
- Franco Arcieri, Michelangelo Fossa, Enrico Nardelli:
A Computer Aided System for Developing Graphical Telematic Applications.
334-348 BibTeX
- Clenio F. Salviano, Mario A. Nascimento, Murat M. Tanik:
A Simple Approach to Improve the Abstraction Level of Object Representation.
349-362 BibTeX
- T. Müller-Wipperfürth:
On the Integration of CAST.FSM into the VLSI Design Process.
363-372 BibTeX
- Mario A. Nascimento, Clenio F. Salviano, Murat M. Tanik:
Using Logic Programming to Test Module Specifications in Early Stages of Software Development.
373-387 BibTeX
- Yasuhiko Takahara, Naoki Shiba:
Systems Theory and Systems Implementation: Case of DSS.
388-408 BibTeX
- Gerard K. Yeh, James B. Burr, Kallol Kumar Bagchi, Allen M. Peterson:
CASCADE: A Computer-Aided Tool for Low-Energy High-Performance Multi-DSP VLSI System Design.
409-422 BibTeX
- Jean-Michel Thizy:
Illustrating Constraint Programming Systems in Logistic Planning.
423-437 BibTeX
Copyright © Sat May 16 23:11:06 2009
by Michael Ley (ley@uni-trier.de)
