Krishna M. Kavi

According to our database, Krishna M. Kavi authored at least 128 papers between 1980 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Guard Cache: Creating Noisy Side-Channels.

Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy K. John

IEEE Comput. Archit. Lett., 2023

Guard Cache: Creating False Cache Hits and Misses To Mitigate Side-Channel Attacks.

Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy K. John

Proceedings of the Silicon Valley Cybersecurity Conference, 2023

Streaming Sparse Data on Architectures with Vector Extensions using Near Data Processing.

Pranathi Vasireddy, Krishna Kavi, Alex Weaver, Gayatri Mehta

Proceedings of the International Symposium on Memory Systems, 2023

Performance Implications of Async Memcpy and UVM: A Tale of Two Data Transfer Modes.

Ruihao Li, Sanjana Yadav, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Neeraja J. Yadwadkar, Lizy K. John

Proceedings of the IEEE International Symposium on Workload Characterization, 2023

NextGen-Malloc: Giving Memory Allocator Its Own Room in the House.

Ruihao Li, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Neeraja J. Yadwadkar, Lizy K. John

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

Memory-Side Acceleration and Sparse Compression for Quantized Packed Convolutions.

Alex Weaver, Krishna Kavi, Pranathi Vasireddy, Gayatri Mehta

Proceedings of the 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2022

HETEROGENEOUS ARCHITECTURE FOR SPARSE DATA PROCESSING.

Shashank Adavally, Alex Weaver, Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta, Nagendra Gulur

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

Sparse-T: Hardware Accelerator Thread for Unstructured Sparse Data Processing.

Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

Dynamically Adapting Page Migration Policies Based on Applications' Memory Access Behaviors.

Shashank Adavally, Mahzabeen Islam, Krishna Kavi

ACM J. Emerg. Technol. Comput. Syst., 2021

2020

On-the-fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems.

Mahzabeen Islam, Shashank Adavally, Marko Scrbak, Krishna Kavi

ACM J. Emerg. Technol. Comput. Syst., 2020

CHASM: Security Evaluation of Cache Mapping Schemes.

Fernando Mosquera, Nagendra Gulur, Krishna Kavi, Gayatri Mehta, Hua Sun

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2020

Towards Application-Specific Address Mapping for Emerging Memory Devices.

Shashank Adavally, Krishna Kavi

Proceedings of the MEMSYS 2020: The International Symposium on Memory Systems, 2020

ExPress: Simultaneously Achieving Storage, Execution and Energy Efficiencies in Moderately Sparse Matrix Computations.

Shashank Adavally, Nagendra Gulur, Krishna Kavi, Alex Weaver, Pranoy Dutta, Benjamin Wang

Proceedings of the MEMSYS 2020: The International Symposium on Memory Systems, 2020

2019

Reconfigurable dataflow graphs for processing-in-memory.

Charles F. Shelor, Krishna M. Kavi

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

3D-DRAM Performance for Different OpenMP Scheduling Techniques in Multicore Systems.

Shashank Adavally, Krishna Kavi

Proceedings of the 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, 2018

2017

Exploring the Processing-in-Memory design space.

Marko Scrbak, Mahzabeen Islam, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena

J. Syst. Archit., 2017

Dataflow based Near Data Computing Achieves Excellent Energy Efficiency.

Charles Shelor, Krishna M. Kavi

Proceedings of the 8th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, 2017

DVFS Space Exploration in Power Constrained Processing-in-Memory Systems.

Marko Scrbak, Joseph L. Greathouse, Nuwan Jayasena, Krishna M. Kavi

Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

HBM-Resident Prefetching for Heterogeneous Memory System.

Mahzabeen Islam, Krishna M. Kavi, Mitesh R. Meswani, Soumik Banerjee, Nuwan Jayasena

Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016

Prefetching as a Potentially Effective Technique for Hybrid Memory Optimization.

Mahzabeen Islam, Soumik Banerjee, Mitesh R. Meswani, Krishna M. Kavi

Proceedings of the Second International Symposium on Memory Systems, 2016

2015

Memory organizations for 3D-DRAMs and PCMs in processor memory hierarchy.

Krishna M. Kavi, Stefano Pianelli, Giandomenico Pisano, Giuseppe Regina, Mike Ignatowski

J. Syst. Archit., 2015

Optimus: Framework of Vulnerabilities, Attacks, Defenses and SLA Ontologies.

Chen-Yu Lee, Patrick Kamongi, Krishna Kavi, Mahadevan Gomathisankaran

