Kavi, K. M. (1992). IEEE CS Tutorial on Real-Time Systems: Abstractions, Languages and Design Methodologies. IEEE Computer Society Press.
Shelor, C., Pace, D., Kavi, K. M. (2015). Concurrency, Synchronization, Speculation - the Dataflow way, Advances in Computers. Advances in Computers. 96, 47-104. Elsevier.
Janjusic, T., Kavi, K. M. (2014). Hardware and application profiling tools - a survey, Advances in Computers. 12(1), 105-160. Elsevier.
Paul, R., Yen, I. L., Bastani, F., Tsai, W. T., Kavi, K. M., Ghafoor, A., Srivastava, J., Sheu, C. (2008). An ontology-based integrated assessment framework for high-assurance systems. Semantic Computing.
Hurson, A. R., Kavi, K. M. (2008). Dataflow Revival " a renewed interest in dataflow architecture". Wiley Encyclopedia of Computer Science.
Kavi, K. M., Akl, R., Hurson, A. R. (2008). Real-Time Systems: An introduction and the state-of-the-art. Wiley Encyclopedia of Computer Science.
Kavi, K. M., Akl, R. (2007). Modeling and Analysis using Computational Tools. Queuing Theory: Modeling and Analysis by U. Narayan Bhat. Boston: Birkhauser.
Kavi, K. M., Kim, H. S., Lee, B., Hurson, A., Zerkowitz, M. (2000). Distributed Shared Memory Systems: A survey. Advances in Computers. 53, 55-108. Academic Press.
Kavi, K. M., Lee, B., Hurson, A., Zerkowitz, M. (1998). Multithreaded systems: A survey. Advances in Computers. 46, 287-327. Academic Press.
Kavi, K. M., Lin, T. C., Law, A. G., Wang, C. L. (1990). Reliability analysis using dataflow graph models and approximate solution. Approximation, Optimization and Computing. 105-109. New York: North-Holland/Elsevier.
Weaver, A., Kavi, K. M., Vasireddy, P., Mehta, G. (2022). Memory-side acceleration and sparse compression for quantized packed convolutions. IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-2022).
Vasireddy, P., Kavi, K. M., Mehta, G. (2022). HHT: Hardware accelerator thread for unstructured sparse data processing. Washington, DC: IEEE/ACM.
Vasireddy, P., Kavi, K. M., Mehta, G. (2022). Sparse-T: Hardware accelerator thread for unstructured sparse data processing. San Diego: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2022).
Adavally, S., Kavi, K., Mehta, G. (2021). Subpage Migration in Heterogeneous Memory Systems. Proceedings of the 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021), Colocated with ICS 2021.
Adavally, S., Kavi, K. M. (2021). Subpage migration in heterogeneous memory systems. 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021), Colocated with ICS 2021.
Yanambaka, V., Brown, N., Ting, D., Kavi, K. M. (2020). Offensive and Defensive Perspectives in Additive Manufacturing Security. 2020, . Porto: International Conference on Software Engineering Advances (ICSEA-2020).
Adavally, S., Gulur, N., Kavi, K. M., Weaver, A., Dutta, P., Wang, B. (2020). ExPress: Simultaneously Achieving Storage, Performance andEnergy Efficiencies in Sparse Matrix Computations. ACM.
Adavally, S., Kavi, K. M. (2020). Towards Automating Application-Specific Address Mapping for Emerging Memory Devices. ACM.
Mosquera, F., Gulur, N., Kavi, K. M., Mehta, G., Sun, H. (2020). CHASM: Security Evaluation of Cache Mapping Schemes. International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
Mosquera, F., Gulur, N., Kavi, K. M., Mehta, G., Sun, H. (2020). CHASM: Security Evaluation of Cache Mappings Schemes. pp 245-261. Samos Island, Greece: International Conference on Embedded Computer Systems: Architecture, Modeling and Simulation (SAMOS 2020). https://samos-conference.com/Drupal/?q=node/4
Yanambaka, R., Maheshwari, R., Kavi, K. M. (2019). Requirements traceability in CPS using Semantic Inference. 7. Valencea, Spaina: International Conference on Software Engineering Advances (ICSEA-2019).
Yanambaka, R., Maheshwari, R., Kavi, K. M. (2019). SIMON: Semantic Inference Model for Security in CPS using Ontologies (Received Best Paper Award). 8 pages. Valencia: International Conference on Software Engineering Advances (ICSEA-2019), IARIA.
Adavally, S., Kavi, K. M. (2019). Improving Performance of Sparse and Dense Matrices using a Specialized Load-Store Unit. 6 pages. Zhanggiajie, China: IThe 21st IEEE International Conference on High Performance Computing and Communications (HPCC-2019). http://csee.hnu.edu.cn/hpcc2019/
Shelor, C., Kavi, K. M. (2019). Reconfigurable Dataflow Graphs For Processing-In-Memory. 110-119. ACM International Conference on Distributed Computing and Networking (ICDCN-2019).
Yanambaka, R., Kamongi, P., Kavi, K. (2018). An Ontology-Driven Framework for Security and Resiliency in Cyber Physical Systems. 7 pages. International Conference on Software Engineering Advances (ICSEA 2018), Published by IARIA.
Adavally, S., Kavi, K. M. (2018). 3D-DRAM performance for different OpenMP scheduling techniques in multicore systems. Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications. 675-683. IEEE.
Yanambaka, R., Kavi, K. M. (2017). CLIPS: Customized levels of IoT privacy and security. 7 pages. Athens: Proceedings of the 12th International Conference on Softare Engineering Advances (ICSEA-2017).
Shelor, C., Kavi, K. M. (2017). Dataflow based near data computing achieves excellent energy efficiency. 7 pages. Bochum: International symposium on Highly-Efficient Accelerators and Reconfigurable Technologies (HEART 2017).
Scrbak, M., Kavi, K. M., Greathouse, J., Jayasena, N. (2017). DVFS Space Exploration in Power Constrained Processing-in-Memory Systems. 12 pages.
Islam, M., Kavi, K. M., Meswani, M., Banerjee, S., Jayasena, N. (2017). HBM-Resident prefetching for heterogeneous memory systems. 12 pages.
Islam, M., Banerjee, S., Meswani, M., Kavi, K. M., (2016). Prefetching as a potentially effective technique for hybrid memory optimization. Washington, DC: Proceedings of the International Symposium on Memory Systems (MEMSYS 16).
Kamongi, P., Kavi, K. M. (2016). Predicting unknown vulnerabilities using software metrics and maturity models. The 8th International conferences on software engineering advances (ICSEA-2016).
Gopalakrishnan, A., Kavi, K. M. (2016). Probabilistic analysis of contracting Ebola virus using contextual intelligence. Las Vegas: Proceedings of the 2nd International conference on health informatics and medical systems (HiMS'16).
Shelor, C., Kavi, K. M., Adavally, S. (2015). Dataflow based near-data processing using coarse grained reconfigurable logi. Waikiki, HI: 3rd Workshop on Near-Data Processing (WoNdp-3).
Shelor, C., Kavi, K. M. (2015). Moola: Multicore Cache Simulator. 30th International Conference on Computers and Their Applications (CATA-2015) Honolulu, Hawaii. http://csrl.cse.unt.edu/~kavi/Research/CATA-2015.pdf
Lee., C., Kavi, K. M., Paul, R., Gomathisankaran, M. (2015). Ontology of secure service level agreement. 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015). http://csrl.cse.unt.edu/~kavi/Research/HASE-2015.pdf
Scrbak, M., Islam, M., Kavi, K. M., Ignatowski, M., Jayasena, N. (2015). Processing-in-Memory: Exploring the design Space. 28th International Conference on the Architecture of Computer Systems (ARCS-2015). http://csrl.cse.unt.edu/~kavi/Research/ARCS-2015.pdf
Lee, C., Kavi, K. M. (2015). Evaluation of Security Service Level Agreements. Barcelona: Tenth International Conference on Software Engineering Advances (ICSEA 2015).
Shidal, J., Spilo, A. J., Scheid, P. T., Cytron, R., Kavi, K. M. (2015). Recycling trash in cache. Portland: Proceedings of the International Symposium on Memory Management (ISMM-2015).
Kamongi, P., Gomathisankaran, M., Kavi, K. M. (2014). 6th ASE International Conference on Privacy, Security, Risk and Trust (PASSAT-2014). http://csrl.cse.unt.edu/~kavi/Research/PSSAT-2014.pdf
Kavi, K. M., Pianelli, S., Pisano, G., Regina, G., Ignatowski, M. (2014). 3D DRAM and PCMs in processor memory hierarchy, International conference on the Architecture of Computer Systems (ARCS-2014), Feb. 2014. International conference on the Architecture of Computer Systems (ARCS-2014), Feb. IEEE.
Wang, X., Fu, S., Kavi, K. M. (2014). 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. ACM.
Lee, C., Kavi, K. M., Gomathisankaran, M. (2014). Component rejuvenation for security in Cloud services. Proceedings of the 2014 International conference on Security and Management (SAM'14), July 21-24, Las Vegas, USA. IEEE.
Lee, C., Kavi, K. M., Gomathisankaran, M. (2014). Ontology based privacy setting transfer scheme on social networking systems. Proceedings of the 2014 International conference on Security and Management (SAM'14), July 21-24, Las Vegas, USA. IEEE.
Lin, C., Kavi, K. M. (2014). Performance engineering using performance anti-patterns. 9th International Conference on Software Engineering Advances (ICSEA-2014), Oct. 12-16, Nice, France. IARIA. http://csrl.cse.unt.edu/~kavi/Research/ICSEA-2014-1.pdf
Shelor, C., Buchanan, J., Kavi, K. M. (2014). Quantifying wasted writes energy in memory hierarchy. Proceedings of the International Conference on Computers and Their Applications (CATA-2014), March. ISCA.
Shidal, J., Gottlieb, Z., Cytron, R., Kavi, K. M. (2014). Trash in Cache: Detecting eternally silent stores. ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC-2014), Edinburgh, Scotland. ACM.
Sherman, J., Potter, B., Kavi, K. M., Igantowski, M. (2013). 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.
Pace, D., Kavi, K. M., Shelor, C. (2013). MT-SDF: Scheduled Dataflow Architecture with mini-threads, DFM-2013 Workshop. Held in conjunction with PACT-2013, Edinburgh, Scotland, Sept 8-11. ACM.
Kavi, K. M. (2012). 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), Lisbon, Portugal.
Fawibe, A., Sherman, J., Kavi, K. M., Ignatowski, M., Mayhew, D. (2012). New memory organizations for 3D DRAM and PCMs. Proceedings of the ARCS2012: Architecture of Computing Systems, TU Muenchen, Germany.
Kavi, K. M. (2012). Trace driven data structure transformations. PMBS 2012: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Salt Lake City, UT.
Kotikeala, S., Kavi, K. M., Gomathisankaran, M. (2012). Vulnerability assessment in cloud computing. Proceedings of the 2012 International conference on Security and Management (SAM'12) Las Vegas.
Nwachukwu, I., Kavi, K. M., Fawibe, A., Yan, C. (2011). Evaluation of techniques to improve cache access uniformities. Proceedings of the 40th Annual Conference on Parallel Processing (ICPP-2011) Taipei, Taiwan. 31-40.
Janjusic, T., Kavi, K. M., Potter, B. (2011). Gleipnir: A memory analysis tool. Proceeding of the 2011 International Conference on Computational Science, Tsukuba, Japan.
Dubasi, M., Fawibe, A., Garitselov, O., Kavi, K. M., Nwachuku, I., Okabia, O. (2011). 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) Cluj Napoca, Romania.
Naz, A., Adamo, O., Kavi, K. M., Janjusic, T. (2009). Improving uniformity of cache access patterns using split data caches. Proceedings of ISCAPDCS-2009, Louisville, KY.
Adamo, O., Naz, A., Kavi, K. M., Janjusic, T. (2009). 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.
Kavi, K. M., Li, W., Hurson, A. (2008). A non-blocking multithreaded architecture with support for speculative threads. Proceedings of the 8th International Conference on Algorithms, Architectures and Applications of Parallel Processing (ICA3PP-208), Cyprus.
Chen,, Kavi, K. M., Sweany, P., Chung, C. P. (2008). Evaluating redundant function elimination. Proceeding of ISCA 21st International Conference on Parallel and Distributed Computing and Communications (PDCCS-2008), New Orleans, LA.
Lin, C., Kavi, K. M., Sheldon, F., Daley, K. M. (2007). A methodology to evaluate agent-oriented software engineering techniques. Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS-07), Hawaii. 60a-69a.
Kung, D., Kavi, K. M., Krogstle, J., Lothe, A., Brinkkemper, S. (2007). Conceptual modeling and software design of multi-agent systems. Conceptual Modeling in Information Systems Engineering. 159-171. Springer.
Gao, X., Hurson, A., Kavi, K. M. (2007). Estimate validity regions for nearest neighbor queries. Proceeding the 2nd International Conference on Software and Data Technologies (ICSOFT-2007) Barcelona, Spain. 129-136.
Naz, A., Kavi, K. M., Oh, J., Foglia, P. (2007). Reconfigurable split data caches: A novel scheme for embedded systems. Proceedings of the 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea. 707-7112.
Naz, A., Kavi, K. M., Sweany, P., Li, W. (2006). A study of reconfigurable split data caches and instruction caches. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 235-240.
Li, W., Mohanty, S., Kavi, K. M. (2006). Page-based software-hardware co-design of a dynamic memory allocator. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 229-234.
Chen, P., Kavi, K. M., Akl, R. (2006). Performance enhancement by eliminating redundant function execution. Proceedings of the IEEE 39th Annual Simulation Conference, Huntsville, AL. 143-150.
Li, W., Kavi, K. M., Naz, A., Sweany, P. (2006). Speculative thread execution in a multithreaded dataflow architecture. Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, San Francisco, CA. 102-107.
Li, W., Kavi, K. M., Akl, R. (2005). An efficient non-pre-emptive real-time scheduling algorithm. Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing (PDCS-2005), Las Vegas. 154-160.
Naz, A., Rezaei, M., Kavi, K. M., Sweany, P. (2005). Making a case for split data caches for embedded applications. Proceedings of the workshop on MEDEA-2005 (held in conjunction with Parallel Architecture and Compiler Technology, PACT-2005), St. Louis.
Naz, A., Kavi, K. M., Sweany, P., Rezaei, M. (2004). 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. 157-164.
Naz, A., Rezaei, M., Kavi, K. M., Sweany, P. (2004). 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 with Parallel Architectures and Compiler Technology (PACT-2004) Conference, Antibes Juan-Les-Pins, France.
Song, L., Zhang, Y., Kavi, K. M. (2003). A simple loop transformation for multithreaded, superscalar and VLIW architectures. Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems, Reno, Nevada, USA.
Song, L., Kavi, K. M., Cytron, R. K. (2003). An Unfolding-Based Loop Optimization Technique. Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES'03), Vienna, Austria. 2826, 117-132. Springer Verlag.
Kavi, K. M., Chen, P. (2003). Dynamic function result reuse. Proceedings of the 11th International Conference on Advanced Computing (ADCOM-2003), Coimbatore, India.
Kavi, K. M., Kung, D., Bharnbhani, H., Pancholi, G., Kanikarla, M., Shah, R. (2003). Extending UML to modeling and design of multi-agent systems. Proceedings of the 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03), held in conjunction with the IEEE International Conference on Software Engineering (2003), Portland, Oregon.
Fox, L. M., Hill, C. R., Cytron, R. K., Kavi, K. M. (2003). 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) San Jose, CA.
Rezaei, M., Kavi, K. M. (2003). 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, Reno, Nevada, USA.
Kavi, K. M., Aborizka, M., Kung, D. (2002). 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. 196-201.
Song, L., Kavi, K. M. (2002). A technique for variable dependent driven loop peeling. Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China. 390-395.
Donahue, S., Hampton, M. P., Cytron, R., Franklin, M., Kavi, K. M. (2002). 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, Anchorage, Alaska.
Arul, J., Kavi, K. M. (2002). 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. 214-221.
Kavi, K. M., Aborizka, M. (2001). Glass-Box: An intelligent flight data recorder and real-time monitoring systems. Proc. of the 39th AIAA Aerospace Sciences Meeting, Reno, NV, AIAA 2001-0317.
Raskovic, D., Jovanov, E., Kavi, K. M. (2001). Hierarchical Digital Signal Processing. Proc. of 2001 IEEE International Symposium on Intelligent Signal Processing and Communication Systems, ISPACS 2001, Nashville, TN.
Kavi, K. M., Arul, J., Giorgi, R. (2001). Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications. Proceedings of the ISCA PDCS-2001, Dallas Texas. 365-371.
Donahue, S. M., Hampton, M. P., Deters, M., Nye, J. M., Cytron, R. K., Kavi, K. M. (2001). Storage Allocation for real-time, embedded systems. Proceedings of the First International Workshop on Embedded Software (EMSOFT 2001). 131-147. Springer Verlag.
Rezaei, M., Kavi, K. M. (2000). A new implementation for memory management. Proceedings of the IEEE Southeastcon 2000 Conference, Nashville, TN.
Kavi, K. M., Rezaei, M., Cytron, R. (2000). An efficient memory management technique that improves localities. Proc. 8th International Conference on Advanced Computing and Communications (ADCOM 2000), Cochin, India. 87-94.
Arul, J., Kavi, K. M., Hanief, S. (2000). Cache Performance of Scheduled Dataflow Architecture. Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong. 110-123.
Kavi, K. M., Giorgi, R., Arul, J. (2000). Comparing execution performance of Scheduled Dataflow Architecture with RISC processors. Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00) Las Vegas. 41-47. International Society of Computers and Their Applications.
Giorgi, R., Kavi, K. M., Arul, J. (2000). 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.
Aborizka, M., Kavi, K. M. (2000). Learning technologies with flight data recorders. Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong. 478-489.
Kavi, K. M., Mehta, D. (2000). Mutual Exclusion. On Optical Networks. Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Las Vegas. 250-255. International Society of Computers and Their Applications.
Kavi, K. M., Kim, H., Arul, J., Hurson, A. R. (1999). A decoupled scheduled dataflow multithreaded architecture. Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN-99), Fremantle, Western Australia. 138-143.
Kim, H. S., Kavi, K. M., Hurson, A. R. (1999). A simple non-blocking multithreaded architecture. Proceedings of the 12th ISCA Parallel and Distributed Computing Systems Conference (PDCS-99) Ft. Lauderdale, FL. 231-236. International Society of Computers and Their Applications.
Lim, J. B., Hurson, A. R., Kavi, K. M. (1999). Concurrent data access in mobile heterogeneous systems. Proceedings of the Hawaii International Conference on System Sciences (HICSS-99).
Hecht, D., Kavi, K. M., Gaede, R., Katsinis, C. (1999). 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. 100-105.
Hurson, A. R., Kavi, K. M. (1999). Interactive teaching practices in small class sizes while cutting into the high cost of education. Proceedings of the International Conference on Engineering Education, Ostrava, Czech.
Kavi, K. M., Hernandez, A., Levine, D. (1998). Hyperactive Messages. Proceeding of the International Conference on Parallel and Distributed Computing Systems, Los Vegas. 704-708.
Kavi, K. M., Levine, D., Hurson, A. R. (1997). A non-blocking multithreaded architecture. Proceedings of the Fifth International Conference on Advanced Computing (ADCOMP'97), Madras, India. 171-177.
Chen, T. S., Youn, H. Y., Kavi, K. M. (1997). Scalable software system architecture for parallel logic simulation. Parallel and distributed computing systems symposium, New Orleans, LA. 59-64.
Lim, J. T., Hurson, A. R., Kavi, K. M. (1997). VL-Stag: An allocation policy for Doacross loops. 111-116. Proceedings of the First European Conference on Parallel and Distributed Systems (Euro-PDS 97), Barcelona.
Hurson, A. R., Lim, J. T., Kavi, K. M. (1996). Cyclic staggered loop allocation. Proceedings of the IEEE Symposium on Parallel and Distributed Processing, New Orleans, LA. 240-249.
Kavi, K. M., Hurson, A. R. (1996). Investigation of operand memory reuse in a dynamic dataflow architecture. Proceedings of the High Performance Computing Symposium, New Orleans, Louisiana. 288-295.
Youn, H. Y., Choo, H., Kavi, K. M. (1996). Performance enhancements of multistage interconnection networks using unit step buffering (USB) scheme. Proc. of the international conference on systems engineering, Las Vegas, NV.
Kavi, K. M., Youn, H. Y. (1995). A real-time performability evaluation tool. Proceedings of the Computers in Aerospace-10, San Antonio.
Kavi, K. M., Hurson, A. R. (1995). Cache memories in dataflow architecture. Proc of the 7th IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX. 182-189.
Kavi, K. M., Hurson, A. R., Patadia, P., Abraham, E., Shanmugam, P. (1995). Design of cache memories for multi-threaded dataflow architecture. Proceedings of the 22nd Intl. Symp. on Computer Architecture (ISCA-22), St. Margherita Ligure, Italy. 253-264.
Lim, J., Hurson, A., Miller, L., Kavi, K. M. (1995). Dynamic object allocation for distributed object-oriented databases. Proceedings of the International Conference on High Performance Computing (HiPC), New Delhi, India.
Kavi, K. M., Sheldon, F. T., Shirazi, B., Hurson, A. R. (1995). Reliability analysis of CSP specifications using Petri nets and Markov processes. Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28), Maui, Hawaii. II 516-524.
Sheldon, F. T., Kavi, K. M. (1995). Reliability analysis of CSP specifications: A new method using Petri nets. Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995). 317-326.
Kavi, K. M., Sheldon, F. T. (1995). Specification and Analysis of Real-Time Systems using CSP and Petri Nets. Proceedings of the Fault Tolerant Systems Conference (FTS-95) I.I.T. Madras, India, Dec. 20-22, 1995. 141-147. New Delhi: Narosa Publishing House.
Kavi, K. M., Youn, H. Y., Shirazi, B., Hurson, A. R. (1994). A performability model for soft real-time systems. Proceedings the 27th Hawaii International Conference on Systems Sciences, HICSS-27, Maui, HI. II 571-580.
Karani, V., Patadia, P., Kavi, K. M., Shanmugam, P., Shirazi, B., Hurson, A. R. (1994). Improvements to the ETS dynamic dataflow architecture. Proceedings of the 27th Hawaii Intl Conference on Systems Sciences, HICSS-27, Maui, HI. I 378-387.
Hurson, A. R., Lim, J. T., Kavi, K. M., Shirazi, B. (1994). Loop allocation scheme for multithreaded dataflow computers. Proceedings of the 8th International Parallel Processing Symposium (IPPS 94), Cancun, Mexico. 316-322.
Shirazi, B., Chen, H. B., Kavi, K. M., Marquis, J., Hurson, A. R. (1994). PARSA: A parallel program software development tool. 3rd Symposium on Assessment of Quality Software Development Tools, Washington, DC. 96-111.
Kavi, K. M., Sheldon, F. T. (1994). Specification of Stochastic Properties with CSP. Proceeding of the International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan. 288-293.
Hurson, A. R., Lim, J. J., Shirazi, B., Kavi, K. M. (1994). Staggered Scheme: A loop allocation policy. 6th International Parallel Architectures and Languages Europe Conference (PARLE'94), Athens Greece, Proceedings available as Lecture Notes in Computer Science #817. 793-796. Springer Verlag.
Yang, S. M., Pizzorni, P. R., Kavi, K. M., Mei, H. (1993). A protocol for real-time message scheduling in LAN/MAN. Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26). II 613-621.
Shanmugam, P., Andhare, S., Kavi, K. M., Shirazi, B., Hurson, A. R. (1993). Cache memory for an explicit token store dataflow architecture. Proceedings of the 5th IEEE symposium on parallel and distributed processing, Dallas, Texas. 45-50.
Chen, H. B., Shirazi, B., Kavi, K. M., Hurson, A. R. (1993). Linear clustering with task duplication: A novel static scheduling method for distributed memory systems. Proc. of the 9th international conference on systems engineering, Las Vegas, Nevada. 16-20.
Shirazi, B., Kavi, K. M., Hurson, A. R., Biswas, P. (1993). PARSA: A parallel program scheduling and assessment environment. Proc of 1993 International Conference on Parallel Processing. 68-72.
Lee, B., Kavi, K. M. (1993). Program partitioning for multithreaded dataflow computers. Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26). II 487-495.
Chen, H. B., Shirazi, B., Kavi, K. M., Hurson, A. R. (1993). Static scheduling using linear clustering with task duplication. Proc. of sixth Intl. Conf. on Parallel and Distributed Computing Systems, Lexington, Kentucky. 285-290.
Krishnaprasad, S., Shirazi, B., Kavi, K. M., Hurson, A. (1992). 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. I 515-525.
Yen, J. T., Shirazi, B., Kavi, K. M. (1992). A new cache coherency and address translation consistency protocol. Proc. of 1992 Intl Conference on Parallel Processing, Ann Arbor, MI. 18-21.
Lin, D. H., Shirazi, B., Kavi, K. M. (1992). An efficient data interface for heterogeneous distributed environment. Proc of the International Conference on Distributed Computing Systems (ICDCS-92), Yokohama, Japan. 390-397.
Kavi, K. M., Vijayaraghavan, V., Shirazi, B., Hurson, A. (1992). Barriers and breakpoints in dataflow: extensions to SISAL language. Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI. I 526-534.
Shieh, W. G., Weems, B. P., Kavi, K. M. (1992). Extending N-grid group authorization using compact encoding. Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA. 190-196.
Kim, B., Youn, H. Y., Kavi, K. M. (1992). 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. 162-165.
Yang, S. M., Kavi, K. M., Agrawala, A., Reddi, M., Anam, S. (1992). SUVS: A distributed real-time system testbed for fault-tolerant computing. Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA. 782-791.
Lin, D. H., Shirazi, B., Kavi, K. M. (1991). A heterogeneous distributed processing interface specification language. Proc. of 1991 Intl Conference on Parallel Processing. II-274-275.
Vijayaraghavan, V., Kavi, K. M., Shirazi, B. (1991). Control flow extensions to the dataflow language SISAL. Proc. of the 1991 Symposium on Applied Computing, Kansas City, MO. 130-138.
Kavi, K. M., Kuthalam, S. R., Deshpande, A. K. (1990). A decomposition approach for analysis of parallel processing systems. Proc. of 2nd IEEE symposium on parallel and distributed processing, Dallas. 776-779.
Kavi, K. M., Deshpande, A. K. (1990). A model and a proof system for parallel and distributed processes. Proc. of Hawaii Intl. Conf. on System Sciences, HICSS-23, Kona, Hawaii. II 386-392.
Shieh, W. G., Weems, B. P., Kavi, K. M. (1990). An N-grid model for group authorization. Proc. of the 6th annual IEEE computer security applications conference, Tucson, AZ. 384-392.
Kavi, K. M., Lin, T. C., Law, A. G., Wang, C. L. (1990). Reliability analysis using dataflow graph models and approximate solutions. Proc. of Intl. Symp. on Approximations, Optimization and Computing, Dalian, China. 105-109. North-Holland.
Sheldon, F. T., Kavi, K. M. (1989). A new software reliability model for estimating failure rate due to residual defects. Proc. of Workshop on Applied Computing (WAC-89), Stillwater, OK. 7-13.
Chen, D. J., Sheng, M. C., Kavi, K. M. (1989). 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), Toronto, Canada. II, 94-98.
Kavi, K. M., Chen, D. J. (1988). A qualitative assessment of object-oriented architectures: SWARD, Intel 432 and IBM S/38. Proc. of International Computer Symposium, ICS-88, Taipei, Taiwan. 175-181.
Chen, D. J., Kavi, K. M., Hsia, P. (1987). A planned incremental construction methodology using dataflow graphs. Proc. COMPSAC-87, Tokyo. 96-102.
Kavi, K. M., Chen, D. J. (1987). Architectural support for object-oriented programming languages. Proc. COMPCON, San Francisco. 54-58.
Chen, D. J., Kavi, K. M., Bhat, U. N. (1987). Dynamic reliability analysis of communication networks using continuous time stochastic dataflow graphs. Proc. of ACM South Central Regional conference, Lafayette, LA. 158-171.
Kavi, K. M., Banios, E. W., Shriver, B. D. (1984). MRDF: An architectural model for distributed processing. Proc. 11th annual Symp. on computer architecture, (ISCA-11) Ann Arbor, MI. 271-278.
Kavi, K. M., Cragon, H. G. (1983). A conceptual framework for the description and classification of computer architecture. Proc. IEEE intl. wksp. on Comp. Syst. Org., New Orleans. 10-19.
Kavi, K. M. (1983). Dataflow modeling techniques. Proc. IASTED Intl. conf. on Siml. and Modl., Orlando, FL. 1-4.
Perkins, T. E., Kavi, K. M. (1983). Heuristic graph algorithms for modularization. Proc. 5th intl. conf. on computer capacity management, New Orleans. 246-252.
Kavi, K. M., Shriver, B. D. (1983). Proceedings of the IEEE workshop on Computer Systems Organization.
Kavi, K. M., Jackson, U. B. (1982). Effects of declaration statements on software science. Proc. of SCORE-82: Wksp. on software counting rules, IBM-SRI, New York. 11(2), 57-71.
Kavi, K. M., Belkhouche, B., Bullard, E., Delcambre, L., Nemecek, S. (1982). HLL architectures: pitfalls and predilections. Proc. 9th annl. symp. on comp. arch., (ISCA-9) Austin, TX. 18-23.
Kavi, K. M., Cragon, H. G. (1980). Quest for an 'Ideal" machine language. Proc. of intl. wksp. on HLL comp. arch., Ft. Lauderdale, FL. 33-39.
Adavally, S., Kavi, K. M., Islam, M. (2021). Dynamically adapting page migration policies based on applications memory access behaviors. ACM Journal on Emerging Technologies in Computing Systems (JETC). 17(2), 24 pages.
Yanambaka, R., Brown, N., Maheshwari, R., Kavi, K. M. (2020). A Domain-Agnostic Framework for Secure Design and Validation of CPS systems. International Journal on Advances in Security. 13(3&4), 13 pages. IARIA.
Islam, M., Adavally, S., Scrbak, M., Kavi, K. M. (2020). On-the-Fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems. ACM Journal on Emerging Technologies in Computing Systems (JETC). 16(1), 27 pages.
Scrbak, M., Islam, M., Kavi, K. M., Ignatowski, M., Jayasena, N. (2016). Exploring the processing in memory design space. Journal of Systems Architecture. Elsevier.
Kavi, K. M., Rezaei, M., (2016). ABT and SBT revisited: Efficient memory management techniques for object-oriented and web-based applications. International Journal of Science and Technology. 23(3), 1217-1227. Scietia Irancia.
Kavi, K. M., Pianelli, S., Pisano, G., Regina, G., Ignatowski, M. (2015). Memory organizations for 3D-DRAM and PCMs in processor memory hierarchy. Journal of Systems Architecture. 61, 539-552.
Lee, C., Kamongi, P., Kavi, K. M., Gomathisankaran, M. (2015). Optimus: A framework of vulnerabilities, attacks, defenses and SLA ontologies. International Journal of Next-Generation Computing. 6(1), .
Shelor, C. F., Buchanan, J., Kavi, K. M., Cytron, R. (2014). Potential energy savings through eliminating unnecessary writes in the cache-memory hierarchy. International Journal of Computers and Applications. 21(3), 178-187. http://csrl.cse.unt.edu/~kavi/Research/IJCA-2014
Lin, C. H., Lin, C. Y., Kavi, K. M., Chen, D. (2013). Finding near-optimal message scheduling settings for SHA-256 algorithm using genetic algorithms. Journal of Information Science and Engineering. 29(5), 889-905.
Lin, C., Kavi, K. M. (2013). A QoS-Aware BPEL Framework for Service Selection and Composition Using QoS Properties. 38(1 & 2), 56-58. IARIA.
Kavi, K. M., Nwachukwu, I., Fawibe, A. (2012). A comparative analysis of performance improvement schemes for L-1 caches. Elsevier International Journal on Computers and Electrical Engineering. 243-257.
Li, W., Rezaei, M., Kavi, K. M., Naz, A., Sweany, P. (2007). Feasibility of decoupling memory management from the execution pipeline. Journal of Systems Architecture. 53(12), 927-936. Elsevier.
Li, W., Kavi, K. M., Akl, R. (2007). A non-preemptive scheduling algorithm for soft real-time systems. Elsevier International Journal on Computers and Electrical Engineering. 33(1), 12-29.
Naz, A., Kavi, K. M., Li, W., Sweany, P. (2006). Tiny split data caches make big performance impact for embedded applications. Journal of Embedded Computing. 2(2), 207-219. IOS Press.
Li, W., Mohanty, S., Kavi, K. M. (2006). Page-based software-hardware co-design of a dynamic memory allocator. IEEE Computer Architecture Letters. 5(2), .
Rezaei, M., Kavi, K. M. (2006). Elimination of Cache Pollution Due to Memory Management using an Intelligent Memory Manager. Journal of Systems Architecture. 52(1), 41-55. Elsevier.
Sheldon, F., Potok, T., Kavi, K. M. (2004). Multi-agent system case studies in command and control, information fusion and data management. Journal of Informatica. 28(1), 78-89. Solvene Society Informatica. http://ai.ijs.si/informatica/
Kavi, K. M., Mehta, D. (2002). Mutual Exclusion. On Optical Networks. Parallel Processing Letters. 12(3 & 4), 341-358.
Kavi, K. M., Moshtaghi, A. R., Chen, D. (2002). Modeling multithreaded applications using Petri nets. International Journal on Parallel Programming. 30(5), 353-371. Kluwer/Plenum Publishing.
Chen, D. J., Chen, W. C., Kavi, K. M. (2002). Visual Requirements Representation. Journal of Systems and Software. 61(2), 129-143.
Chang, P. Y., Chen, D. J., Kavi, K. M. (2001). File allocation algorithms to minimize data transmission time for real-time applications in distributed computing systems. Journal of Information Science and Engineering. 17, 633-646. Institute of Information Science, Taipei, Taiwan.
Kavi, K. M., Giorgi, R., Arul, J. (2001). Scheduled Dataflow: Execution paradigm, architecture and performance evaluation. IEEE Transactions on Computers. 50(8), 834-846.
Kavi, K. M., Arul, J., Giorgi, R. (2000). Execution and cache performance of the Scheduled Dataflow Architecture. Journal of Universal Computer Science. 6(10), 948-967.
Chang, P. Y., Chen, D. J., Kavi, K. M. (2000). Multimedia file allocation under virtual circuit using multipath routing. IEEE Transactions on Computers. 49(9), 971-977.
Kavi, K. M. (1999). Multithreaded System Implementations. IASTED Journal of Microcomputer Applications. 17(2), 70-84.
Kavi, K. M., Kim, H. S., Hurson, A. R. (1999). Scheduled dataflow architecture: A synchronous execution paradigm for dataflow. IASTED International Journal of Computers and Applications. 21(3), 114-124.
Kavi, K. M., Browne, J. C., Tripathi, A. (1999). Computer systems research: The pressure is on. Computer. 30-39.
Kavi, K. M., Hurson, A. R. (1998). Design of cache memories in dataflow architectures. Journal of Systems Architecture. 44(9-10), 657-674. Elsevier.
Hurson, A. R., Kavi, K. M., Lim, J. T. (1998). Cyclic Staggering Scheme: A loop allocation policy for DOACROSS loops. IEEE Transactions on Computers. 251-255.
Kavi, K. M., Nahouraii, E. (1996). Assessment of Software Tools: Guest Editors Introduction. IEEE Software. 23-26.
Hurson, A. R., Kavi, K. M., Lee, B. (1996). Cache Memories in Dataflow Architectures. Other. 50-64.
Kavi, K. M., Wyatt, B., Shirazi, B. (1996). Evaluation of dynamic inheritance in distributed environments. IASTED Journal of Microcomputer Applications. 15(1), 26-37.
Kavi, K. M., Sheldon, F. T., Reed, S. (1996). Specification and analysis of real-time systems using CSP and Petri nets. International Journal of Software Engineering and Knowledge Engineering. 6(2), 229-248. World Scientific Publishing Company.
Weems, B. P., Kavi, K. M., Shirazi, B. (1995). HIPP: An honors program in parallel processing. International Journal of Engineering Education. 11(4 & 5), 329-335.
Wyatt, B. G., Kavi, K. M., Hufnagle, S. P. (1992). Parallelism in object oriented languages: A survey. IEEE Software. 56-66.
Kavi, K. M., Shirazi, B. (1992). Dataflow Architecture: Are dataflow computers commercially viable?. IEEE Potentials. 27-30.
Sheldon, F. T., Kavi, K. M., Tausworthe, C., Yu, J. T., Brettschneider, R., Everett, W. W. (1992). Software reliability measurement: From theory to practice. IEEE Software. 13-20.
Kavi, K. M., Yang, S. M. (1992). A survey of real-time design methodologies. Journal of Systems and Software. 85-99. Elsevier.
Kavi, K. M., Deshpande, A. K. (1991). Specification of concurrent processes using a dataflow model of computation and partially ordered events. Journal of Systems and Software. 6(2), 107-120. Elsevier Science Publishing.
Chen, D. J., Kavi, K. M. (1991). Stochastic dataflow graph models for the reliability analysis of interconnection and computer networks. Journal of Information Science and Engineering. 7(2), 253-278. Taipei: Institute of Information Science.
Deshpande, A. K., Kavi, K. M. (1989). A Model for the specification of concurrent processes. IASTED Journal of Microcomputer Applications. 8(3), 95-102. ACTA Press for International Society for Mini and Microcomputers - ISMM.
Deshpande, A. K., Kavi, K. M. (1989). A review of specification and verification methods for parallel programs, including the dataflow approach. IEEE Proceedings. 77(12), 1816-1828.
Kavi, K. M., Buckles, B. P., Bhat, U. N. (1987). Isomorphisms between Petri nets and Dataflow graphs. IEEE Transactions on Software Engineering. 1127-1134.
Bhat, U. N., Kavi, K. M. (1987). Reliability analysis of computer systems including Petri nets and dataflow graphs. 11(1 &2), 167-186.
Kavi, K. M., Bhat, U. N. (1986). Reliability analysis of computer systems using dataflow graph models. IEEE Transactions on Reliability. R-35(5), 529-532.
Kavi, K. M., Buckles, B. P., Bhat, U. N. (1986). A formal definition of dataflow graph models. IEEE Transactions on Computers. 940-948.
