]
"Model-embedded On-line Problem Solving Environment for Chemical Engineering",
International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
"MULTIGRAPH: An Architecture for Model-Integrated Computing",
Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 KB)
"Portable Kernel for High-Level Synthesis of Complex DSP-Systems",
Proceedings of the the International Conference on Signal Processing Applications and Technology, Boston, MA, May, 1995.
Download: Bapty_T_5_0_1995_Portable_K.pdf (117.17 KB)
"A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming",
IEEE Computer, vol. 28, pp. 36--44, March, 1995.
"Online Diagnostics Makes Manufacturing More Robust",
Chemical Engineering Magazine, pp. 80--83, March, 1995.
"Partially Asynchronous Co-State Prediction Algorithms",
IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
"Interactive User's Interface for a Dynamic Compression System Simulation",
AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
"A DSP-Based Real-Time Image Processing System",
The 6th International Conference on Signal Processing Applications and Technology (ICSPAT95), Boston, MA, pp. 1042--1046, August, 1995.
Download: Moore_MS_8_0_1995_A_DSP_Base.pdf (131.96 KB)
"Model-Based Synthesis of a Real-Time Image Processing Systems",
The International Conference on Engineering of Complex Computer Systems (ICECCS), Ft. Lauderdale, FL, pp. 69, August, 1995.
Download: Moore_MS_8_0_1995_Model_Base.pdf (125.56 KB)
"Modeling Paradigm for Parallel Signal Processing",
The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
"A Model Based Data Validation System",
Master's Thesis: Vanderbilt University, 1995.
Download: Davis_J_0_0_1995_A_Model_Ba.pdf (532.1 KB)
"Parallel Systems with Flexible Topology",
PhD Dissertation: Vanderbilt University, 1995.
Download: Ledeczi_A_0_0_1995_Parallel_S.pdf (1.37 MB)
Model-Based Synthesis of Parallel Real-Time Systems,
: Vanderbilt University, 1995.
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"System Synthesis for Parallel Signal Processing",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
"Cut-Through Message Passing on the TI TMS320C40",
Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.
"Parallel Volume Rendering",
Proceedings of the ICSPAT, Dallas, TX, October, 1994.
"CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis",
International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"Model-based synthesis of complex embedded systems",
Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), Washington DC, July, 1994.
"High Performance Graphics for Parallel Systems",
Int. Conf. on Signal Processing Applications and Technology, Dallas, TX, pp. 733--738, January, 1994.
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
"Parallel Systems with Flexible Topology",
Scalable High Performance Computing Conference, Knoxville, TN, pp. 460--470, January, 1994.
"TICK: TI TMS320C40 Utility Program",
International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"Robust Diagnostics: Structural Redundancy Approach",
Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.
Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
"Sensor-Based Diagnosis of Dynamical Systems",
PhD Dissertation: Vanderbilt University, 1994.
Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Model-Based Automatic Program Synthesis,
: Vanderbilt University, 1994.
"Model-Based Software Synthesis for Large-Scale Systems",
Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
"Parallel Turbine Engine Instrumentation System",
Proceedings of the the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 423--433, October, 1993.
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
"Automatic Parallel Program Generation for Aerospace Testing",
9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
"Intelligent Patient Monitoring Systems",
Research Memorandum, Centre for Measurement {\&} Information in Medicine, MIM/RNP-ERC-RS/14, The City University, London, February, 1993.
"The Multigraph and Structural Adaptivity",
IEEE Transactions on Signal Processing, vol. 41, pp. 2695--2717, August, 1993.
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
""Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"",
Proc. of Computing in Aerospace 9, AIAA paper 93-4578, 1993.
Download: Karsai_G_0_0_1993_Model_base.pdf (141.99 KB)
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Model-Based Hardware Configuration Management",
Transputer Research and Applications, ISSN: 0925-4986, ISO Press, vol. 6, pp. 318--332, 1993.
"Parallel DSP System Integration",
Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
"Diagnosability of Dynamical Systems",
Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.
Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
"Model-Based Monitoring in Anaesthesia and Critical Care",
3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care, Salzurg, Germany, October, 1992.
"Model Based Intelligent Process Control for Cogenerator Plants",
Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.
Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling,
, Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
"Modeling Parallel Hardware Architectures",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
"ROBOSIM: An Intelligent Simulator for Robotic Systems",
Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, Baltimore, MD, pp. 119--125, December, 1992.
"ROBOSIM: An Intelligent Robotics Simulator",
UPCAEDM, Tennessee Technological University, Cookeville, TN, pp. 209--216, August, 1992.
"Neural Network Methods for the Modeling and Control of Welding Processes",
Journal of Intelligent Manufacturing, pp. 229--235, 1992.
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering