Krishna M. Kavi

Jared Sherman, Krishna M. Kavi, Brandon Potter, Mike Ignatowski: A Multi-core Memory Organization for 3-D DRAM as Main Memory. ARCS 2013: 62-73

Krishna M. Kavi, Izuchukwu Nwachukwu, Ademola Fawibe: A comparative analysis of performance improvement schemes for cache memories. Computers & Electrical Engineering 38(2): 243-257 (2012)

Ademola Fawibe, Jared Sherman, Krishna M. Kavi, Mike Ignatowski, David Mayhew: New Memory Organizations for 3D DRAM and PCMs. ARCS 2012: 200-211

Tomislav Janjusic, Krishna M. Kavi, Christos Kartsaklis: Trace Driven Data Structure Transformations. SC Companion 2012: 456-464

Tomislav Janjusic, Krishna M. Kavi, Brandon Potter: International Conference on Computational Science, ICCS 2011 Gleipnir: A Memory Analysis Tool. Procedia CS 4: 2058-2067 (2011)

Izuchukwu Nwachukwu, Krishna M. Kavi, Fawibe Ademola, Chris Yan: Evaluation of Techniques to Improve Cache Access Uniformities. ICPP 2011: 31-40

Fawibe Ademola, Oghenekarho Okobiah, Oleg Garitselov, Krishna M. Kavi, Izuchukwu Nwachukwu, Mohana Asha Latha Dubasi, Vinay R. Prabhu: Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution. ISPDC 2011: 63-70

Afrin Naz, Oluwayomi Adamo, Krishna M. Kavi, Tomislav Janjusic: Improving Uniformity of Cache Access Pattern using Split Data Caches. ISCA PDCCS 2009: 128-134

Oluwayomi Adamo, Afrin Naz, Tommy Janjusic, Krishna M. Kavi, Chung-Ping Chung: Smaller Split L-1 Data Caches for Multi-core Processing Systems. ISPAN 2009: 74-79

Krishna M. Kavi, Wentong Li, Ali R. Hurson: A Non-blocking Multithreaded Architecture with Support for Speculative Threads. ICA3PP 2008: 173-184

Ali R. Hurson, Krishna M. Kavi: Dataflow Computers: Their History and Future. Wiley Encyclopedia of Computer Science and Engineering 2008

Krishna M. Kavi, Robert Akl, Ali R. Hurson: Real-Time Systems: An Introduction and the State-of-the-Art. Wiley Encyclopedia of Computer Science and Engineering 2008

Wenming Li, Krishna M. Kavi, Robert Akl: A non-preemptive scheduling algorithm for soft real-time systems. Computers & Electrical Engineering 33(1): 12-29 (2007)

Wentong Li, Mehran Rezaei, Krishna M. Kavi, Afrin Naz, Philip H. Sweany: Feasibility of decoupling memory management from the execution pipeline. Journal of Systems Architecture 53(12): 927-936 (2007)

Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon, Kris M. Daley, Robert K. Abercrombie: A Methodology to Evaluate Agent Oriented Software Engineering Techniques. HICSS 2007: 60

Xing Gao, Ali R. Hurson, Krishna M. Kavi: Estimate Validity Regions for Nearest Neighbor Queries. ICSOFT (ISDM/EHST/DC) 2007: 129-136

Afrin Naz, Krishna M. Kavi, Jung-Hwan Oh, Pierfrancesco Foglia: Reconfigurable split data caches: a novel scheme for embedded systems. SAC 2007: 707-712

Wentong Li, Saraju P. Mohanty, Krishna M. Kavi: A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator. Computer Architecture Letters 5(2) (2006)

Afrin Naz, Krishna M. Kavi, Wentong Li, Philip H. Sweany: Tiny split data-caches make big performance impact for embedded applications. J. Embedded Computing 2(2): 207-219 (2006)

Mehran Rezaei, Krishna M. Kavi: Intelligent memory manager: Reducing cache pollution due to memory management functions. Journal of Systems Architecture 52(1): 41-55 (2006)

Afrin Naz, Krishna M. Kavi, Mehran Rezaei, Wentong Li: Making a case for split data caches for embedded applications. SIGARCH Computer Architecture News 34(1): 19-26 (2006)

Wentong Li, Krishna M. Kavi, Afrin Naz, Philip H. Sweany: Speculative Thread Execution in a Multithreaded Dataflow Architecture. ISCA PDCS 2006: 102-107

Wentong Li, Saraju P. Mohanty, Krishna M. Kavi: A Hardware Assisted High Performance PHK Memory Manager. ISCA PDCS 2006: 229-234

Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Wentong Li: A Study of Reconfigurable Split Data Caches and Instruction Caches. ISCA PDCS 2006: 235-240

Peng Chen, Krishna M. Kavi, Robert Akl: Performance Enhancement by Eliminating Redundant Function Execution. Annual Simulation Symposium 2006: 143-151

