ISIS Publications

Export 451 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Taxonomy Term is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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.
Bapty, T., "Design Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the High Performance Embedded Computing '99, MIT Lincoln Laboratory, MA, September, 1999.  Download: Bapty_T_9_0_1999_Design_Env.pdf (7.37 KB)
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.
Bapty, T., J. Scott, S. Neema, and J. Sztipanovits, "Uniform Execution Environment for Dynamic Reconfiguration", Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.  Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
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)
Bapty, T., S. Neema, S. Nordstrom, S. Shetty, D. Vashishtha, J. Overdorf, and P. Sheldon, "Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems", 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Huntsville, Alabama, pp. 11--16, April, 2003.
Bapty, T., J. Gray, and S. Neema, Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, , Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.  Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 KB)
Bapty, T., and B. Abbott, "Parallel Volume Rendering", Proceedings of the ICSPAT, Dallas, TX, October, 1994.
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "Simulation-Based Intelligent Robotic Agent for Space Station Freedom", 5th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 203--210, 1990.
Biegl, C., J. Sztipanovits, and C. Harrison, "Concepteur Cognitif D'Experimentation Pour L'Instrumentation", Innovation et Technologie en Biologie et Medicine, vol. 10, pp. 203--210, 1989.
Biegl, C., D. Malloy, and M. Chappell, "Automated, Real-Time Validation of Turbine Engine Test Data Using Explicit Parallelization on an Eight-Processor Pentium Platform", 13th ISABE International Symposium on Airbreathing Engines, paper# ISABE 97-7144, Chattanooga, TN, September, 1997.  Download: Biegl_C_9_0_1997_Automated_.pdf (178.81 KB)
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "ROBOSIM: An Intelligent Robotics Simulator", UPCAEDM, Tennessee Technological University, Cookeville, TN, pp. 209--216, August, 1992.
Biegl, C., G. E. Cook, K. Fernandez, and M. Smith, "Adaptive Control of a Dual-Arm Robot Manipulator Using On-Line Graphical Simulation", 4th Annual Workshop on Robotics and Expert Systems, Palo Alto, CA, pp. 253--263, 1989.
Biswas, G., M. - O. Cordier, J. Lunze, L. Trave-Massuyes, and M. Staroswiecki, "Diagnosis of Complex Systems: Bridging the Gap between the FDI and DX communities", IEEE Trans. on Systems, Man, and Cybernetics, Part B, vol. 34, pp. 2139--2142, October, 2004.  Download: Biswas__G_10_0_2004_Diagnosis_.pdf (627.75 KB)
Biswas, G., P. Bonasso, and S. Abdelwahed, "Requirements for an Autonomous Control Architecture for Advanced Life Support System", 35th SAE International Conference on Environmental Systems (ICES'05), Rome , Italy, July, 2005.
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders, "Toward Distributed Diagnosis of Complex Physical Systems", The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.  Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 KB)
Biswas, G., D. Schwartz, K. Leelawong, and N. Vye, "Learning by Teaching: A New Agent Paradigm for Educational Software", Applied Artificial Intelligence, vol. 19, pp. 363--392, March, 2005.  Download: Biswas__G_3_0_2005_Learning_b.pdf (1.94 MB)
Blokland, W., and J. Sztipanovits, "Knowledge-Based Approach to Reconfigurable Control Systems", American Control Conference, Atlanta, GA, pp. 1623--1628, 1988.
Bourne, J., and J. Sztipanovits, "Knowledge Representation Manipulation and Acquisition", 7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1165--1169, 1985.
C
Carnes, R., J. Davis, C. Biegl, and G. Karsai, "Integrated Modeling for Planning, Simulation and Diagnosis", IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
Carnes, R., and A. Misra, "Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)", International Conference and Workshop on Engineering of Computer Based Systems, Friedrichshafen, Germany, March, 1996.
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Chen, K., J. Sztipanovits, S. Abdelwahed, and E. Jackson, "Semantic Anchoring with Model Transformations", European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.  Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
Chen, K., J. Sztipanovits, and S. Abdelwahed, "A Semantic Unit for Timed Automata Based Modeling Languages", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.  Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed, "Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages", Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.  Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Chhokra, K., T. Bapty, and J. Scott, "WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms", Engineering of Computer Based Systems, Brno, Czech Republic, pp. 121--127, May, 2004.  Download: Chhokra_K_5_0_2004_WASP__A_Ra.pdf (408.31 KB)
Chhokra, K., "Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms", International Symposium on Advanced Radio Technologies, March 2-4, 2004, Boulder, CO, pp. 1--6, March, 2004.  Download: Chhokra_K_3_1_2004_Accuracy_E.pdf (260.38 KB)
D
Dai, L., Y. Cui, and Y. Xue, On Scalability of Proximity-Aware Peer-to-Peer Streaming, : Institute for Software Integrated Systems, January, 2007.  Download: Dai_L_1_0_2007_On_Scalabi.pdf (375.82 KB)
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
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.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Davis, J., "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)