Home

ISIS Publications

Export 451 results:
Sort by: [ Author (Desc)] 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 
D
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)
Davis, J., "Model Integrated Computing: A Framework for Creating Domain Specific Design Environments", The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), Orlando, FL, July, 2002.  Download: Davis_J_7_0_2002_Model_Inte.pdf (282.01 KB)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.  Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
Davis, J., and T. Bapty, "Interactive User's Interface for a Dynamic Compression System Simulation", AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
Davis, J., "Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems", PhD Dissertation: Vanderbilt University, May, 2000.  Download: Davis_J_0_0_2000_Integrated.pdf (2.16 MB)
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)
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)
Daigle, M., X. Koutsoukos, and G. Biswas, An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems, : Institute for Software Integrated Systems, January, 2008.  Download: Daigle_MJ_1_10_2008_An_Integra.pdf (660.84 KB)
Daigle, M., I. Roychoudhury, G. Biswas, and X. Koutsoukos, Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, : Institute for Software Integrated Systems, December, 2006.  Download: Daigle_MJ_12_18_2006_Efficient_.pdf (785.63 KB)
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)
Dai, L., Y. Xue, B. Chang, Y. Cao, and Y. Cui, Integrating Traffic Estimation and Routing Optimization for Multi-Radio Multi-Channel Wireless Mesh Networks, , 2008.
C
Chhokra, K., "Accuracy Enhancements for Robust TOA Estimation on Resource Constrained Mobile Platforms", Master's Thesis: Vanderbilt University, August, 2004.  Download: Chhokra_K_8_1_2004_Accuracy_E.pdf (2.78 MB)
Chhokra, K., T. Bapty, J. Scott, and M. Wilkes, Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms, : Institute for Software Integrated Systems, November, 2003.  Download: Chhokra_K_11_4_2003_Accuracy_E.pdf (256.81 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)
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, : Institute for Software Integrated Systems, October, 2005.  Download: Chen_K_10_28_2005_A_Semantic.pdf (748.84 KB)
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)
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.
B
van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.  Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
Bourne, J., and J. Sztipanovits, "Knowledge Representation Manipulation and Acquisition", 7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1165--1169, 1985.
Blokland, W., and J. Sztipanovits, "Knowledge-Based Approach to Reconfigurable Control Systems", American Control Conference, Atlanta, GA, pp. 1623--1628, 1988.
Blokland, W., Structurally Adaptive Systems, : Vanderbilt University, 1991.
Biswas, G., E. J. Manders, J. W. Ramirez, N. Mahadevan, and S. Abdelwahed, "Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System", Habitation - Intl. Journal for human support Research, vol. 10, pp. 21--38, 2004.  Download: Biswas__G_0_0_2004_Online_Mod.pdf (352.93 KB)
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)
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, "Geometrical Simulation-Based Controller for a Dual-Arm Robot Configuration", Southeastern Simulation Conference, Pensacola, FL, pp. 141--145, 1989.
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. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Execution Environment for Intelligent Real-Time Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
Biegl, C., Design and Implementation of an Execution Environment for Knowledge-Based Systems, : Vanderbilt University, 1988.
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.
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., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison, "Experiment Design Language for Intelligent MRI Systems", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
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.
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., Model-Based Synthesis of Parallel Real-Time Systems, : Vanderbilt University, 1995.
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., and B. Abbott, "Parallel Volume Rendering", Proceedings of the ICSPAT, Dallas, TX, October, 1994.
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 J. Sztipanovits, "Model-Based Engineering of Large-Scale Real-Time Systems", Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference, Monterey, CA, pp. 467--474, March, 1997.
Bapty, T., J. Gray, and S. Neema, February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, , San Diego, CA, Institute for Software Integrated Systems, February, 2001.  Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)