default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKrishna M. Kavi
Krishna Kavi
Person information
- affiliation: University of North Texas, Denton, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j50]Fernando Mosquera
, Ashen Ekanayake, William Hua, Krishna Kavi, Gayatri Mehta, Lizy Kurian John:
SecurityCloak: Protection against cache timing and speculative memory access attacks. J. Syst. Archit. 150: 103107 (2024)- [c79]Alex Weaver, Krishna Kavi, Dejan S. Milojicic, Rolando Pablo Hong Enriquez, Ninad Hogade, Alok Mishra, Gayatri Mehta:
Granularity- and Interference-Aware GPU Sharing with MPS. SC Workshops 2024: 1630-1637 - 2023
- [j49]Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy K. John:
Guard Cache: Creating Noisy Side-Channels. IEEE Comput. Archit. Lett. 22(2): 97-100 (2023) - [c78]Ruihao Li, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Neeraja J. Yadwadkar, Lizy K. John:
NextGen-Malloc: Giving Memory Allocator Its Own Room in the House. HotOS 2023: 135-142 - [c77]Ruihao Li, Sanjana Yadav, Qinzhe Wu, Krishna Kavi, Gayatri Mehta, Neeraja J. Yadwadkar, Lizy K. John:
Performance Implications of Async Memcpy and UVM: A Tale of Two Data Transfer Modes. IISWC 2023: 115-127 - [c76]Pranathi Vasireddy, Krishna Kavi, Alex Weaver, Gayatri Mehta:
Streaming Sparse Data on Architectures with Vector Extensions using Near Data Processing. MEMSYS 2023: 16:1-16:12 - [c75]Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy K. John:
Guard Cache: Creating False Cache Hits and Misses To Mitigate Side-Channel Attacks. SVCC 2023: 1-8 - 2022
- [c74]Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta:
Sparse-T: Hardware Accelerator Thread for Unstructured Sparse Data Processing. ICCAD 2022: 78:1-78:8 - [c73]Shashank Adavally, Alex Weaver, Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta, Nagendra Gulur:
HETEROGENEOUS ARCHITECTURE FOR SPARSE DATA PROCESSING. IPDPS Workshops 2022: 6-15 - [c72]Alex Weaver, Krishna Kavi, Pranathi Vasireddy, Gayatri Mehta:
Memory-Side Acceleration and Sparse Compression for Quantized Packed Convolutions. SBAC-PAD 2022: 81-90 - 2021
- [j48]Shashank Adavally, Mahzabeen Islam, Krishna Kavi:
Dynamically Adapting Page Migration Policies Based on Applications' Memory Access Behaviors. ACM J. Emerg. Technol. Comput. Syst. 17(2): 16:1-16:24 (2021) - 2020
- [j47]Mahzabeen Islam, Shashank Adavally, Marko Scrbak, Krishna Kavi:
On-the-fly Page Migration and Address Reconciliation for Heterogeneous Memory Systems. ACM J. Emerg. Technol. Comput. Syst. 16(1): 10:1-10:27 (2020) - [c71]Shashank Adavally, Nagendra Gulur, Krishna Kavi, Alex Weaver, Pranoy Dutta, Benjamin Wang:
ExPress: Simultaneously Achieving Storage, Execution and Energy Efficiencies in Moderately Sparse Matrix Computations. MEMSYS 2020: 46-60 - [c70]Shashank Adavally, Krishna Kavi:
Towards Application-Specific Address Mapping for Emerging Memory Devices. MEMSYS 2020: 105-113 - [c69]Fernando Mosquera, Nagendra Gulur, Krishna Kavi, Gayatri Mehta, Hua Sun:
CHASM: Security Evaluation of Cache Mapping Schemes. SAMOS 2020: 245-261
2010 – 2019
- 2019
- [c68]Charles F. Shelor, Krishna M. Kavi:
Reconfigurable dataflow graphs for processing-in-memory. ICDCN 2019: 110-119 - 2018
- [c67]Shashank Adavally, Krishna Kavi:
3D-DRAM Performance for Different OpenMP Scheduling Techniques in Multicore Systems. HPCC/SmartCity/DSS 2018: 675-683 - 2017
- [j46]Marko Scrbak, Mahzabeen Islam, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena:
Exploring the Processing-in-Memory design space. J. Syst. Archit. 75: 59-67 (2017) - [c66]Mahzabeen Islam, Krishna M. Kavi, Mitesh R. Meswani, Soumik Banerjee, Nuwan Jayasena:
HBM-Resident Prefetching for Heterogeneous Memory System. ARCS 2017: 124-136 - [c65]Marko Scrbak, Joseph L. Greathouse, Nuwan Jayasena, Krishna M. Kavi:
DVFS Space Exploration in Power Constrained Processing-in-Memory Systems. ARCS 2017: 221-233 - [c64]Charles Shelor, Krishna M. Kavi:
Dataflow based Near Data Computing Achieves Excellent Energy Efficiency. HEART 2017: 6:1-6:6 - 2016
- [c63]Mahzabeen Islam, Soumik Banerjee, Mitesh R. Meswani, Krishna M. Kavi:
Prefetching as a Potentially Effective Technique for Hybrid Memory Optimization. MEMSYS 2016: 220-231 - 2015
- [j45]Krishna M. Kavi, Charles Shelor, Domenico Pace:
Concurrency, Synchronization, and Speculation - The Dataflow Way. Adv. Comput. 96: 47-104 (2015) - [j44]Chen-Yu Lee, Patrick Kamongi, Krishna Kavi, Mahadevan Gomathisankaran:
Optimus: Framework of Vulnerabilities, Attacks, Defenses and SLA Ontologies. Int. J. Next Gener. Comput. 6(1) (2015) - [j43]Krishna M. Kavi, Stefano Pianelli, Giandomenico Pisano, Giuseppe Regina, Mike Ignatowski:
Memory organizations for 3D-DRAMs and PCMs in processor memory hierarchy. J. Syst. Archit. 61(10): 539-552 (2015) - [c62]Marko Scrbak, Mahzabeen Islam, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena:
Processing-in-Memory: Exploring the Design Space. ARCS 2015: 43-54 - [c61]Chen-Yu Lee, Krishna M. Kavi, Raymond A. Paul, Mahadevan Gomathisankaran:
Ontology of Secure Service Level Agreement. HASE 2015: 166-172 - [c60]Jonathan A. Shidal, Ari J. Spilo, Paul T. Scheid, Ron K. Cytron, Krishna M. Kavi:
Recycling trash in cache. ISMM 2015: 118-130 - 2014
- [j42]Tomislav Janjusic, Krishna M. Kavi:
Hardware and Application Profiling Tools. Adv. Comput. 92: 105-160 (2014) - [j41]Charles Shelor, Jim Buchanan, Krishna M. Kavi, Ron Cytron:
Potential Energy Savings through Eliminating Unnecessary Writes in the Cache-Memory Hierarchy. Int. J. Comput. Their Appl. 21(3): 178-187 (2014) - [c59]Krishna M. Kavi, Stefano Pianelli, Giandomenico Pisano, Giuseppe Regina, Mike Ignatowski:
3D DRAM and PCMs in Processor Memory Hierarchy. ARCS 2014: 183-195 - [c58]Mahzabeen Islam, Marko Scrbak, Krishna M. Kavi, Mike Ignatowski, Nuwan Jayasena:
Improving Node-Level MapReduce Performance Using Processing-in-Memory Technologies. Euro-Par Workshops (2) 2014: 425-437 - [c57]Jonathan A. Shidal, Zachary Gottlieb, Ron K. Cytron, Krishna M. Kavi:
Trash in cache: detecting eternally silent stores. MSPC@PLDI 2014: 8:1-8:9 - [c56]Xiajun Wang, Song Huang, Song Fu, Krishna Kavi:
Characterizing Workload of Web Applications on Virtualized Servers. BPOE@ASPLOS/VLDB 2014: 98-108 - [i1]Xiajun Wang, Song Huang, Song Fu, Krishna Kavi:
Characterizing Workload of Web Applications on Virtualized Servers. CoRR abs/1402.3549 (2014) - 2013
- [j40]Chu-Hsing Lin, Chen-Yu Lee, Krishna M. Kavi, Deng-Jyi Chen, Yi-Shiung Yeh:
Finding Near-Optimum Message Scheduling Settings for SHA-256 Variants Using Genetic Algorithms. J. Inf. Sci. Eng. 29(5): 889-905 (2013) - [j39]Tomislav Janjusic, Krishna M. Kavi:
Gleipnir: a memory profiling and tracing tool. SIGARCH Comput. Archit. News 41(4): 8-12 (2013) - [c55]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 - [c54]Patrick Kamongi, Srujan Kotikela, Krishna Kavi, Mahadevan Gomathisankaran, Anoop Singhal:
VULCAN: Vulnerability Assessment Framework for Cloud Computing. SERE 2013: 218-226 - 2012
- [j38]Krishna M. Kavi, Izuchukwu Nwachukwu, Ademola Fawibe:
A comparative analysis of performance improvement schemes for cache memories. Comput. Electr. Eng. 38(2): 243-257 (2012) - [c53]Ademola Fawibe, Jared Sherman, Krishna M. Kavi, Mike Ignatowski, David Mayhew:
New Memory Organizations for 3D DRAM and PCMs. ARCS 2012: 200-211 - [c52]Tomislav Janjusic, Krishna M. Kavi, Christos Kartsaklis:
Trace Driven Data Structure Transformations. SC Companion 2012: 456-464 - 2011
- [c51]Izuchukwu Nwachukwu, Krishna M. Kavi, Fawibe Ademola, Chris Yan:
Evaluation of Techniques to Improve Cache Access Uniformities. ICPP 2011: 31-40 - [c50]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 - [c49]Tomislav Janjusic, Krishna M. Kavi, Brandon Potter:
International Conference on Computational Science, ICCS 2011 Gleipnir: A Memory Analysis Tool. ICCS 2011: 2058-2067
2000 – 2009
- 2009
- [c48]Afrin Naz, Oluwayomi B. Adamo, Krishna M. Kavi, Tomislav Janjusic:
Improving Uniformity of Cache Access Pattern using Split Data Caches. PDCCS 2009: 128-134 - [c47]Oluwayomi B. 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 - 2008
- [c46]Krishna M. Kavi, Wentong Li, Ali R. Hurson:
A Non-blocking Multithreaded Architecture with Support for Speculative Threads. ICA3PP 2008: 173-184 - [c45]Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava:
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC 2008: 386-393 - [p2]Ali R. Hurson, Krishna M. Kavi:
Dataflow Computers: Their History and Future. Wiley Encyclopedia of Computer Science and Engineering 2008 - [p1]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 - 2007
- [j37]Wenming Li, Krishna M. Kavi, Robert Akl:
A non-preemptive scheduling algorithm for soft real-time systems. Comput. Electr. Eng. 33(1): 12-29 (2007) - [j36]Wentong Li, Mehran Rezaei, Krishna M. Kavi, Afrin Naz, Philip H. Sweany:
Feasibility of decoupling memory management from the execution pipeline. J. Syst. Archit. 53(12): 927-936 (2007) - [c44]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 - [c43]Xing Gao, Ali R. Hurson, Krishna M. Kavi:
Estimate Validity Regions for Nearest Neighbor Queries. ICSOFT (ISDM/EHST/DC) 2007: 129-136 - [c42]Afrin Naz, Krishna M. Kavi, Jung-Hwan Oh, Pierfrancesco Foglia:
Reconfigurable split data caches: a novel scheme for embedded systems. SAC 2007: 707-712 - 2006
- [j35]Wentong Li, Saraju P. Mohanty, Krishna M. Kavi:
A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator. IEEE Comput. Archit. Lett. 5(2) (2006) - [j34]Afrin Naz, Krishna M. Kavi, Wentong Li, Philip H. Sweany:
Tiny split data-caches make big performance impact for embedded applications. J. Embed. Comput. 2(2): 207-219 (2006) - [j33]Mehran Rezaei, Krishna M. Kavi:
Intelligent memory manager: Reducing cache pollution due to memory management functions. J. Syst. Archit. 52(1): 41-55 (2006) - [j32]Afrin Naz, Krishna M. Kavi, Mehran Rezaei, Wentong Li:
Making a case for split data caches for embedded applications. SIGARCH Comput. Archit. News 34(1): 19-26 (2006) - [c41]Wentong Li, Krishna M. Kavi, Afrin Naz, Philip H. Sweany:
Speculative Thread Execution in a Multithreaded Dataflow Architecture. PDCS 2006: 102-107 - [c40]Wentong Li, Saraju P. Mohanty, Krishna M. Kavi:
A Hardware Assisted High Performance PHK Memory Manager. PDCS 2006: 229-234 - [c39]Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Wentong Li:
A Study of Reconfigurable Split Data Caches and Instruction Caches. PDCS 2006: 235-240 - [c38]Peng Chen, Krishna M. Kavi, Robert Akl:
Performance Enhancement by Eliminating Redundant Function Execution. Annual Simulation Symposium 2006: 143-151 - 2005
- [j31]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 Comput. Archit. News 33(3): 41-48 (2005) - [c37]Wenming Li, Krishna M. Kavi, Robert Akl:
An Efficient Non-Preemptive Real-Time Scheduling. PDCS 2005: 154-160 - [e1]Krishna M. Kavi, Ron Cytron:
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 [contents] - 2004
- [j30]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) - [j29]Litong Song, Krishna M. Kavi:
What can we gain by unfolding loops? ACM SIGPLAN Notices 39(2): 26-33 (2004) - [c36]Afrin Naz, Krishna M. Kavi, Philip H. Sweany, Mehran Rezaei:
A Study of Separate Array and Scalar Caches. HPCS 2004: 157-164 - [c35]Afrin Naz, Mehran Rezaei, Krishna Kavi, Philip H. Sweany:
Improving data cache performance with integrated use of split caches, victim cache and stream buffers. MEDEA@PACT 2004: 41-48 - 2003
- [c34]Litong Song, Yuhua Zhang, Krishna M. Kavi:
Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading. PDCS 2003: 126-131 - [c33]Mehran Rezaei, Krishna M. Kavi:
Utilization of Separate Caches to Eliminate Cache Pollution Caused by Memory Management Functions. PDCS 2003: 297-302 - [c32]Litong Song, Krishna M. Kavi, Ron Cytron:
An Unfolding-Based Loop Optimization Technique. SCOPES 2003: 117-132 - 2002
- [j28]Krishna M. Kavi, Alireza Moshtaghi, Deng-Jyi Chen:
Modeling Multithreaded Applications Using Petri Nets. Int. J. Parallel Program. 30(5): 353-371 (2002) - [j27]Deng-Jyi Chen, Wu-Chi Chen, Krishna M. Kavi:
Visual requirement representation. J. Syst. Softw. 61(2): 129-143 (2002) - [j26]Krishna M. Kavi, Dinesh P. Mehta:
Mutual Exclusion on Optical Buses. Parallel Process. Lett. 12(3-4): 341-358 (2002) - 2001
- [j25]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) - [j24]Krishna M. Kavi, Roberto Giorgi, Joseph Arul:
Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation. IEEE Trans. Computers 50(8): 834-846 (2001) - [c31]Krishna M. Kavi, Joseph Arul, Roberto Giorgi:
Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications. PDCS 2001: 365-371 - [c30]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 - 2000
- [j23]Krishna M. Kavi, Hyong-Shik Kim, Ben Lee, Ali R. Hurson:
Shared memory and distributed shared memory systems: A survey. Adv. Comput. 53: 55-108 (2000) - [j22]Krishna M. Kavi, Joseph Arul, Roberto Giorgi:
Execution and Cache Performance of the Scheduled Dataflow Architecture. J. Univers. Comput. Sci. 6(10): 948-967 (2000) - [j21]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)
1990 – 1999
- 1999
- [j20]Krishna M. Kavi, James C. Browne, Anand Tripathi:
Computer Systems Research: The Pressure Is On. Computer 32(1): 30-39 (1999) - [c29]James B. Lim, Ali R. Hurson, Krishna M. Kavi:
Concurrent Data Access in Mobile Heterogeneous Systems. HICSS 1999 - [c28]Diana Hecht, Krishna M. Kavi, Rhonda Kay Gaede, Constantine Katsinis:
Fault-Tolerance Using Cache-Coherent Distributed Shared Memory Systems. ISPAN 1999: 100-105 - [c27]Krishna M. Kavi, Hyong-Shik Kim, Joseph Arul, Ali R. Hurson:
A Decoupled Scheduled Dataflow Multithreaded Architecture. ISPAN 1999: 138-143 - 1998
- [j19]Krishna M. Kavi, Ben Lee, Ali R. Hurson:
Multithreaded Systems. Adv. Comput. 46: 287-328 (1998) - [j18]Krishna M. Kavi, Ali R. Hurson:
Design of cache memories for dataflow architecture. J. Syst. Archit. 44(9-10): 657-674 (1998) - [j17]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) - [c26]Krishna M. Kavi, William E. Cohen:
Memory Latency And Thread Migration Challenges For Distributed Shared Memory Systems. HICSS (7) 1998: 772-773 - 1997
- [j16]Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Ben Lee:
Parallelization of DOALL and DOACROSS Loops - A Survey. Adv. Comput. 45: 53-103 (1997) - [c25]Joford T. Lim, Ali R. Hurson, Krishna M. Kavi:
VL-STAG: An Allocation Policy for DOACROSS Loops. Euro-PDS 1997: 111-116 - [c24]Krishna M. Kavi, Ali R. Hurson:
Multi-Threaded Systems: Issues, Solutions and Future. HICSS (1) 1997: 224-226 - 1996
- [j15]Ali R. Hurson, Krishna M. Kavi, Behrooz A. Shirazi, Ben Lee:
Cache Memories for Dataflow Systems. IEEE Parallel Distributed Technol. Syst. Appl. 4(4): 50-64 (1996) - [j14]Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed:
Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. Int. J. Softw. Eng. Knowl. Eng. 6(2): 229-248 (1996) - [j13]Krishna M. Kavi, Ez Nahouraii:
Guest Editors' Introduction: Software Tools Assessment. IEEE Softw. 13(5): 23-26 (1996) - [c23]Joford T. Lim, Ali R. Hurson, Krishna M. Kavi, Ben Lee:
A loop allocation policy for DOACROSS loops. SPDP 1996: 240-249 - 1995
- [c22]Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson:
Reliability analysis of CSP specifications using Petri nets and Markov processes. HICSS (2) 1995: 516-524 - [c21]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 - [c20]Krishna M. Kavi, Ali R. Hurson:
Cache memories in dataflow architecture. SPDP 1995: 182-189 - 1994
- [c19]Phenil Patadia, Vijay Karani, Krishna M. Kavi, Ponnarasu Shanmugam, Behrooz A. Shirazi, Ali R. Hurson:
Improvements to the ETS Dynamic Dataflow Architecture. HICSS (1) 1994: 378-387 - [c18]Krishna M. Kavi, Hee Yong Youn, Behrooz A. Shirazi, Ali R. Hurson:
A Performability Model for Soft Real-Time Systems. HICSS (2) 1994: 571-580 - [c17]Krishna M. Kavi, Frederick T. Sheldon:
Specification of Stochastic Properties with CSP. ICPADS 1994: 288-295 - [c16]Ali R. Hurson, Joford T. Lim, Krishna M. Kavi, Behrooz A. Shirazi:
Loop Allocation Scheme for Multithreaded Dataflow Computers. IPPS 1994: 316-322 - [c15]Ali R. Hurson, Joford T. Lim, Behrooz A. Shirazi, Krishna M. Kavi:
Straggered Scheme: A Loop Allocation Policy. PARLE 1994: 793-796 - 1993
- [c14]Behrooz A. Shirazi, Krishna M. Kavi, Ali R. Hurson, Prasenjit Biswas:
PARSA: A Parallel Program Scheduling and Assessment Environment. ICPP (2) 1993: 68-72 - [c13]Ponnarasu Shanmugam, Shirish Andhare, Krishna M. Kavi, Behrooz A. Shirazi:
Cache Design for an Explicit Token Store Data Flow Architecture. SPDP 1993: 45-50 - 1992
- [b1]Krishna M. Kavi:
Real-time systems - abstractions, languages, and design methodologies. IEEE 1992, ISBN 978-0-8186-3152-8, pp. I-XI, 1-660 - [j12]Krishna M. Kavi, Seung-Min Yang:
Real-time systems design methodologies: An introduction and a survey. J. Syst. Softw. 18(1): 85-99 (1992) - [j11]Frederick T. Sheldon, Krishna M. Kavi, Robert C. Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett:
Reliability Measurement: From Theory to Practice. IEEE Softw. 9(4): 13-20 (1992) - [j10]Barbara B. Wyatt, Krishna M. Kavi, Stephen P. Hufnagel:
Parallelism in Object-Oriented Languages: A Survey. IEEE Softw. 9(6): 56-66 (1992) - [c12]David D. H. Lin, Behrooz A. Shirazi, Krishna M. Kavi:
An Efficient Data Interface for Heterogeneous Distributed Environments. ICDCS 1992: 390-397 - [c11]Jen-Tien Yen, Behrooz A. Shirazi, Krishna M. Kavi:
A New Cache Coherency and Address Translation Consistency Protocol. ICPP (1) 1992: 18-21 - [c10]Wen-Gong Shieh, Bob P. Weems, Krishna M. Kavi:
Extending N-grid group authorization using compact encoding. SAC 1992: 190-196 - [c9]Seung-Min Yang, Krishna M. Kavi, A. Agarwalla, M. Reddy, S. Anam:
SUVS: a distributed real-time system testbed for fault-tolerant computing. SAC 1992: 782-791 - [c8]Beomsu Kim, Hee Yong Youn, Krishna M. Kavi:
Hierarchical Interconnection Networks: Routing Performance in the Presence of Faults. SPDP 1992: 162-165 - 1991
- [j9]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) - [j8]Krishna M. Kavi, Akshay K. Deshpande:
Specification of concurrent processes using a dataflow model of computation and partially ordered events. J. Syst. Softw. 16(2): 107-120 (1991) - [c7]David D. H. Lin, Behrooz A. Shirazi, Krishna M. Kavi:
A Heterogeneous Distributed Processing Interface Specification Language. ICPP (2) 1991: 274-275 - 1990
- [c6]Wen-Gong Shieh, Bob P. Weems, Krishna M. Kavi:
An n-grid model for group authorization. ACSAC 1990: 384-392 - [c5]Krishna M. Kavi, S. R. Kuthalam, Akshay K. Deshpande:
A decomposition approach for analysis of parallel processing systems. SPDP 1990: 776-779
1980 – 1989
- 1989
- [j7]Akshay K. Deshpande, Krishna M. Kavi:
A review of specification and verification methods for parallel programs including the dataflow approach. Proc. IEEE 77(12): 1816-1828 (1989) - 1987
- [j6]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) - [c4]Krishna M. Kavi, Deng-Jyi Chen:
Architectural Support for Object Oriented Languages. COMPCON 1987: 54-59 - 1986
- [j5]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) - 1984
- [j4]Krishna M. Kavi, K. Krishnamohan:
Architecture quality. SIGARCH Comput. Archit. News 12(1): 64-72 (1984) - [j3]Krishna M. Kavi, K. Krishnamohan:
Architecture Quality. ACM SIGOPS Oper. Syst. Rev. 18(1): 11-19 (1984) - [c3]Krishna M. Kavi, Edward W. Banios:
Message Repository Definitional Facility: An Architectural Model for Interprocess Communication. ISCA 1984: 271-278 - 1982
- [c2]Krishna M. Kavi, Boumediene Belkhouche, Evelyn Bullard, Lois M. L. Delcambre, Stephen M. Nemecek:
HLL architectures: Pitfalls and predilections. ISCA 1982: 18-23 - [c1]Krishna M. Kavi, U. B. Jackson:
Effect of Declarations on Software Metrics: An Experiment in Software Science. SCORE (1) 1982: 57-71 - 1981
- [j2]Krishna M. Kavi:
Innovative architectures and commercial computers: a summary of the panel discussion at NCC 1981. SIGARCH Comput. Archit. News 9(5): 14-16 (1981) - 1980
- [j1]Krishna M. Kavi:
Semantics of an algorithm. SIGARCH Comput. Archit. News 8(7): 24-26 (1980)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-09 15:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