Int. J. Next Gener. Comput., 2015

Concurrency, Synchronization, and Speculation - The Dataflow Way.

Krishna M. Kavi, Charles Shelor, Domenico Pace

Adv. Comput., 2015

Recycling trash in cache.

Jonathan A. Shidal, Ari J. Spilo, Paul T. Scheid, Ron K. Cytron, Krishna M. Kavi

Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, 2015

Ontology of Secure Service Level Agreement.

Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Processing-in-Memory: Exploring the Design Space.

Marko Scrbak, Mahzabeen Islam, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena

Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015

2014

Potential Energy Savings through Eliminating Unnecessary Writes in the Cache-Memory Hierarchy.

Charles Shelor, Jim Buchanan, Krishna M. Kavi, Ron Cytron

Int. J. Comput. Their Appl., 2014

Hardware and Application Profiling Tools.

Tomislav Janjusic, Krishna M. Kavi

Adv. Comput., 2014

Characterizing Workload of Web Applications on Virtualized Servers.

Xiajun Wang, Song Huang, Song Fu, Krishna Kavi

Proceedings of the Big Data Benchmarks, Performance Optimization, and Emerging Hardware, 2014

Trash in cache: detecting eternally silent stores.

Jonathan A. Shidal, Zachary Gottlieb, Ron K. Cytron, Krishna M. Kavi

Proceedings of the workshop on Memory Systems Performance and Correctness, 2014

Improving Node-Level MapReduce Performance Using Processing-in-Memory Technologies.

Mahzabeen Islam, Marko Scrbak, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

3D DRAM and PCMs in Processor Memory Hierarchy.

Krishna M. Kavi, Stefano Pianelli, Giandomenico Pisano, Giuseppe Regina, Mike Ignatowski

Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

2013

Gleipnir: a memory profiling and tracing tool.

Tomislav Janjusic, Krishna M. Kavi

SIGARCH Comput. Archit. News, 2013

Finding Near-Optimum Message Scheduling Settings for SHA-256 Variants Using Genetic Algorithms.

Chu-Hsing Lin, Chen-Yu Lee, Krishna M. Kavi, Deng-Jyi Chen, Yi-Shiung Yeh

J. Inf. Sci. Eng., 2013

VULCAN: Vulnerability Assessment Framework for Cloud Computing.

Patrick Kamongi, Srujan Kotikela, Krishna Kavi, Mahadevan Gomathisankaran, Anoop Singhal

Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

A Multi-core Memory Organization for 3-D DRAM as Main Memory.

Jared Sherman, Krishna M. Kavi, Brandon Potter, Mike Ignatowski

Proceedings of the Architecture of Computing Systems - ARCS 2013, 2013

2012

A comparative analysis of performance improvement schemes for cache memories.

Krishna M. Kavi, Izuchukwu Nwachukwu, Ademola Fawibe

Comput. Electr. Eng., 2012

Trace Driven Data Structure Transformations.

Tomislav Janjusic, Krishna M. Kavi, Christos Kartsaklis

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

New Memory Organizations for 3D DRAM and PCMs.

Ademola Fawibe, Jared Sherman, Krishna M. Kavi, Mike Ignatowski, David Mayhew

Proceedings of the Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28, 2012

2011

International Conference on Computational Science, ICCS 2011 Gleipnir: A Memory Analysis Tool.

Tomislav Janjusic, Krishna M. Kavi, Brandon Potter

Proceedings of the International Conference on Computational Science, 2011

Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution.

Fawibe Ademola, Oghenekarho Okobiah, Oleg Garitselov, Krishna M. Kavi, Izuchukwu Nwachukwu, Mohana Asha Latha Dubasi, Vinay R. Prabhu

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Evaluation of Techniques to Improve Cache Access Uniformities.

Izuchukwu Nwachukwu, Krishna M. Kavi, Fawibe Ademola, Chris Yan

Proceedings of the International Conference on Parallel Processing, 2011

2009

Smaller Split L-1 Data Caches for Multi-core Processing Systems.

Oluwayomi B. Adamo, Afrin Naz, Tommy Janjusic, Krishna M. Kavi, Chung-Ping Chung

Proceedings of the 10th International Symposium on Pervasive Systems, 2009

Improving Uniformity of Cache Access Pattern using Split Data Caches.

Afrin Naz, Oluwayomi B. Adamo, Krishna M. Kavi, Tomislav Janjusic

Proceedings of the 22nd International Conference on Parallel and Distributed Computing and Communication Systems, 2009

