Krishna Kavi

Regents Professor
Director, NSF Net-Centric I/UCRC
Discovery Park F279
940-369-7216
krishna.kavi@unt.edu
Student Hours:
  • Tue 10:00 - 11:30 a.m. / Thu 2:30 - 4:00 p.m.
  • Education
    • PhD, Southern Methodist University, Dallas, TX, 1980.
      Major: Computer Science and Engineering
    • MS, Southern Methodist University, Dallas, TX, 1977.
      Major: Computer Science and Engineering
    • BE, Indian Institute of Science, 1975.
      Major: Electrical
  • Research

    My research covers computer architecture, memory systems, high performance computing, embedded systems, hardware/software security, cloud security.

    You can find more about our research, current projects, publications and software tools at Computer Systems Research Laboratory

    UNT is a member of the Industry/University Cooperative Center (IUCRC) for Net Centric and Cloud Software and Systems. You can find more about this consortium at Net-Centric IUCRC

  • Publications

    2023

    Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy John. "Creating false hits and misses to mitigate side-channel attacks", Proceedings of the IEEE Silicon Valley Cybersecurity Conference (SVCC-2023), May 17-19, 2023, San Jose, CA.

    2022

    Alex Weaver, Krishna Kavi, Pranathi Vasireddy, Gayatri Mehta. "Memory-side acceleration and sparse compression for quantized packed convolutions", IEEE 34th International Symposium on Computer Architecture and High-Performance Computing (SBAC-PAD 2022), No. 2-5, 2022, Bordeaux, France.

    Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta. "Sparse-T: Hardware accelerator thread for unstructured sparse data processing", IEEE/ACM International Conference on Computer Aided Design (ICCAD-2022), San Diego, CA, Oct. 30-Nov.3, 2022.

    Shashank Adavally, Alex Weaver, Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta, Nagendra Gulur. "Heterogeneous architecture for sparse datat processing", Heterogeneity in Computing Workshop (HCW-2022), held in conjunction with IPDPS-2022, Lyon, France, May 30, 2022.

    2021

    Shashank Adavally, Krishna Kavi and Gayatri Mehta. "Subpage migration in heterogeneous memory systems", Proceedings of the 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021), co-located with ICS 2021, June 18, 2021.

    Shashank Adavally, Krishna Kavi and Mahzabeen Islam. "Dynamically adapting page migration policies based on application memory access behaviors", ACM Journal on Emerging Technologies in Computer Systems, April 2021, Vol. 17, No. 2, 24 pageshttos://doi.org/10.1145/3444750.

    2020

    Pranoy Dutta, Nagendra Gulur, Tanvi Mehta, Krishna Kavi. "Empower: Automated architecture specialization with RISC V", submitted for publication.

    Rohit Yanambaka, Nathaniel Brown, Daniel Ting, Krishna Kavi. "Offensive and Defensive Perspectives in Additive Manufacturing Security", International Conference on Software Engineering Advances (ICSEA 2020), (virtual), Porto, Portugal, Oct 18-20, 2020.

    Shashank Adavally, Nagendra Gulur, Krishna Kavi, Alex Weaver, Pranoy Dutta and Benjamin Wang: "Express: Simultaneously achieving storage, performance and energy efficiencies in sparse matrix computation", International Symposium on Memory Systems (MEMSYS), Sept 28, 2020.

    Shashank Advally and Krishna Kavi: "Towards automating application-specific address mapping for emerging memory devices", International Symposium on Memory Systems (MEMSYS), Sept 28, 2020.

    Fernando Mosquera, Nagendra Gulur, Krishna Kavi, Gayatri Mehta, Hua Sun. "CHASM: Security evaluation of cache mapping schemes", International Conference on Embedded Systems: Architectures, Modeling and Simulation (SAMOS-2020), Virtual, Sept 30, 2020.

    Mahzabeen Islam, Shashank Adavally, Marko Scrbak, Krishna Kavi. "On-the-Fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems", th ACM Journal on Emerging Technologies in Computing Systems (JETC) Vol. 16, Nov, 1, Article 5, 27 pages, January 2020.

    2019

    Rohit Yanambaka, Rohan Maheshwari, Krishna Kavi. "SIMON: Semantic inference model for security in CPS using ontologies", 14th International Conference on Software Engineering Advances (ICSEA-2019), Nov. 24-28, 2019, Valencia, Spain. Received Best Paper Award.

    Rohit Yanambaka, Rohan Maheshwari, Krishna Kavi. "Requirements traceability in CPS using Semantic Inference", 14th International Conference on Software Engineering Advances (ICSEA-2019), Nov. 24-28, 2019, Valencia, Spain.

    Charles Shelor, Krishna Kavi, "Reconfigurable Dataflow Graphs For Processing-In-Memory", IEEE 20th International Conference on Distributed Computing and Networking (ICDCN-2019), Bangalore, India, Jan. 4-7, 2019.

    2018

    Rohit Yanambaka, Patrick Kamongi and Krishna Kavi. "An ontology driven framework for security and resiliency in cyber-physical systems", Proceedings of the 13th International Conference on Software Engineering Advances (ICSEA-2018), Nice, France, Oct. 14-18, 2018.

    Shashank Adavally and Krishna Kavi. "3D-DRAM performance for different OpenMP scheduling techniques in multicore systems", Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications (HPCC-2018), Exeter, UK, June 28-30, 2018.

    2017

    R. Yanambaka and K. Kavi. "CLIPS: Customized levels of IoT privacy and security", Proceedings of the 12th International Conference on Software Engineering Advances (ICSEA-2017), Oct 8-12, 2017, Athens, Greece.

    C. Shelor and K. Kavi. "Dataflow based near data computing achieves excellent energy efficiency", International symposium on Highly-Efficient Accelerators and Reconfigurable Technologies (HEART 2017), Bochum, Germany, June 7-9, 2017.

    M. Scrbak, et. al. "DVFS space exploration in power constrained processing-in-memory systems", Proceedings of the 30th International conference on the Architecture of Computer Systems (ARCS 2017), April 3-6, 2017, Vienna, Austria.

    M. Islam, et, al. "3D-DRAM resident prefetching for heterogeneous memory systems", Proceedings of the 30th International conference on the Architecture of Computer Systems (ARCS 2017), April 3-6, 2017, Vienna, Austria.

    M. Scrbak, M. Islam, K. Kavi, M. Ignatowski and N. Jayasena. "Exploring processing-in-memory design space", Journal of Systems Architecture (Elsevier), April 2017, pp 59-67, DOI: 10.1016/j.sysarch.2016.08.001.

    2016

    M.Scrbak, et.al. "A study of page placement and migration in heterogeneous flat-addressable memories", submitted for publication.

    M. Islam, S. Banerjee, M. Meswani and K. Kavi. "Prefetching as a potentially effective technique for hybrid memory optimization", Proceedings of the International Symposium on Memory Systems (MEMSYS 16), October 3-6, 2016, Alexandria, VA.

    M. Rezaei and K. Kavi. "ABT and SBT revisited: Efficient memory management techniques for object-oriented and web-based applications', in International Journal of Science and Technology, published by Scietia Irancia, Vol. 23, No. 3, pp 1217-1227, June 2016.

    P. Kamongi, K. Kavi and M. Gomathisankaran. "Predicting unknown vulnerabilities using software metrics and maturity models', The 8th International conferences on software engineering advances (ICSEA-2016), Rome, Italy, August 21-25, 2016.

    A. Gopalakrishnan and K.M. Kavi. "Probabilistic analysis of contracting Ebola virus using contextual intelligence", Proceedings of the 2nd International conference on health informatics and medical systems (HiMS'16), Las Vegas, NV, July 25-28, 2016.

    2015

    C. Shelor, K. Kavi and S. Adavally. "Dataflow based near-data processing using coarse grained reconfigurable logic", 3rd Workshop on Near-Data Processing (WoNdp-3), Waikiki, HI, Dec. 2015.

    Chen-Yu Lee and Krishna Kavi. "Evaluation of Security Service Level Agreements" Tenth International Conference on Software Engineering Advances (ICSEA 2015), November 15-20, 2015, Barcelona, Spain.

    K.M. Kavi, S. Pianelli, G. Pisano, G. Regina and M. Ignatowski. "Memory organizations for 3D-DRAM and PCMs in processor memory hierarchy", in the Elsevier Journal of Systems Architecture, Vol. 61, pp. 539-552, DOI: 10.1016/j.sysarc.2015.07.00, Aug. 2015.

    J. Shidal, A.J. Spilo, P. T. Scheid, R. Cytron and K. Kavi. "Recycling trash in cache", Proceedings of the International Symposium on Memory Management (ISMM-2015), June 14, 2015, Portland, OR.

    Chen-Yu Lee, Patrick Kamongi, Krishna Kavi and Mahadevan Gomathisankaran. "Optimus: A framework of vulnerabilities, attacks, defenses and SLA ontologies", International Journal of Next-Generation Computing, Vol 6, No. 1 (March 2015)

    K. Kavi, D. Pace and C. Shelor. "Concurrency, Synchronization, Speculation - the Dataflow way", in Dataflow Processing, Ali hurson and Veljko Mikutinovic, editors, Advances in Computers, Vol. 96, PP 47-104, Academic Press, UK., Vol. 96, PP 47-104.

    Marko Scrbak, Mahzabeen Islam, Krishna Kavi, Mike Ignatowski, Nuwan Jayasena. "Processing-in-Memory: Exploring the design Space", 28th International Conference on the Architecture of Computer Systems (ARCS-2015), March 24-27, 2015, Porto, Portugal.

    Charles Shelor and Krishna Kavi. "Moola: Multicore Cache Simulator", 30th International Conference on Computers and Their Applications (CATA-2015), March 9-11, 2015, Honolulu, Hawaii.

    Chen-Yu Lee, K.M. Kavi, R.A. Paul and M. Gomathisankaran. "Ontology of secure service level agreement", 16th IEEE International Symposium on High Assurance Systems Engineering (HASE-2015), Jan. 8-10, 2015, Daytona Beach, Florida, USA.

    2014

    P. Kamongi, M. Gomathisankaran, K. Kavi. "Nemesis: Automated architecture for threat modeling and risk assessment for cloud computing", The 6th ASE International Conference on Privacy, Security, Risk and Trust (PASSAT-2014), Dec. 13-16, 2014, Cambridge, MA, USA.

    C.F. Shelor, J. Buchanan, K. Kavi and R. Cytron. "Potential energy savings through eliminating unnecessary writes in the cache-memory hierarchy", International Journal of Computers and Their Applications (IJCA), Vol. 21, No. 3, Sept. 2014, pp 178-187.

    Chia-En Lin and K. M. Kavi, "Performance engineering using performance anti-patterns", 9th International Conference on Software Engineering Advances (ICSEA-2014), Oct. 12-16, 2014, Nice, France.

    ChenYu Lee, K.M. Kavi, M. Gomathisankaran, P. Kamongi, "Security through software rejuvenation", 9th International Conference on Software Engineering Advances (ICSEA-2014), Oct. 12-16, 2014, Nice, France.

    M. Islam, M. Scrback, K.M. Kavi, M. Ignatowski and N. Jayasena. "Improving node-level Map-Reduce performance using processing-in-memory technologies", 7th Workshop on Unconventional High Performance Computing (UCHPC2004), held in conjunction with the 20th European Conference Parallel Processing (EuroPar 2014), Porto, Portugal, Aug. 25-29, 2014.

    ChenYu Lee, K.M. Kavi and M. Gomathisankaran. "Ontology based privacy setting transfer scheme on social networking systems", 2014 International conference on security and management (SAM'14), July 21-24, Las Vegas, NV, USA, pp 392-398.

    J. Shidal, Z. Gottlieb, R. Cytron, K. Kavi. "Trash in Cache: Detecting eternally silent stores", ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC-2014), June 13, 2014, Edinburgh, Scotland, Co-located with PLDI 2014.

    X. Wang, S. Fu and K. Kavi. "Characterizing workload of web applications on virtualized servers", BPOE-4: the fourth workshop on Big data benchmarks, Performance Optimizations and Emerging hardware, held in conjunction with ASPLOS-2014, Salt Lake City, UT, March 1, 2014.

    T. Janjusic and K. Kavi. "Hardware and application profiling tools - a survey", Advances in Computers, Volume 12, No. 1, Jan 2014, published by Academic Press, pp 105-160.

    T. Janjusic and K. Kavi. "Virtually splitting data caches using multiple decoders", submitted for publication.

    C. Shelor, J. Buchanan and K. Kavi. "Quantifying wasted write energy in the memory hierarchy", International Conference on Computers And Their Applications (CATA-2014), Las Vegas, March 2014.

    K. Kavi, S. Pianelli, G. Pisano, G. Regina and M. Ignatowski. "3D DRAM and PCMs in Processor Memory Hierarchy", International Conference on Architecture of Computer Systems (ARCS 2014), pp 183-195, Feb 25-28, 2014, Lubeck, Germany.

    2013

    D. Pace, K. Kavi and C. Shelor. "MT-SDF: Scheduled Dataflow Architecture with mini-threads", Workshop on Dataflow Models (DFM 2013), held in conjuction with PACT-2013, Sept 8-11, 2013, Edinburg, UK.

    R. Tidwell, S. Akumall, S. Karlaputi, R. Akl, K. Kavi and D. Struble. "Evaluating the feasibility of EMG and bend sensors for classifying hand gestures", Proceedings of the International Conference on Multimedia and Human Computer Interaction (MHCI-13), July 18-19, Toronto, Canada.

    Chia-en Lin and K. Kavi. " A QoS-Aware BPEL Framework for Service Selection and Composition Using QoS Properties", International Journal On Advances in Software, v 6 n 1&2, June 2013.

    P. Kamongi, S. Kotikela, K. Kavi, M. Gomathisankaran and A. Singhal. "VULCAN: Vulnerability assessment framework for Cloud computing", Proceedings of the IEEE 7th International Conference on Software Security and Reliability, June 18-20, 2013, Washington, DC..

    J. Sherman, B. Potter, K. Kavi and M. Igantowski. "A multicore memory organization for 3D-DRAM as main memory", Proceedings of the 26th International Conference the Architecture of Computer Systems (ARCS-2013), Prague, Czech Republic, Feb 19-22, 2013, pp 62-73.

    C.H. Lin, C.Y. Lin, K.M. Kavi and D.J. Chen. "Finding near-optimal message scheduling settings for SHA-256 algorithm using genertic algorithms", Journal of Information Science and Engineering, Vol. 29, No. 5 (Sept. 2013), pp 889-905.

    2012

    C. Lin, K. Kavi and S. Adepu. "A description language for QoS properties and a framework for service composition using QoS properties", Proceedings of the Seventh International Conference on Software Engineering Advances (ICSEA 2012), pp 90-97, Lisbon, Portugal, Nov. 18-23, 2012.

    T. Janjusic*, K. Kavi and C. Kartsaklis, "Trace driven data structure transformations", PMBS 2012: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, in conjunction with Super Computing Conference (SC-12), November 10-12, 2012, Salt Lake City, Utah.

    S. Kotikela, K. Kavi and M. Gomathisankaran. "Vulnerability assessment in cloud computing", Proceedings of the 2012 International conference on Security and Management (SAM'12), pp 67-73, July 16-19, 2012, Las Vegas, USA.

    A. Naz and K. Kavi. "A smart cache design for embedded applications", International Journal of Advanced Research in Computer Sceince Jan-Feb. 2012, pp 46-51.

    A. Fawibe, J. Sherman, K. Kavi, M. Ignatowski and D. Mayhew. "New memory organizations for 3D DRAM and PCMs", Proceedings of the ARCS2012: Architecture of Computing Systems, TU Munich, Germany, Feb 28-March 02, 2012.

    K. Kavi, I. Nwachukwu, A Fawibe . "A comparative analysis of performance improvement schemes for L-1 caches", Elsevier Journal of Computers and Electrical Engineering, March 2012, pp 243-257.

    2011

    I. Nwachukwu, K. Kavi, A. Fawibe, C. Yan, "Evaluation of techniques to improve cache access uniformities", Proceedings of the 40th Annual Conference on Parallel Processing (ICPP-2011), pp 31-40, Taipei, Taiwan, Sept 13-16, 2011,

    M. Dubasi, A. Fawibe, O. Garitselov, K. Kavi, I. Nwachukwu, O. Okabia, V. Prabhu, "Parabilis: Speeding up single-threaded applications by extracting fine-grained threads for multi-core execution", Proceedings of the 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), July 6-8, 2011, Cluj Napoca, Romania.

    T. Janjusic, K. Kavi and B. Potter. "Gleipnir: A memory analysis tool", Proceedings of the 2011 International Conference on Computational Science (ICCS 2011), June 1-3, 2011, Singapore, pp 2058-2067.

    2010

    Krishna Kavi "Beyond the black box", IEEE Spectrum, August 2010, pp 46-51.

    2009

    O. Adamo, A. Naz, K. Kavi, T. Janjusic and C.P.Chung. "Smaller split L-1 data caches for multi-core processing systems", Proceedings of IEEE 10th International Symposium on Pervasive Systems, Algorithms and Networks (I-SPAN 2009) to be held in Kao-Hsiung, Taiwan, December 14-16, 2009.

    A. Naz, O. Adamo, K. Kavi and T. Janjusic. "Improving uniformity of cache access patterns using split data caches", Proceedings of ISCA PDCS-2009, Sept. 2009, Louisville, KY.

    2008

    K.M. Kavi, R. Akl and A.R. Hurson. "Real-Time Systems: An introduction and the state-of-the-art", Wiley Encyclopedia of Computer Science, Vol. 4, Dec. 2008,pp 2369-2377.

    A.R. Hurson and K.M. Kavi. "Is it time for dataflow revival?" Wiley Encyclopedia of Computing, 2007.

    Krishna Kavi, Wentong Li and Ali Hurson. "A non-blocking multithreaded architecture with support for speculative threads", Proc of 8th International Conference on Algorithms, Architectures and Applications of Parallel Processing (ICA3PP-2008), Cyprus, June 9-11, 2008) pp 173-184.

    2007

    R. Akl and K.M. Kavi. Modeling and Analysis using Computational Tools, in Queuing Theory: Modeling and Analysis by U. Narayan Bhat, published by Birkhauser, Boston, Dec. 2007.

    Wentong Li, Mehran Rezaei, Krishna Kavi, Afrin Naz and Philip Sweany. "Feasibility of decoupling memory management from the execution pipeline", Journal of Systems Architecture (published by Elsevier), Vol. 53, No. 12, pp 927-936, Dec. 2007.

    Afrin Naz, Krishna Kavi, JungHwan Oh and Pierofranco Foglia. "Reconfigurable split data caches: A novel scheme for embedded systems", Proceedings of the 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007, pp 707-7112.

    Wenming Li, K.Kavi and R. Akl. "A non-preemptive scheduling algorithm for soft real-time systems", International Journal of Computers and Electrical Engineering, Vol. 33, No. 1, pp 12-29, January 2007.

    Chia-En (Paul) Lin, Krishna M. Kavi, Frederic Sheldon and Kris M. Daley. "A methodology to evaluate agent-oriented software engineering techniques", Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS-07), Jan. 2-6, 2007, Hawaii.

    2006

    Wentong Li, Saraju Mohanty and Krishna Kavi. "Page-based software-hardware co-design of a dynamic memory allocator", the IEEE Computer Architecture Letters (available on line since July 2006).

    A. Naz, K. Kavi, W. Li and Philip Sweany. "Tiny split data caches make big performance impact for embedded applications", the Journal of Embedded Computing (Special Issue on Embedded Single-Chip Multi-core Architectures from System Design to Application Support), Vol.2, No.2, pp 207-219, November, 2006.

    M. Rezaei and K. M. Kavi. "Intelligent memory manager: Reducing cache pollution due to memory management functions" Journal of Systems Architecture, Vol. 52, No.1., pp 207-219 (Jan. 2006).

    Wentong Li, Krishna Kavi, Afrin Naz and Philip Sweany. "Speculative thread execution in a multithreaded dataflow architecture", Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA.

    Afrin Naz, Krishna Kavi, Philip Sweany and Wentong Li. "A study of reconfigurable split data caches and instruction caches", Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA.

    Wentong Li, Saraju Mohanty and Krishna Kavi. "Page-based software-hardware co-design of a dynamic memory allocator" Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA.

    P. Chen, K. Kavi and R. Akl. "Performance enhancement by eliminating redundant function execution", Proceedings of the IEEE 39th Annual Simulation Conference, Huntsville, AL, April 2-6, 2006, pp 143-150.

    2001-2005

    F.T. Sheldon, T. Potok and K.M. Kavi. "Multi-agent system case studies in command and control, information fusion and data management" Journal of Informatica (published by the Solvene Society Informatica), Vol. 28, No. 1, April 2004, pp 78-89.

    K.M. Kavi and D. Mehta. "Mutual Exclusion. On Optical Networks", Parallel Processing Letters, Vol. 12, Nos 3&4, 2002, pp 341-358.

    K.M. Kavi, A.R. Moshtaghi and D.J. Chen. "Modeling multithreaded applications using Petri nets", International Journal on Parallel Programming (published by Plenum Publishing), Vol. 30, No. 5, pp 353-371, Oct. 2002.

    D.J. Chen, W.C. Chen and K.M. Kavi. Visual Requirements Representation, Journal of Systems and Software, Vol. 61, Issue 2, March 2002, pp 129-143.

    K.M. Kavi, R. Giorgi and J. Arul. "Scheduled Dataflow: Execution paradigm, architecture and performance evaluation", IEEE Transactions on Computers, Vol. 50, No. 8, August 2001, pp 834-846.

    Wenming Li, K.M. Kavi and R. Akl. "An efficient non-preemptive real-time scheduling algorithm"", Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing (PDCS-2005), pp. 154-160, Las Vegas, Sept. 12-14, 2005.

    A. Naz, M. Rezaei, K.Kavi and P. Sweany. "Improving Data Cache Performance With Integrated Use Of Split Caches, Victim Cache And Stream Buffers", Proceedings of the Workshop on Memory performance dealing with applications, systems and architecture (MEDEA-2004), held in conjunction with Parallel Architectures and Compiler Technology (PACT-2004) Conference, Sept. 29-Oct. 3, 2004, Antibes Juan-Les-Pins, France.

    A. Naz, K.M. Kavi, P.H. Sweany and M. Rezaei. "A study of separate array and scalar caches" Proceedings of the 18th International Symposium on High Performance Computing Systems and Applications (HPCS 2004), Winnipeg, Manitoba, Canada, May 16-19, 2004, pp 157-164.

    K.M. Kavi and P. Chen. "Dynamic function result reuse" Proceedings of the 11th International Conference on Advanced Computing (ADCOM-2003), Coimbatore, India, Dec. 17-20, 2003.

    L.M. Fox, C.R. Hill, R.K. Cytron and K.M. Kavi. "Optimization of storage-referencing gestures" Proceedings of the Workshop on Compilers and Tools for Constrained Embedded Systems (CTES-2003), held in conjunction with Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES-2003), Oct. 29, 2003, San Jose, CA.

    L. Song, K.M. Kavi and R. Cytron. "An unfolding-based loop optimization technique", Proceeding of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES'03), Springer Verlag Lecture Notes on Computer Science (LNCS), Vienna, Austria, Sept. 24-26, 2003.

    L. Song, Y. Zhang and K.M. Kavi. "A simple loop transformation for multithreaded, superscalar and VLIW architectures", Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems (PDCS-2003, sponsored by the International Society for Computers and their Applications, ISCA), Aug. 3-15, Reno, Nevada, USA.

    M.Rezaei and K.M. Kavi. "Utilization of Separate Caches to Eliminate Cache Pollution Caused By Memory Management Functions", Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems (PDCS-2003, sponsored by the International Society for Computers and their Applications, ISCA), Aug. 3-15, Reno, Nevada, USA.

    K.M. Kavi, D.C. Kung, H. Bhambhani, G. Pandcholi, M. Kanikarla and R. Shah. "Extending UML to modeling and design of multi agent systems", Proc. of 2nd Intl Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS2003), held in conjunction with the International Conference on Software Engineering, Portland, OR, May 3-10, 2003.

    Litong Song and K.K. Kavi. "A technique for variable dependent driven loop peeling", Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China, Oct. 23-25, 2002.

    K.M. Kavi, M. Aborizka and D.Kung. "A framework for the design of intelligent agent based real-time systems", Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China, Oct. 23-25, 2002.

    Joseph Arul and K.M. Kavi. "Scalability of Scheduled Dataflow Architecture (SDF) with register contexts", Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China, Oct. 23-25, 2002.

    S. Donahue, M.P. Hampton, R. Cytron, M. Franklin and K.M. Kavi. "Hardware support for fast and bounded time storage allocation", Proceedings of the Workshop on Memory Processor Interfaces (WMPI), in conjunction with the International Symposium on Computer Architecture, May 2002, Anchorage, Alaska, pp.

    K.M. Kavi, J. Arul and R. Giorgi. "Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications", Proceedings of the ISCA PDCS-2001, Dallas Texas, August 8-11, 2001, pp 365-371.

    S.M. Donahue, M.P. Hampton, M. Deters, J.M. Nye, R.K. Cytron and K.M. Kavi. "Storage Allocation for real-time, embedded systems", Proceedings of the First International Workshop on Embedded Software (Washington, DC, May 2001), Springer Verlag, pp 131-147.

    K.M. Kavi and M. Aborizka. "Glass-Box: An intelligent flight data recorder and real-time monitoring systems", Proc. of the 39th AIAA Aerospace Sciences Meeting, Reno, NV, Jan. 8-11, 2001.

    1991-2000

    K.M. Kavi, H. -S. Kim, B. Lee and Ali Hurson. "Distributed Shared Memory Systems: A survey", Advances in Computers, Vol. 53, pp 55-108, (Edited by M. Zerkowitz), Academic Press, 2000.

    K.M. Kavi. "Cache Memories", to appear in the Encyclopedia on Distributed Computing (edited by Joseph Urban and Partha Dasgupta), 1998, Kluwer Academic Publishers.

    K.M. Kavi, B. Lee and Ali Hurson. "Multithreaded systems: A survey", Advances in Computers, Volume 48 (Edited by M. Zerkowitz), Academic Press, 1998.

    A.R. Hurson, J.T. Lim, K.M. Kavi and B. Lee "Parallelization of DOALL and DOACROSS loops - a survey", Advances in Computers, Vol. 45 (Edited by M. Zerkowitz), Academic Press 1997, pp 54-105.

    Shirazi, A.R. Hurson and K.M. Kavi (Editors), IEEE CS Press Tutorial on Scheduling and Load Balancing in Parallel and Distributed Systems, 1995.

    K.M. Kavi (Editor) IEEE CS Tutorial on Real-Time Systems: Abstractions, Languages and Design Methodologies, Nov. 1992, IEEE Computer Society Press.

    K.M. Kavi, J. Arul and R. Giorgi. "Execution and cache performance of the Scheduled Dataflow Architecture", Journal of Universal Computer Science, Special Issue on Multithreaded and Chip Multiprocessors, Oct. 2000.

    P.Y. Chang, D.J. Chen and K.M. Kavi. "Multimedia file allocation under virtual circuit using multipath routing", IEEE Transactions on Computers, Sept. 2000, pp 971-977 (Vol. 49, No. 9).

    P .Y. Chang, D.J. Chen and K.M. Kavi. "File allocation algorithms to minimize data transmission time for real-time applications in distributed computing systems", Journal of Information Science and Engineering, (Institute of Information Science, Taipei, Taiwan), Vol. 17, pp 633-646, 2001.

    K.M. Kavi. H.S. Kim and A.R. Hurson. "Scheduled dataflow architecture: A synchronous execution paradigm for dataflow", IASTED Journal of Computers and Applications. Vol. 21, No. 3 (Oct. 1999), pp 114-124.

    K.M. Kavi. "Multithreaded System Implementations", IASTED Journal of Microcomputer Applications, Vo. 18, No. 2, 1999, pp 70-84.

    K.M. Kavi, J.C. Browne and A. Tripathi. "Computer Systems Research: The Pressure is on", IEEE Computer, Jan.1999, pp 30-39. t.

    K.M. Kavi and A.R. Hurson. "Performance of cache memories in dataflow architectures", Euromicoro Journal on Systems Architecture, Vol. 44, No. 9-10, June 1998, pp 657-674.

    A.R. Hurson, K.M. Kavi and J.T. Lim. "Cyclic Staggering Scheme: A loop allo cation policy for DOACROSS loops", IEEE Transactions on Computers, Feb. 1998, pp 251-255.

    A.R. Hurson, K.M. Kavi and B. Lee. "Cache Memories in Dataflow Architectures", IEEE Parallel and Distributed Technology, Winter 1996, pp 50-64.

    K.M. Kavi and Ez Nahouraii. "Assessment of Software Tools: Guest Editors Introduction", IEEE Software, Sept. 1996 pp 23-26.

    K.M. Kavi, B. Wyatt and B. Shirazi. "Evaluation of dynamic inheritance in distributed environments", ISMM Journal of Microcomputer Applications, Vol. 15, No. 1, July 1996, pp 26-37.

    K.M. Kavi, F.T. Sheldon and S. Reed. "Specification and analysis of real-time systems using CSP and Petri nets", International Journal of Software Engineering and Knowledge Engineering, (World Scientific Publishing Company) Vol. 6, No. 2, June 1996, pp 229-248.

    B.P. Weems, K.M. Kavi and B. Shirazi. "HIPP: An honors program in parallel processing", International Journal of Engineering Education, Vol. 11, Nos. 4 and 5, Nov. 1995, pp 329-335.

    B.G. Wyatt, K. M. Kavi and S.P. Hufnagle. "Parallelism in object oriented languages: A survey", IEEE Software, Nov. 1992, pp 56-66.

    K. M. Kavi and B. Shirazi. "Dataflow Architecture: Are dataflow computers commercially viable?", IEEE Potentials, Oct. 1992, pp. 27-30

    F.T. Sheldon, K.M. Kavi, R.C. Tausworthe, J.T. Yu, R. Brettschneider and W.W. Everett. "Software reliability measurement: From theory to practice", IEEE Software, July, 1992, pp. 13-20.

    K.M. Kavi and S.M. Yang. "A survey of real-time design methodologies", Journal of Systems and Software (Elsevier Science Publishing), April 1992, pp. 85-99.

    K.M. Kavi and A.K. Deshpande. "Specification of concurrent processes using a dataflow model of computation and partially ordered events", Journal of Systems and Software (Elsevier Science Publishing), Vol. 16, No. 2, pp. 107-120, Oct. 1991.

    D.J. Chen and K.M. Kavi. "Stochastic dataflow graph models for the reliability analysis of interconnection and computer networks", Journal of Information Science and Engineering (Institute of Information Science, Taipei, Taiwan), Vol. 7, No. 2, June 1991, pp. 253-278.

    K.M. Kavi, M. Rezaei and R. Cytron. "An efficient memory management technique that improves localities", Proc. International Conference on Advanced Computing and Communications (ADCOM 2000), Cochin, India, Dec. 15-17, 2000.

    M. Aborizka and K.M. Kavi. "Learning technologies with flight data recorders", Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong, Dec. 11-14, 2000.

    J. Arul, K.M. Kavi and S. Hanief. "Cache Performance of Scheduled Dataflow Architecture", Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong, Dec. 11-14, 2000.

    K.M. Kavi and D. Mehta. "Mutual Exclusion. On Optical Networks", Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Published by the International Society of Computers and Their Applications, Las Vegas, Aug. 8-10, 2000, pp. 250-255.

    K.M. Kavi, R. Giorgi and J. Arul. "Comparing execution performance of Scheduled Dataflow Architecture with RISC processors", Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Published by the International Society of Computers and Their Applications, Las Vegas, Aug. 8-10, 2000, pp 41-47.

    R. Giorgi, K.M. Kavi and J. Arul. "Exploiting Thread Level Parallelism in a New Decoupled Non-Blocking Multithreaded Architecture ", Proceedings of the joint 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS'2000), Orlando, USA, in July 23-26, 2000.

    M. Rezaei and K.M. Kavi. "A new implementation for memory management", Proceedings of the IEEE Southeastcon 2000 Conference, April 7-9, 2000, Nashville, TN.

    H.Y. Kim, K.M. Kavi and A.R. Hurson. "A Simple Non-Blocking Architecture", Proc. ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS-99), Published by the International Society for Computers and Their Applications, Ft. Lauderdale, FL, Aug. 18-20, 1999, pp 231-236.

    A.R. Hurson and K.M. Kavi. "Interactive teaching practices in small class sizes while cutting into the high cost of education", Proc. of the International Conference on Engineering Education, Ostrava, Czech, Aug. 10-12, 1999.

    D. Hecht, K.M. Kavi, R. Gaede and C. Katsinis. "Implementation Of Recovery Blocks On Cache-Coherent Distributed Shared Memory Systems", Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN-99), Fremantle, Western Australia, June 23-25, 1999, pp 100-105.

    K.M. Kavi, H.-S.Kim, J. Arul and A.R. Hurson "A decoupled scheduled dataflow multithreaded architecture", Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN99), Fremantle, Western Australia, June 23-25, 1999, 138-143.

    J.B. Lim, A.R. Hurson and K.M. Kavi. "Concurrent data access in mobile heterogeneous systems", Proceedings of the Hawaii International Conference on System Sciences (HICSS-99), Jan. 1999.

    K.M. Kavi, A. Hernandez and D. Levine. "Hyperactive Messages", Proceeding of the International Conference on Parallel and Distributed Computing Systems, Los Vegas, Oct. 28-30, 1998, pp 704-708.

    K.M. Kavi, D. Levine and A.R. Hurson. "PL/PS: A non-blocking multithreaded architecture", Proceedings of the the Fifth International Conference on Advanced Computing (ADCOMP-97), Madras, India, Dec. 1997, pp 171-177.

    T.S. Chen, H.Y. Youn and K.M. Kavi. "Scalable software system architecture for parallel logic simulation", Proc. of 1997 Parallel and distributed systems symposium, Oct. 1-3, 1997, New Orleans, LA.

    J.T. Lim, A.R. Hurson and K.M. Kavi. "VL-Stag: An allocation policy for Doacross loops", Proceedings of the First European Conference on Parallel and Distributed Systems (Euro-PDS 97), Barcelona, June 9-11, 1997, pp 111-116.

    A.R. Hurson, J.T. Lim and K.M. Kavi. "Cyclic staggered loop allocation", Proceedings of the IEEE Symposium on Parallel and Distributed Processing, pp 240-249, New Orleans, LA, Oct. 23-26, 1996.

    H.Y. Youn, H. Choo and K.M. Kavi. "Performance enhancements of multistage interconnection networks using unit step buffering (USB) scheme", Proc. of the international conference on systems engineering , Los Vegas, NV.

    K.M. Kavi and A.R. Hurson. "Investigation of operand memory reuse in a dynamic dataflow architecture", Proceedings of the High Performance Computing Symposium 96, (The society of computer simulation), pp 288-295, April 8-11, 1996, New Orleans, Louisiana.

    J. Lim, A. Hurson, L. Miller and K.M. Kavi. "Dynamic object allocation for distributed object-oriented databases", Proceedings of the International Conference on High Performance Computing (HiPC), December 27-30, 1995, New Delhi, India.

    K.M. Kavi and F.T. Sheldon. "Specification and Analysis of Real-Time Systems using CSP and Petri Nets", Proceedings of the Fault Tolerant Systems Conference (FTS-95), pp 141-147 (Printed by Narosa Publishing House, New Delhi, India) I.I.T. Madras, India, Dec. 20-22, 1995.

    K.M. Kavi and A.R. Hurson. "Cache memories in dataflow architecture", Proc of the 7th IEEE Symposium on Parallel and Distributed Processing, Oct. 25-28, San Antonio, TX., pp 182- 189.

    K.M. Kavi, A.R. Hurson, P. Patadia, E. Abraham and P. Shanmugam. "Design of cache memories for multi-threaded dataflow architecture", Proceedings of the 22nd Intl. Symp. on Computer Architecture (ISCA-22), June 1995, St. Margherita Ligure, Italy, pp. 253-264.

    F.T. Sheldon and K.M. Kavi. "Reliability analysis of CSP specifications: A new method using Petri nets", Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995), pp 317-326.

    K.M. Kavi and H.Y. Youn. "A real-time performability evaluation tool", Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995).

    K.M. Kavi, F.T. Sheldon, B. Shirazi and A.R. Hurson. "Reliability analysis of CSP specifications using Petri nets and Markov processes" Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28), Jan. 3-6, 1995, Maui, Hawaii, pp. II 516-524.

    K.M. Kavi and F.T. Sheldon. "Specification of Stochastic Properties with CSP", Proceeding of the International Conference on Parallel and Distributed Systems (ICPADS), Dec. 19-21, 1994, Hsinchu, Taiwan, pp. 288-293.

    A.R. Hurson, J.J. Lim, B. Shirazi and K.M. Kavi. "Staggered Scheme: A loop allocation policy", 6th International Parallel Architectures and Languages Europe Conference (PARLE'94), Athens Greece, (July 94), Proceedings available as Lecture Notes in Computer Science #817, Springer-Verlag, pp. 793-796.

    B. Shirazi, H.B. Chen, K.M. Kavi, J. Marquis and A.R. Hurson. "PARSA: A parallel program software development tool", 3rd Symposium on Assessment of Quality Software Development Tools, (Washington, DC, June 7-9, 1994), pp. 96-111.

    A.R. Hurson, J.T. Lim. K.M. Kavi and B. Shirazi. "Loop allocation scheme for multithreaded dataflow computers", Proceedings of the 8th International Parallel Processing Symposium (IPPS 94), (Cancun, Mexico, April 26-28, 1994), pp. 316-322.

    V. Karani, P. Patadia, K.M. Kavi, P. Shanmugam, B. Shirazi and A.R. Hurson. "Improvements to the ETS dynamic dataflow architecture", Proceedings of the 27th Hawaii Intl Conference on Systems Sciences, HICSS-27, (Maui, HI, Jan 4-7, 1994), pp. I 378-387.

    K.M. Kavi, H.Y. Youn, B. Shirazi and A.R. Hurson. "A performability model for soft real- time systems", Proceedings the 27th Hawaii International Conference on Systems Sciences, HICSS- 27 , (Maui, HI, Jan 4-7, 1994), pp. II 571-580.

    P. Shanmugam, S. Andhare, K.M. Kavi, B. Shirazi and A.R. Hurson. "Cache memory for an explicit token store dataflow architecture", Proceedings of the 5th IEEE symposium on parallel and distributed processing , (Dec. 1-3, 1993, Dallas, Texas), pp. 45-50.

    H.B. Chen, B. Shirazi, K. Kavi and A.R. Hurson. "Static scheduling using linear clustering with task duplication", Proc. of sixth Intl. Conf. on Parallel and Distributed Computing Systems, (Oct. 93, Lexington, Kentucky), pp. 285-290.

    B. Shirazi, K.M. Kavi, A.R. Hurson and P. Biswas. "PARSA: A parallel program scheduling and assessment environment", Proc of 1993 International Conference on Parallel Processing, August 16-20, 1993

    H.B. Chen, B. Shirazi, K. M. Kavi and A.R. Hurson. "Linear clustering with task duplication: A novel static scheduling method for distributed memory systems", Proc. of the 9th international conference on systems engineering , July 14-16, 1993, Los Vegas, Nevada, pp. 16-20.

    S.M. Yang, P.R. Pizzorni, K.M. Kavi and H. Mei. "A protocol for real-time message scheduling in LAN/MAN", Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26), Jan. 5-8, 1993, pp. II 613-621.

    B. Lee and K.M. Kavi. "Program partitioning for multithreaded dataflow computers", Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26), Jan. 5-8, 1993, pp. II 487- 495.

    B. Kim, H.Y. Youn and K.M. Kavi. "Hierarchical interconnection networks: Routing in the presence of faults", Proc. of 4th IEEE Symp. on Parallel and Distr. Processing, Arlington, Texas, Dec. 1-4, 1992, pp. 162-165.

    B. Shirazi. and K.M. Kavi. "A new cache coherency and address translation consistency protocol", Proc. of 1992 Intl Conference on Parallel Processing.

    D.H. Lin, B. Shirazi and K.M. Kavi. "An efficient data interface for heterogeneous distributed environment", Proc of the International Conference on Distributed Computing Systems (ICDCS- 92)., Yokohama, Japan, June 9-12, 1992, pp. 390-397.

    S.M. Yang, K.M. Kavi, A. Agrawala, M. Reddi and S. Anam. "SUVS: A distributed real- time system testbed for fault-tolerant computing", Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA, March 1-3, 1992, pp. 782-791.

    W.G. Shieh, B.P. Weems and K.M. Kavi. "Extending N-grid group authorization using compact encoding", Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA, March 1-3, 1992, pp. 190-196.

    K.M. Kavi, V. Vijayaraghavan, B. Shirazi and A. Hurson. "Barriers and breakpoints in dataflow: extensions to SISAL language", Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI, Jan. 7-10, 1992, pp. I 526-534.

    S. Krishnaprasad, B. Shirazi, K.M. Kavi and A. Hurson. "A model for dataflow computations with result sharing and its performance evaluation", Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI, Jan. 7-10, 1992, pp. I 515-525.

    D.H. Lin, B. Shirazi and K.M. Kavi. "A heterogeneous distributed processing interface specification language", Proc. of 1991 Intl Conference on Parallel Processing, pages II-274-275.

    V. Vijayaraghavan, K.M. Kavi and B. Shirazi. "Control flow extensions to the dataflow language SISAL", Proc. of the 1991 Symposium on Applied Computing, Apr. 3-5, 1991, Kansas City, MO, pp. 130-138.

    K.M. Kavi and A.R. Hurson. "Mult-Threaded Systems: Issues, Solutions And Future - Introduction to the Minitrack on Multithreaded Systems", Proceedings of the 30th Hawaii International Conference on SystemSciences (HICSS-30), Jan. 1997, Maui, Hawaii.

    K. M. Kavi, I. Lee and N. Serbedzija. "Distributed Real-Time Systems: An Introduction to the Minitrack", Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS-29), Jan. 1996, Maui, Hawaii.

    F.T. Sheldon and K.M. Kavi. "Linking software failure behavior to specification characteristics", Proceedings of 4th International Workshop on Evaluation Techniques for Dependable Systems, Oct. 1995, San Antonio, TX.

    F.T. Sheldon and K.M. Kavi. "Linking software failure behavior to specification characteristics.", Record of 3rd IEEE International Workshop on integrating error models with fault injection, Annapolis, MD, April 25-26, 1994.

    K.M. Kavi, B. Wyatt, B. Shirazi, and A.R. Hurson . "Evaluation of dynamic inheritance in distributed environments. Proc. of 1994 ASME European Joint Conference on Engineering Systems Design and Analysis, (ESDA-94), London, England, July 4-7, 1994, ASME, NY, Vol. 5, pp. 525- 532.

    P. Shanmugam, S. Andhare and K.M. Kavi. "Justifying cache memories for dataflow architectures", Workshop on fine-grained massively parallel coordination, at International Symposium on Computer Architecture, May 15-20, 1993, San Diego, CA.

    M.C. Measures and K.M. Kavi. "An Hierarchical Model for Object-Oriented Systems", Proc. of 1992 ASME European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29 - July 3, 1993, pp. Vol. 4 67-72.

    B.P. Weems, K.M. Kavi and S.M. Yang. "HIPP: An honors program in parallel processing", Proceedings of 1992 ASEE National Conference, pp 428-432.

    Prior to 1991

    K.M. Kavi and T.C. Lin. "Reliability analysis using dataflow graph models and approximate solutions", in Approximation, Optimization and Computing, edited by A.G. Law and C.L. Wang, North-Holland/Elsevier , New York, 1990. pp. 105-109.

    K.M. Kavi and B.D. Shriver. (Editors) Proceedings of the IEEE workshop on Computer Systems Organization, New Orleans, March 21-23, 1983.

    A.K. Deshpande and K.M. Kavi. "A Model for the specification of concurrent processes", Journal of Microcomputer Applications Vol. 8, No. 3, 1989, pp. 95-102, (ACTA Press for International Society for Mini and Microcomputers - ISMM)).

    A.K. Deshpande and K.M. Kavi. "A review of specification and verification methods for parallel programs, including the dataflow approach", IEEE proceedings, Vol. 77, No. 12, (Dec. 1989), pp. 1816-1828.

    K.M. Kavi, B.P. Buckles and U.N. Bhat. "Isomorphisms between Petri nets and Dataflow graphs", IEEE Tr. on Software Engineering, Oct. 1987, pp. 1127-1134 (SE-13, 10).

    U.N. Bhat and K.M. Kavi. "Reliability analysis of computer systems including Petri nets and dataflow graphs', Sadhana, Oct. 1987, pp. 167-186 (Vol. 11, Parts 1&2).

    K.M. Kavi and U.N. Bhat. "Reliability analysis of computer systems using dataflow graph models", IEEE Tr. on Reliability, Dec. 1986, pp. 529-532, (R-35, 5).

    K.M. Kavi, B.P. Buckles and U.N. Bhat. "A formal definition of dataflow graph models", IEEE Tr. on Comp., Nov. 1986, pp. 940-948 (C-35, 11).

    W.G. Shieh, B.P. Weems and K.M. Kavi. "An N-grid model for group authorization", Proc. of the 6th annual IEEE computer security applications conference, Dec. 6-8, 1990, Tucson, AZ, pp. 384-392.

    K.M. Kavi, S.R. Kuthalam and A.K. Deshpande. "A decomposition approach for analysis of parallel processing systems", Proc. of 2nd IEEE symposium on parallel and distributed processing , Dallas, Dec. 9-13, 1990, pp. 776-779.

    K.M. Kavi and A.K. Deshpande. "A model and a proof system for parallel and distributed processes", Proc. of Hawaii Intl. Conf. on System Sciences, HICSS-23, Kona, Hawaii, Jan 1990, pp. II 386-392.

    K.M. Kavi and T.C. Lin. "Reliability analysis using dataflow graph models and approximate solutions", Proc. of Intl. Symp. on Approximations, Optimization and Computing (Dalian, China, July 3-7, 1989). Proceedings available as Approximation, Optimization and Computing, edited by A.G. Law and C.L. Wang, North-Holland, 1990, pp. 105-109.

    D.J. Chen, M.C. Sheng and K.M. Kavi. "The discrete time stochastic dataflow graphs for the reliability modeling and analysis of computer systems", Proc. of ICCI 89 (Intl. Conf. on Computing and Information), May 23-27, 1989, Toronto, Canada, pp. Volume-II 94-98.

    F.T. Sheldon and K.M. Kavi. "A new software reliability model for estimating failure rate due to residual defects", Proc. of Workshop on Applied Computing (WAC-89), Stillwater, OK, March 30-31, 1989, pp. 7-13.

    K.M. Kavi and D.J. Chen. "A qualitative assessment of object-oriented architectures: SWARD, Intel 432 and IBM S/38", Proc. of International Computer Symposium, ICS-88, Taipei, Taiwan, Dec. 15-17, 1988, pp. 175-181.

    D.J. Chen, K.M. Kavi and U.N. Bhat. "Dynamic reliability analysis of communication networks using continuous time stochastic dataflow graphs", Proc. of ACM South Central Regional conference, Lafayette, LA, Nov. 21-23, 1987, pp. 158-171.

    D.J. Chen, K.M. Kavi and P. Hsia. "A planned incremental construction methodology using dataflow graphs", Proc. COMPSAC-87, Oct. 5-9, 1987, Tokyo, pp. 96-102.

    K.M. Kavi and D.J. Chen. "Architectural support for object-oriented programming languages", Proc. COMPCON, Spring 1987, San Francisco, Feb. 23-26, 1987, pp. 54-58.

    K.M. Kavi, EW. Banios and B.D. Shriver. "MRDF: An architectural model for distributed processing", Proc. 11th annual Symp. on computer architecture, (ISCA-11) Ann Arbor, MI, June 5- 7, 1984, pp. 271-278.

     

  • Professional Experience

    2001-2009: Professor and Chair, Dept of Computer Science and Engineering, University of North Texas.

    1997-2001: Eminent Scholar Chair Professor of Computer Engineering, Dept. of Electrical and Computer Engineering, University of Alabama in Huntsville

    1993-1995: National Science Foundation, Program Manager (CISE/CCR)

    1982-1997: Dept. of CSE, The University of Texas at Arlington

    1980-1982: Dept. of CS, The University of Southwestern Louisiana