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 
K
Karsai, G., S. Padalkar, H. Franke, and J. Sztipanovits, "A Practical Method For Creating Plant Diagnostics Applications", Integrated Computer-Aided Engineering, vol. 3, pp. 291--304, 1996.  Download: Karsai_G_0_0_1996_A_Practica.pdf (364.48 KB)
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
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)
Koutsoukos, X., J. Kurien, and F. Zhao, "Estimation of Distributed Hybrid Systems Using Particle Filtering Methods", Hybrid Systems: Computation and Control (HSCC 2003), 2623, LNCS, pp. 298--313, 2003.  Download: Koutsoukos_X_0_0_2003_Estimation.pdf (453.76 KB)
Koutsoukos, X., J. Kurien, and F. Zhao, "Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods", Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.  Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 KB)
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Kushwaha, M., I. Amundson, P. Volgyesi, P. Ahammad, G. Simon, X. Koutsoukos, A. Ledeczi, and S. Sastry, "Multi-modal Target Tracking using Heterogeneous Sensor Networks", 17th International Conference on Computer Communications and Networks (ICCCN 08), St. Thomas, Virgin Islands (USA), 2008. Abstract  Download: multifusion.pdf (1.36 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)
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion", IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.  Download: multifusion.pdf (587.45 KB)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
Kusy, B., G. Balogh, J. Sallai, A. Ledeczi, and M. Maroti, "inTrack: High Precision Tracking of Mobile Sensor Nodes", European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.  Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 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)
Kusy, B., G. Balogh, P. Volgyesi, J. Sallai, A. Nadas, A. Ledeczi, M. Maroti, and L. Meertens, "Node-Density Independent Localization", In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.  Download: spot6144-kusy.pdf (550.15 KB)
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 KB)
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
L
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., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
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., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits, "Modeling Paradigm for Parallel Signal Processing", The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
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., A. Bakay, and M. Maroti, "Model-Integrated Embedded Systems", Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.  Download: Ledeczi_A_4_0_2000_Model_Inte.pdf (217.28 KB)
Ledeczi, A., "Parallel Systems with Flexible Topology", PhD Dissertation: Vanderbilt University, 1995.  Download: Ledeczi_A_0_0_1995_Parallel_S.pdf (1.37 MB)
Ledeczi, A., and B. Abbott, "Parallel Systems with Flexible Topology", Scalable High Performance Computing Conference, Knoxville, TN, pp. 460--470, January, 1994.
Ledeczi, A., "Model Construction for Model-Integrated Computing", 13th International Conference on Systems Engineering, Las Vegas, NV, pp. CS103--108, 1999.  Download: Ledeczi_A_8_0_1999_Model_Cons.pdf (49.62 KB)
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.  Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Ledeczi, A., M. Maroti, G. Karsai, and G. Nordstrom, "Metaprogrammable Toolkit for Model-Integrated Computing", Engineering of Computer Based Systems (ECBS), Nashville, TN, pp. 311--317, March, 1999.  Download: Ledeczi_A_3_0_1999_Metaprogra.pdf (70.05 KB)
Ledeczi, A., "Model-Integrated Parallel Application Synthesis", Engineering of Computer Based Systems (ECBS), Monterey, CA, pp. 38--45, March, 1997.  Download: Ledeczi_A_3_0_1997_Model_Inte.pdf (118.81 KB)
Ledeczi, A., "System Synthesis for Parallel Signal Processing", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
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.
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.
Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On Metamodel Composition", IEEE CCA 2001, Mexico City, Mexico, September, 2001.  Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Long, E., A. Misra, and J. Sztipanovits, "Saturn Site Production Flow (SSPF): Accomplishments and Challenges", Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.  Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
Long, E., and A. Misra, "A Model-Based Engineering Process for Increasing Productivity in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 197--202, March, 1997.  Download: Long_E_3_0_1997_A_Model_Ba.pdf (89.5 KB)