2008

Real-Time Systems: An Introduction and the State-of-the-Art.

Krishna M. Kavi, Robert Akl, Ali R. Hurson

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Dataflow Computers: Their History and Future.

Ali R. Hurson, Krishna M. Kavi

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.

Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava

Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008

A Non-blocking Multithreaded Architecture with Support for Speculative Threads.

Krishna M. Kavi, Wentong Li, Ali R. Hurson

Proceedings of the Algorithms and Architectures for Parallel Processing, 2008

2007

Feasibility of decoupling memory management from the execution pipeline.

Wentong Li, Mehran Rezaei, Krishna M. Kavi, Afrin Naz, Philip H. Sweany

J. Syst. Archit., 2007

A non-preemptive scheduling algorithm for soft real-time systems.

Wenming Li, Krishna M. Kavi, Robert Akl

Comput. Electr. Eng., 2007

Reconfigurable split data caches: a novel scheme for embedded systems.

Afrin Naz, Krishna M. Kavi, Jung-Hwan Oh, Pierfrancesco Foglia

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Estimate Validity Regions for Nearest Neighbor Queries.

Xing Gao, Ali R. Hurson, Krishna M. Kavi

Proceedings of the ICSOFT 2007, 2007

A Methodology to Evaluate Agent Oriented Software Engineering Techniques.

Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon, Kris M. Daley, Robert K. Abercrombie

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Making a case for split data caches for embedded applications.

Afrin Naz, Krishna M. Kavi, Mehran Rezaei, Wentong Li

SIGARCH Comput. Archit. News, 2006

Intelligent memory manager: Reducing cache pollution due to memory management functions.

Mehran Rezaei, Krishna M. Kavi

J. Syst. Archit., 2006

Tiny split data-caches make big performance impact for embedded applications.

Afrin Naz, Krishna M. Kavi, Wentong Li, Philip H. Sweany

J. Embed. Comput., 2006

A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator.

Wentong Li, Saraju P. Mohanty, Krishna M. Kavi

IEEE Comput. Archit. Lett., 2006

Performance Enhancement by Eliminating Redundant Function Execution.

Peng Chen, Krishna M. Kavi, Robert Akl

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

A Study of Reconfigurable Split Data Caches and Instruction Caches.

Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Wentong Li

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

A Hardware Assisted High Performance PHK Memory Manager.

Wentong Li, Saraju P. Mohanty, Krishna M. Kavi

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

Speculative Thread Execution in a Multithreaded Dataflow Architecture.

Wentong Li, Krishna M. Kavi, Afrin Naz, Philip H. Sweany

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

2005

Improving data cache performance with integrated use of split caches, victim cache and stream buffers.

Afrin Naz, Mehran Rezaei, Krishna M. Kavi, Philip H. Sweany

SIGARCH Comput. Archit. News, 2005

An Efficient Non-Preemptive Real-Time Scheduling.

Wenming Li, Krishna M. Kavi, Robert Akl

Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing Systems, 2005

2004

What can we gain by unfolding loops?

Litong Song, Krishna M. Kavi

ACM SIGPLAN Notices, 2004

Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment.

Frederick T. Sheldon, Thomas E. Potok, Krishna M. Kavi

Informatica (Slovenia), 2004

A Study of Separate Array and Scalar Caches.

Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Mehran Rezaei

Proceedings of the 18th Annual Symposium on High Performance Computing Systems and Applications, 2004

2003

An Unfolding-Based Loop Optimization Technique.

Litong Song, Krishna M. Kavi, Ron Cytron

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading.

Litong Song, Yuhua Zhang, Krishna M. Kavi

Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003

Utilization of Separate Caches to Eliminate Cache Pollution Caused by Memory Management Functions.

Mehran Rezaei, Krishna M. Kavi

Proceedings of the ISCA 16th International Conference on Parallel and Distributed Computing Systems, 2003

2002

Mutual Exclusion on Optical Buses.

Krishna M. Kavi, Dinesh P. Mehta

Parallel Process. Lett., 2002

Visual requirement representation.

Deng-Jyi Chen, Wu-Chi Chen, Krishna M. Kavi

J. Syst. Softw., 2002

Modeling Multithreaded Applications Using Petri Nets.

Krishna M. Kavi, Alireza Moshtaghi, Deng-Jyi Chen

Int. J. Parallel Program., 2002

2001

Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation.

Krishna M. Kavi, Roberto Giorgi, Joseph Arul

