Biblio | Institute for Software Integrated Systems

Biblio

List
Filter

Export 557 results:

Sort by: Author Title [ Type

] Year

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)

Kottenstette, N., "Control of passive plants with memoryless nonlinearities over wireless networks", Electrical Engineering, vol. Doctor of, Notre Dame, IN, University of Notre Dame, pp. 196, 08/2007. Abstract

Download: KottenstetteNE082007.pdf (1.96 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.