Home

ISIS Publications

Export 194 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is A  [Clear All Filters]
1990
Abbott, B., C. Biegl, and J. Sztipanovits, "Multigraph for the Transputer", Transputer Research and Applications, pp. 211--222, 1990.
Abbott, B., and T. Bapty, "Real-Time Turbine Engine Data Visualization", Transputer Research Applications, DL Fielding, IOS Press, 1990.
Abbott, B., T. Bapty, and J. Sztipanovits, "Real-Time Turbine Engine Data Visualization", Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
Abbott, B., C. Biegl, and J. Sztipanovits, "Multigraph on the Transputer", NATUG, Santa Clara, CA, pp. 25--36, April, 1990.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder, "Graphical Programming for the Transputer", Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Misra, A., B. Abbott, and J. Sztipanovits, "Performance Optimization in Signal Processing Systems", 22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
Andersen, K., G. E. Cook, K. Ramaswamy, and G. Karsai, "Artificial Neural Networks Applied to Arc Welding Process Modeling and Control", IEEE - IAS Transactions, vol. 26, pp. 824--830, September, 1990.
1992
Karsai, G., K. Andersen, G. E. Cook, and R. J. Barnett, "Neural Network Methods for the Modeling and Control of Welding Processes", Journal of Intelligent Manufacturing, pp. 229--235, 1992.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "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.
Ledeczi, A., B. Abbott, C. Biegl, G. Karsai, and J. Sztipanovits, "Modeling Parallel Hardware Architectures", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
1993
Ledeczi, A., and B. Abbott, "Model-Based Hardware Configuration Management", Transputer Research and Applications, ISSN: 0925-4986, ISO Press, vol. 6, pp. 318--332, 1993.
Ledeczi, A., B. Abbott, C. Biegl, T. Bapty, G. Karsai, and J. Sztipanovits, "Parallel DSP System Integration", Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
Ledeczi, A., C. Biegl, B. Abbott, T. Bapty, and J. Sztipanovits, "Automatic Parallel Program Generation for Aerospace Testing", 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
Abbott, B., T. Bapty, C. Biegl, G. Karsai, and J. Sztipanovits, "Model-Based Approach for Software Synthesis", IEEE Software, vol. 10, pp. 42--52, May, 1993.
Bapty, T., B. Abbott, C. Biegl, A. Ledeczi, and J. Sztipanovits, "Parallel Turbine Engine Instrumentation System", Proceedings of the the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 423--433, October, 1993.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, and J. Sztipanovits, "Model-Based Software Synthesis for Large-Scale Systems", Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
1994
Abbott, B., Model-Based Automatic Program Synthesis, : Vanderbilt University, 1994.
Ledeczi, A., C. Biegl, and B. Abbott, "High Performance Graphics for Parallel Systems", Int. Conf. on Signal Processing Applications and Technology, Dallas, TX, pp. 733--738, January, 1994.
Ledeczi, A., and B. Abbott, "Parallel Systems with Flexible Topology", Scalable High Performance Computing Conference, Knoxville, TN, pp. 460--470, January, 1994.
Abbott, B., and A. Ledeczi, "TICK: TI TMS320C40 Utility Program", International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
Sztipanovits, J., B. Abbott, and T. Bapty, "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.
Tibbals, T., T. Bapty, and B. Abbott, "CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis", International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
Davis, J., and B. Abbott, "Cut-Through Message Passing on the TI TMS320C40", Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.
Bapty, T., and B. Abbott, "Parallel Volume Rendering", Proceedings of the ICSPAT, Dallas, TX, October, 1994.
1995
Abdelwahed, S., M. Hassan, and M. Sultan, "Partially Asynchronous Co-State Prediction Algorithms", IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
Bapty, T., and B. Abbott, "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)
1996
Bapty, T., A. Ledeczi, J. Davis, B. Abbott, L. Howard, and T. Tibbals, "Turbine Engine Diagnostics Using a Parallel Signal Processor", Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, 1996.
1997
Abdelwahed, S., M. Hassan, and M. Sultan, "Parallel Asynchronous Algorithms for Optimal Control of Large-scale Dynamic Systems", Optimal Control Applications and Methods, vol. 18, July, 1997.  Download: Abdelwahed_S_7_0_1997_Parallel_A.pdf (178.49 KB)
2000
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems", VLSI Design, vol. 10, pp. 281--306, 2000.
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, : Institute for Software Integrated Systems, 2000.  Download: Bapty_T_0_0_2000_Model_Inte.PDF (1.04 MB)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
Venkatachalam, S., G. Nordstrom, R. A. Peters, M. Wilkes, and A. Alford, "Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing", IEEE-SMC 2000, Nashville, TN, October, 2000.  Download: Venkatacha_S_10_0_2000_Modeling_o.doc (2.31 MB)
2001
Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al., "MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.  Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)
Atlas, L., G. Bloor, T. Brotherton, L. Howard, L. Jaw, G. Kacprzynski, G. Karsai, R. Mackey, J. Mesick, R. Reuter, et al., "An Evolvable Tri-Reasoner IVHM System", 2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.  Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
2002
Koutsoukos, X., and P. Antsaklis, "Design of Stabilizing Switching Control Laws for Discrete-and Comtinuous- Time Linear Systems Using Piecewise-Linear Lyapunov Functions", International Journal Control, vol. 75, pp. 932--945, 2002.  Download: Koutsoukos_X_0_0_2002_Design_of_.pdf (157.74 KB)
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software Enabled Control, (Book), 2002.  Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Online Safety Control of a Class of Hybrid Systems", IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.  Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
Abdelwahed, S., and W. M. Wonham, "Supervisory control of interacting discrete event systems", 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175--1180, December, 2002.  Download: Abdelwahed_S_12_0_2002_Supervisor.pdf (196.48 KB)
Agrawal, A., "Hardware Modeling and Simulation of Embedded Applications", Master's Thesis: Vanderbilt University, May, 2002.  Download: Agrawal_A_5_0_2002_Hardware_M.doc (1.76 MB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
2003
Karsai, G., and A. Agrawal, "Graph Transformations in OMG's Model-Driven Architecture", Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.  Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, 2003.  Download: Karsai_G_0_0_2003_On_the_Use.pdf (253.4 KB)
Koutsoukos, X., and P. Antsaklis, "Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions", Journal of Discrete Event Dynamic Systems: Theory and Applications, vol. 13, pp. 203--243, 2003.  Download: Koutsoukos_X_0_0_2003_Safety_and.pdf (699.61 KB)
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software-Enabled Control: IEEE Press, 2003.
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.  Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
Eames, B., T. Bapty, B. Abbott, S. Neema, and K. Chhokra, "Model Integrated Design Toolset for Polymorphous Computer-Based Systems", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), Huntsville, AL, pp. 72--79, April, 2003.  Download: Eames_BK_4_7_2003_Model_Inte.pdf (313.08 KB)
Agrawal, A., and A. Ledeczi, "Multigranular Simulation of Heterogeneous Embedded Systems", Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Huntsville, Alabama, pp. 3--10, April, 2003.  Download: Agrawal_A_4_7_2003_Multigranu.pdf (156.95 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems", IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.  Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)