IEEE Trans. Computers, 2001

File Allocation Algorithms to Minimize Data Transmission Time in Distributed Computing Systems.

Pao-Yuan Chang, Deng-Jyi Chen, Krishna M. Kavi

J. Inf. Sci. Eng., 2001

Storage Allocation for Real-Time, Embedded Systems.

Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi

Proceedings of the Embedded Software, First International Workshop, 2001

Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications.

Krishna M. Kavi, Joseph Arul, Roberto Giorgi

Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000

Multimedia File Allocation on VC Networks Using Multipath Routing.

Pao-Yuan Chang, Deng-Jyi Chen, Krishna M. Kavi

IEEE Trans. Computers, 2000

Execution and Cache Performance of the Scheduled Dataflow Architecture.

Krishna M. Kavi, Joseph Arul, Roberto Giorgi

J. Univers. Comput. Sci., 2000

Shared memory and distributed shared memory systems: A survey.

Krishna M. Kavi, Hyong-Shik Kim, Ben Lee, Ali R. Hurson

Adv. Comput., 2000

1999

Computer Systems Research: The Pressure Is On.

Krishna M. Kavi, James C. Browne, Anand Tripathi

Computer, 1999

A Decoupled Scheduled Dataflow Multithreaded Architecture.

Krishna M. Kavi, Hyong-Shik Kim, Joseph Arul, Ali R. Hurson

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

Fault-Tolerance Using Cache-Coherent Distributed Shared Memory Systems.

Diana Hecht, Krishna M. Kavi, Rhonda Kay Gaede, Constantine Katsinis

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

Concurrent Data Access in Mobile Heterogeneous Systems.

James B. Lim, Ali R. Hurson, Krishna M. Kavi

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Cyclic Staggered Scheme: A Loop Allocation Policy for DOACROSS Loops.

Ali R. Hurson, Krishna M. Kavi, Joford T. Lim

IEEE Trans. Computers, 1998

Design of cache memories for dataflow architecture.

Krishna M. Kavi, Ali R. Hurson

J. Syst. Archit., 1998

Multithreaded Systems.

Krishna M. Kavi, Ben Lee, Ali R. Hurson

Adv. Comput., 1998

Memory Latency And Thread Migration Challenges For Distributed Shared Memory Systems.

Krishna M. Kavi, William E. Cohen

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Parallelization of DOALL and DOACROSS Loops - A Survey.

Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Ben Lee

Adv. Comput., 1997

Multi-Threaded Systems: Issues, Solutions and Future.

Krishna M. Kavi, Ali R. Hurson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

VL-STAG: An Allocation Policy for DOACROSS Loops.

Joford T. Lim, Ali R. Hurson, Krishna M. Kavi

Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

1996

Guest Editors' Introduction: Software Tools Assessment.

Krishna M. Kavi, Ez Nahouraii

IEEE Softw., 1996

Specification and Analysis of Real-Time Systems Using CSP and Petri Nets.

Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed

Int. J. Softw. Eng. Knowl. Eng., 1996

Cache Memories for Dataflow Systems.

Ali R. Hurson, Krishna M. Kavi, Behrooz A. Shirazi, Ben Lee

IEEE Parallel Distributed Technol. Syst. Appl., 1996

A loop allocation policy for DOACROSS loops.

Joford T. Lim, Ali R. Hurson, Krishna M. Kavi, Ben Lee

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

1995

Cache memories in dataflow architecture.

Krishna M. Kavi, Ali R. Hurson

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

Design of Cache Memories for Multi-Threaded Dataflow Architecture.

Krishna M. Kavi, Ali R. Hurson, Phenil Patadia, Elizabeth Abraham, Ponnarasu Shanmugam

Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995

Reliability analysis of CSP specifications using Petri nets and Markov processes.

Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1994

Straggered Scheme: A Loop Allocation Policy.

Ali R. Hurson, Joford T. Lim, Behrooz A. Shirazi, Krishna M. Kavi

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Loop Allocation Scheme for Multithreaded Dataflow Computers.

Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Behrooz A. Shirazi

Proceedings of the 8th International Symposium on Parallel Processing, 1994

Specification of Stochastic Properties with CSP.

Krishna M. Kavi, Frederick T. Sheldon

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Improvements to the ETS Dynamic Dataflow Architecture.

Phenil Patadia, Vijay Karani, Krishna M. Kavi, Ponnarasu Shanmugam, Behrooz A. Shirazi, Ali R. Hurson

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