Afrin Naz, Mehran Rezaei, Krishna M. Kavi, Philip H. Sweany: Improving data cache performance with integrated use of split caches, victim cache and stream buffers. SIGARCH Computer Architecture News 33(3): 41-48 (2005)

Wenming Li, Krishna M. Kavi, Robert Akl: An Efficient Non-Preemptive Real-Time Scheduling. ISCA PDCS 2005: 154-160

Krishna M. Kavi, Ron Cytron (Eds.): Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29 - October 1, 2005. ACM International Conference Proceeding Series 136, 2005

Frederick T. Sheldon, Thomas E. Potok, Krishna M. Kavi: Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment. Informatica (Slovenia) 28(1): 78-89 (2004)

Litong Song, Krishna M. Kavi: What can we gain by unfolding loops? SIGPLAN Notices 39(2): 26-33 (2004)

Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Mehran Rezaei: A Study of Separate Array and Scalar Caches. HPCS 2004: 157-164

Litong Song, Yuhua Zhang, Krishna M. Kavi: Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading. ISCA PDCS 2003: 126-131

Mehran Rezaei, Krishna M. Kavi: Utilization of Separate Caches to Eliminate Cache Pollution Caused by Memory Management Functions. ISCA PDCS 2003: 297-302

Litong Song, Krishna M. Kavi, Ron Cytron: An Unfolding-Based Loop Optimization Technique. SCOPES 2003: 117-132

Krishna M. Kavi, Alireza Moshtaghi, Deng-Jyi Chen: Modeling Multithreaded Applications Using Petri Nets. International Journal of Parallel Programming 30(5): 353-371 (2002)

Deng-Jyi Chen, Wu-Chi Chen, Krishna M. Kavi: Visual requirement representation. Journal of Systems and Software 61(2): 129-143 (2002)

Krishna M. Kavi, Dinesh P. Mehta: Mutual Exclusion on Optical Buses. Parallel Processing Letters 12(3-4): 341-358 (2002)

Pao-Yuan Chang, Deng-Jyi Chen, Krishna M. Kavi: File Allocation Algorithms to Minimize Data Transmission Time in Distributed Computing Systems. J. Inf. Sci. Eng. 17(4): 633-649 (2001)

Krishna M. Kavi, Roberto Giorgi, Joseph Arul: Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation. IEEE Trans. Computers 50(8): 834-846 (2001)

Krishna M. Kavi, Joseph Arul, Roberto Giorgi: Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications. ISCA PDCS 2001: 365-371

Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi: Storage Allocation for Real-Time, Embedded Systems. EMSOFT 2001: 131-147

Krishna M. Kavi, Hyong-Shik Kim, Ben Lee, Ali R. Hurson: Shared memory and distributed shared memory systems: A survey. Advances in Computers 53: 55-108 (2000)

Krishna M. Kavi, Joseph Arul, Roberto Giorgi: Execution and Cache Performance of the Scheduled Dataflow Architecture. J. UCS 6(10): 948-967 (2000)

Pao-Yuan Chang, Deng-Jyi Chen, Krishna M. Kavi: Multimedia File Allocation on VC Networks Using Multipath Routing. IEEE Trans. Computers 49(9): 971-977 (2000)

Krishna M. Kavi, James C. Browne, Anand Tripathi: Computer Systems Research: The Pressure Is On. IEEE Computer 32(1): 30-39 (1999)

James B. Lim, Ali R. Hurson, Krishna M. Kavi: Concurrent Data Access in Mobile Heterogeneous Systems. HICSS 1999

Krishna M. Kavi, Hyong-Shik Kim, Joseph Arul, Ali R. Hurson: A Decoupled Scheduled Dataflow Multithreaded Architecture. ISPAN 1999: 138-143

Krishna M. Kavi, Ben Lee, Ali R. Hurson: Multithreaded Systems. Advances in Computers 46: 287-328 (1998)

Krishna M. Kavi, Ali R. Hurson: Design of cache memories for dataflow architecture. Journal of Systems Architecture 44(9-10): 657-674 (1998)

Ali R. Hurson, Krishna M. Kavi, Joford T. Lim: Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops. IEEE Trans. Computers 47(2): 251-255 (1998)

Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Ben Lee: Parallelization of DOALL and DOACROSS Loops - A Survey. Advances in Computers 45: 53-103 (1997)

Joford T. Lim, Ali R. Hurson, Krishna M. Kavi: VL-STAG: An Allocation Policy for DOACROSS Loops. Euro-PDS 1997: 111-116

Krishna M. Kavi, Ali R. Hurson: Multi-Threaded Systems: Issues, Solutions and Future. HICSS (1) 1997: 224-226

Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed: Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. International Journal of Software Engineering and Knowledge Engineering 6(2): 229-248 (1996)

