Home

ISIS Publications

Export 452 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Taxonomy Term is   [Clear All Filters]
Thesis
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)
Dora, S., "AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS", Master's Thesis: Vanderbilt University, April, 2004.  Download: Dora_S_5_1_2004_AUTOMATED_.doc (4.16 MB)
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
Narayanan, A., "Declarative Techniques for Unparsing Complex Data Structures", Master's Thesis: Vanderbilt University, April, 2004.  Download: Narayanan_A_4_1_2004_Declarativ.pdf (238.33 KB)
Biegl, C., Design and Implementation of an Execution Environment for Knowledge-Based Systems, : Vanderbilt University, 1988.
Scott, J., "Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods", PhD Dissertation: Vanderbilt University, May, 2003.  Download: Scott_JM_5_21_2004_Efficient_.pdf (2.37 MB)
Pasternak, T., Extended Relational Models for Diagnosis, : Vanderbilt University, August, 2000.
Agrawal, A., "A Formal Graph-Transformation Based Language for Model-to-Model Transformations", PhD Dissertation: Vanderbilt University, August, 2004.  Download: Agrawal_A_8_0_2004_A_Formal_G.pdf (3.32 MB)
Pathak, S., Framework Independent Agent Modeling Environment, : Vanderbilt University, May, 2001.
Emerson, M., "GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME", Master's Thesis: Vanderbilt University, May, 2005.  Download: Emerson_MJ_5_0_2005_GME_MOF__A.pdf (519.93 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)
Pasternak, T., "Heirarchical Control Reconfiguration for a Class of Hybrid Systems", PhD Dissertation: Vanderbilt University, August, 2002.  Download: Pasternak_T_8_0_2002_Heirarchic.pdf (804.4 KB)
Nelson, T., "Implementation of Image Processing Algorithms on FPGA Hardware", Master's Thesis: Vanderbilt University, 2000.  Download: Nelson_T_0_0_2000_Implementa.pdf (1.31 MB)
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)
Eames, B., "Integrating High-Level Simulation into a Model-Integrated Embedded System Design Toolset", Master's Thesis: Vanderbilt University, May, 2001.  Download: Eames_BK_5_0_2001_Integratin.pdf (239.71 KB)
Dubey, A., "Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems", Master's Thesis: Vanderbilt University, July, 2005.  Download: Dubey_A_7_28_2005_Metamodel_.pdf (3.32 MB)
Sprinkle, J., "Metamodel Driven Model Migration", PhD Dissertation: Vanderbilt University, August, 2003.  Download: Sprinkle_JM_8_0_2003_Metamodel_.pdf (920.84 KB)
Nordstrom, G., "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments", PhD Dissertation: Vanderbilt University, March, 1999.  Download: Nordstrom_GG_3_0_1999_Metamodeli.pdf (869.92 KB)
Scott, J., "Method for Modeling and Verification of Real-Time Systems", Master's Thesis: Vanderbilt University, 1996.  Download: Scott_J_0_0_1996_Method_for.pdf (293.57 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)
Agrawal, A., "Model Based Software Engineering, Graph Grammars and Graph Transformations", Area Paper: Vanderbilt University, April, 2004.  Download: Agrawal_A_4_8_2004_Model_Base.pdf (632.72 KB)
Sprinkle, J., "Model Integrated Program Synthesis of Agent Interaction Protocols", Master's Thesis: Vanderbilt University, August, 2000.  Download: Sprinkle_JM_8_0_2000_Model_Inte.pdf (1.53 MB)
Abbott, B., Model-Based Automatic Program Synthesis, : Vanderbilt University, 1994.
Bapty, T., Model-Based Synthesis of Parallel Real-Time Systems, : Vanderbilt University, 1995.
Moore, M., "Model-Integrated Program Synthesis for Real-Time Image Processing", PhD Dissertation: Vanderbilt University, February, 1997.  Download: Moore_MS_2_0_1997_Model_Inte.pdf (1.01 MB)
Ledeczi, A., "Parallel Systems with Flexible Topology", PhD Dissertation: Vanderbilt University, 1995.  Download: Ledeczi_A_0_0_1995_Parallel_S.pdf (1.37 MB)
Mujumdar, S., "Prioritized Geographical Routing in Sensor Networks", Master's Thesis: Vanderbilt University, April, 2004.  Download: Mujumdar_SJ_4_1_2004_Prioritize.pdf (473.35 KB)
Nordstrom, S., "A Runtime Environment to Support Fault Mitigative Large-Scale Real-Time Embedded Systems Research", Master's Thesis: Vanderbilt University, May, 2003.  Download: Nordstrom_SG_5_0_2003_A_Runtime_.pdf (918.86 KB)
Prabhakar, R., "Scheduling In Time Triggered Systems Under Mode Changes", Master's Thesis: Vanderbilt University, December, 2003.  Download: Prabhakar_R_12_0_2003_Scheduling.pdf (1.04 MB)
Kushwaha, M., "Sensor Node Localization Using Mobile Acoustic Beacons", Department of Computer Science, Vanderbilt University, Nashville TN, 2005.  Download: master-thesis-manish-kushwaha.pdf (9.06 MB)
Misra, A., "Sensor-Based Diagnosis of Dynamical Systems", PhD Dissertation: Vanderbilt University, 1994.  Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Neema, H., "A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems", Master's Thesis: Vanderbilt University, May, 2008.  Download: Neema_H_5_0_2008_A_Solution.pdf (495.62 KB)
Yao, D., "Specification and Implementation of Autonomic Fault-Mitigation Behaviors for Large-Scale Real-Time Embedded Systems", Master's Thesis: Vanderbilt University, August, 2005.  Download: Yao_D_8_0_2005_Specificat.pdf (1013.37 KB)
Blokland, W., Structurally Adaptive Systems, : Vanderbilt University, 1991.
Neema, S., "System Level Synthesis of Adaptive Computing Systems", PhD Dissertation: Vanderbilt University, May, 2001.  Download: Neema_S_5_0_2001_System_Lev.pdf (1.61 MB)
Shetty, S., "Towards Developing Tools and Technologies for Large Scale Real time Embedded systems", Master's Thesis: Vanderbilt University, April, 2004.  Download: Shetty_SS_4_1_2004_Towards_De.PDF (2.8 MB)
Wang, J., "Visual Specification of Model Interpreters", Master's Thesis: Vanderbilt University, 2000.  Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
Report
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)
Sallai, J., G. Balogh, M. Maroti, and A. Ledeczi, Acoustic Ranging in Resource Constrained Sensor Networks, : Institute for Software Integrated Systems, February, 2004.  Download: Sallai_J_2_25_2004_Acoustic_R.pdf (376.5 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
Neema, S., "Analysis of Matlab Simulink and Stateflow Data Model", ISIS-01-204: Institute for Software Integrated Systems, March, 2001.  Download: Neema_S_3_0_2001_Analysis_o.pdf (259.18 KB)
Kusy, B., and J. Sallai, Analytical solution for radio-interferometric localization of mobile sensors, , Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.  Download: Kusy_B_12_1_2006_Analytical.pdf (196.56 KB)
Kavimandan, A., and J. Balasubramanian, Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations, : Institute for Software Integrated Systems, May, 2007.  Download: Kavimandan_AJ_5_31_2007_Automated_.pdf (252.83 KB)
Neema, S., and I. Sturmer, Automated Test Case Generation for Code Generators based on Graph-Transformation Rules, : Institute for Software Integrated Systems, March, 2006.  Download: Neema_S_3_1_2006_Automated_.pdf (344.23 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)
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)
Neema, S., J. Davis, B. Eames, and A. Ledeczi, "Design Representation Issues in Polymorphous Computing", ISIS-01-202: Institute for Software Integrated Systems, January, 2001.  Download: Neema_S_1_30_2001_Design_Rep.pdf (2.93 MB)
Neema, S., "Design Space Representation and Management for Model-Based Embedded System Synthesis", ISIS-01-203: Institute for Software Integrated Systems, February, 2001.  Download: Neema_S_2_0_2001_Design_Spa.pdf (213.02 KB)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Kandasamy, N., and S. Abdelwahed, Designing Self-Managing Distributed Systems using Online Predictive Control, : Institute for Software Integrated Systems, December, 2003.