A Performability Model for Soft Real-Time Systems.

Krishna M. Kavi, Hee Yong Youn, Behrooz A. Shirazi, Ali R. Hurson

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

Cache Design for an Explicit Token Store Data Flow Architecture.

Ponnarasu Shanmugam, Shirish Andhare, Krishna M. Kavi, Behrooz A. Shirazi

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

PARSA: A Parallel Program Scheduling and Assessment Environment.

Behrooz A. Shirazi, Krishna M. Kavi, Ali R. Hurson, Prasenjit Biswas

Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992

Parallelism in Object-Oriented Languages: A Survey.

Barbara B. Wyatt, Krishna M. Kavi, Stephen P. Hufnagel

IEEE Softw., 1992

Reliability Measurement: From Theory to Practice.

Frederick T. Sheldon, Krishna M. Kavi, Robert C. Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett

IEEE Softw., 1992

Real-time systems design methodologies: An introduction and a survey.

Krishna M. Kavi, Seung-Min Yang

J. Syst. Softw., 1992

Hierarchical Interconnection Networks: Routing Performance in the Presence of Faults.

Beomsu Kim, Hee Yong Youn, Krishna M. Kavi

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

SUVS: a distributed real-time system testbed for fault-tolerant computing.

Seung-Min Yang, Krishna M. Kavi, A. Agarwalla, M. Reddy, S. Anam

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Extending N-grid group authorization using compact encoding.

Wen-Gong Shieh, Bob P. Weems, Krishna M. Kavi

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

A New Cache Coherency and Address Translation Consistency Protocol.

Jen-Tien Yen, Behrooz A. Shirazi, Krishna M. Kavi

Proceedings of the 1992 International Conference on Parallel Processing, 1992

An Efficient Data Interface for Heterogeneous Distributed Environments.

David D. H. Lin, Behrooz A. Shirazi, Krishna M. Kavi

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

Real-time systems - abstractions, languages, and design methodologies.

Krishna M. Kavi

IEEE, ISBN: 978-0-8186-3152-8, 1992

1991

Specification of concurrent processes using a dataflow model of computation and partially ordered events.

Krishna M. Kavi, Akshay K. Deshpande

J. Syst. Softw., 1991

Stochastic Data flow Graph Models for the Reliability Analysis of Interconnection and Computer Networks.

Deng-Jyi Chen, Krishna M. Kavi

J. Inf. Sci. Eng., 1991

A Heterogeneous Distributed Processing Interface Specification Language.

David D. H. Lin, Behrooz A. Shirazi, Krishna M. Kavi

Proceedings of the International Conference on Parallel Processing, 1991

1990

A decomposition approach for analysis of parallel processing systems.

Krishna M. Kavi, S. R. Kuthalam, Akshay K. Deshpande

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

An n-grid model for group authorization.

Wen-Gong Shieh, Bob P. Weems, Krishna M. Kavi

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

1989

A review of specification and verification methods for parallel programs including the dataflow approach.

Akshay K. Deshpande, Krishna M. Kavi

Proc. IEEE, 1989

1987

Isomorphisms Between Petri Nets and Dataflow Graphs.

Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat

IEEE Trans. Software Eng., 1987

Architectural Support for Object Oriented Languages.

Krishna M. Kavi, Deng-Jyi Chen

Proceedings of the COMPCON'87, 1987

1986

A Formal Definition of Data Flow Graph Models.

Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat

IEEE Trans. Computers, 1986

1984

Architecture quality.

Krishna M. Kavi, K. Krishnamohan

SIGARCH Comput. Archit. News, 1984

Message Repository Definitional Facility: An Architectural Model for Interprocess Communication.

Krishna M. Kavi, Edward W. Banios

Proceedings of the 11th Annual Symposium on Computer Architecture, 1984

1982

Effect of Declarations on Software Metrics: An Experiment in Software Science.

Krishna M. Kavi, U. B. Jackson

Proceedings of the Selected papers of the 1982 ACM SIGMETRICS Workshop on Software Metrics, 1982

HLL architectures: Pitfalls and predilections.

Krishna M. Kavi, Boumediene Belkhouche, Evelyn Bullard, Lois M. L. Delcambre, Stephen M. Nemecek

Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

1981

Innovative architectures and commercial computers: a summary of the panel discussion at NCC 1981.

Krishna M. Kavi

SIGARCH Comput. Archit. News, 1981

1980

Semantics of an algorithm.

Krishna M. Kavi

SIGARCH Comput. Archit. News, 1980