Krishna M. Kavi, Ez Nahouraii: Guest Editors' Introduction: Software Tools Assessment. IEEE Software 13(5): 23-26 (1996)

Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson: Reliability analysis of CSP specifications using Petri nets and Markov processes. HICSS (2) 1995: 516-524

Krishna M. Kavi, Ali R. Hurson, Phenil Patadia, Elizabeth Abraham, Ponnarasu Shanmugam: Design of Cache Memories for Multi-Threaded Dataflow Architecture. ISCA 1995: 253-264

Phenil Patadia, Vijay Karani, Krishna M. Kavi, Ponnarasu Shanmugam, Behrooz Shirazi, Ali R. Hurson: Improvements to the ETS Dynamic Dataflow Architecture. HICSS (1) 1994: 378-387

Krishna M. Kavi, Hee Yong Youn, Behrooz Shirazi, Ali R. Hurson: A Performability Model for Soft Real-Time Systems. HICSS (2) 1994: 571-580

Krishna M. Kavi, Frederick T. Sheldon: Specification of Stochastic Properties with CSP. ICPADS 1994: 288-295

Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Behrooz Shirazi: Loop Allocation Scheme for Multithreaded Dataflow Computers. IPPS 1994: 316-322

Ali R. Hurson, Joford T. Lim, Behrooz Shirazi, Krishna M. Kavi: Straggered Scheme: A Loop Allocation Policy. PARLE 1994: 793-796

Behrooz Shirazi, Krishna M. Kavi, Ali R. Hurson, Prasenjit Biswas: PARSA: A Parallel Program Scheduling and Assessment Environment. ICPP 1993: 68-72

Ponnarasu Shanmugam, Shirish Andhare, Krishna M. Kavi, Behrooz Shirazi: Cache Design for an Explicit Token Store Data Flow Architecture. SPDP 1993: 45-50

Krishna M. Kavi: Real-time systems - abstractions, languages, and design methodologies. IEEE 1992, isbn 978-0-8186-3152-8, pp. I-XI, 1-660

Krishna M. Kavi, Seung-Min Yang: Real-time systems design methodologies: An introduction and a survey. Journal of Systems and Software 18(1): 85-99 (1992)

Frederick T. Sheldon, Krishna M. Kavi, Robert Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett: Reliability Measurement: From Theory to Practice. IEEE Software 9(4): 13-20 (1992)

Barbara B. Wyatt, Krishna M. Kavi, Stephen P. Hufnagel: Parallelism in Object-Oriented Languages: A Survey. IEEE Software 9(6): 56-66 (1992)

David D. H. Lin, Behrooz Shirazi, Krishna M. Kavi: An Efficient Data Interface for Heterogeneous Distributed Environments. ICDCS 1992: 390-397

Jen-Tien Yen, Behrooz Shirazi, Krishna M. Kavi: A New Cache Coherency and Address Translation Consistency Protocol. ICPP (1) 1992: 18-21

Beomsu Kim, Hee Yong Youn, Krishna M. Kavi: Hierarchical Interconnection Networks: Routing Performance in the Presence of Faults. SPDP 1992: 162-165

Deng-Jyi Chen, Krishna M. Kavi: Stochastic Data flow Graph Models for the Reliability Analysis of Interconnection and Computer Networks. J. Inf. Sci. Eng. 7(2): 253-278 (1991)

Krishna M. Kavi, Akshay K. Deshpande: Specification of concurrent processes using a dataflow model of computation and partially ordered events. Journal of Systems and Software 16(2): 107-120 (1991)

David D. H. Lin, Behrooz Shirazi, Krishna M. Kavi: A Heterogeneous Distributed Processing Interface Specification Language. ICPP (2) 1991: 274-275

Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat: Isomorphisms Between Petri Nets and Dataflow Graphs. IEEE Trans. Software Eng. 13(10): 1127-1134 (1987)

Krishna M. Kavi, Deng-Jyi Chen: Architectural Support for Object Oriented Languages. COMPCON 1987: 54-59

Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat: A Formal Definition of Data Flow Graph Models. IEEE Trans. Computers 35(11): 940-948 (1986)

Krishna M. Kavi, K. Krishnamohan: Architecture Quality. Operating Systems Review 18(1): 11-19 (1984)

Krishna M. Kavi, Edward W. Banios: Message Repository Definitional Facility: An Architectural Model for Interprocess Communication. ISCA 1984: 271-278

Krishna M. Kavi, U. B. Jackson: Effect of Declarations on Software Metrics: An Experiment in Software Science. SIGMETRICS Performance Evaluation Review 11(2): 57-71 (1982)

Krishna M. Kavi, Boumediene Belkhouche, Evelyn Bullard, Lois M. L. Delcambre, Stephen M. Nemecek: HLL architectures: Pitfalls and predilections. ISCA 1982: 18-23