2008 |
68 | EE | Krishna M. Kavi,
Wentong Li,
Ali R. Hurson:
A Non-blocking Multithreaded Architecture with Support for Speculative Threads.
ICA3PP 2008: 173-184 |
67 | EE | Ali R. Hurson,
Krishna M. Kavi:
Dataflow Computers: Their History and Future.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
2007 |
66 | EE | 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 |
65 | | Xing Gao,
Ali R. Hurson,
Krishna M. Kavi:
Estimate Validity Regions for Nearest Neighbor Queries.
ICSOFT (ISDM/EHST/DC) 2007: 129-136 |
64 | EE | Afrin Naz,
Krishna M. Kavi,
Jung-Hwan Oh,
Pierfrancesco Foglia:
Reconfigurable split data caches: a novel scheme for embedded systems.
SAC 2007: 707-712 |
63 | EE | 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) |
62 | EE | 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) |
2006 |
61 | EE | Peng Chen,
Krishna M. Kavi,
Robert Akl:
Performance Enhancement by Eliminating Redundant Function Execution.
Annual Simulation Symposium 2006: 143-151 |
60 | | Wentong Li,
Krishna M. Kavi,
Afrin Naz,
Philip H. Sweany:
Speculative Thread Execution in a Multithreaded Dataflow Architecture.
ISCA PDCS 2006: 102-107 |
59 | | Wentong Li,
Saraju P. Mohanty,
Krishna M. Kavi:
A Hardware Assisted High Performance PHK Memory Manager.
ISCA PDCS 2006: 229-234 |
58 | | 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 |
57 | EE | Wentong Li,
Saraju P. Mohanty,
Krishna M. Kavi:
A Page-based Hybrid (Software-Hardware) Dynamic Memory Allocator.
Computer Architecture Letters 5(2): (2006) |
56 | EE | 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) |
55 | EE | 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) |
2005 |
54 | | 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
SCOPES 2005 |
53 | | Wenming Li,
Krishna M. Kavi,
Robert Akl:
An Efficient Non-Preemptive Real-Time Scheduling.
ISCA PDCS 2005: 154-160 |
52 | EE | 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) |
2004 |
51 | | Afrin Naz,
Krishna M. Kavi,
Philip H. Sweany,
Mehran Rezaei:
A Study of Separate Array and Scalar Caches.
HPCS 2004: 157-164 |
50 | EE | 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) |
49 | EE | Litong Song,
Krishna M. Kavi:
What can we gain by unfolding loops?
SIGPLAN Notices 39(2): 26-33 (2004) |
2003 |
48 | | Litong Song,
Yuhua Zhang,
Krishna M. Kavi:
Loop Transformation Techniques To Aid In Loop Unrolling and Multithreading.
ISCA PDCS 2003: 126-131 |
47 | | Mehran Rezaei,
Krishna M. Kavi:
Utilization of Separate Caches to Eliminate Cache Pollution Caused by Memory Management Functions.
ISCA PDCS 2003: 297-302 |
46 | EE | Litong Song,
Krishna M. Kavi,
Ron Cytron:
An Unfolding-Based Loop Optimization Technique.
SCOPES 2003: 117-132 |
2002 |
45 | | Krishna M. Kavi,
Alireza Moshtaghi,
Deng-Jyi Chen:
Modeling Multithreaded Applications Using Petri Nets.
International Journal of Parallel Programming 30(5): 353-371 (2002) |
44 | EE | Deng-Jyi Chen,
Wu-Chi Chen,
Krishna M. Kavi:
Visual requirement representation.
Journal of Systems and Software 61(2): 129-143 (2002) |
43 | EE | Krishna M. Kavi,
Dinesh P. Mehta:
Mutual Exclusion on Optical Buses.
Parallel Processing Letters 12(3-4): 341-358 (2002) |
2001 |
42 | EE | 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 |
41 | | 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 |
40 | EE | Krishna M. Kavi,
Roberto Giorgi,
Joseph Arul:
Scheduled Dataflow: Execution Paradigm, Architecture, and Performance Evaluation.
IEEE Trans. Computers 50(8): 834-846 (2001) |
39 | EE | 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) |
2000 |
38 | | Krishna M. Kavi,
Hyong-Shik Kim,
Ben Lee,
Ali R. Hurson:
Shared memory and distributed shared memory systems: A survey.
Advances in Computers 53: 56-109 (2000) |
37 | EE | 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) |
36 | EE | Krishna M. Kavi,
Joseph Arul,
Roberto Giorgi:
Execution and Cache Performance of the Scheduled Dataflow Architecture.
J. UCS 6(10): 948-967 (2000) |
1999 |
35 | EE | James B. Lim,
Ali R. Hurson,
Krishna M. Kavi:
Concurrent Data Access in Mobile Heterogeneous Systems.
HICSS 1999 |
34 | EE | Krishna M. Kavi,
Hyong-Shik Kim,
Joseph Arul,
Ali R. Hurson:
A Decoupled Scheduled Dataflow Multithreaded Architecture.
ISPAN 1999: 138-143 |
33 | | Krishna M. Kavi,
James C. Browne,
Anand Tripathi:
Computer Systems Research: The Pressure Is On.
IEEE Computer 32(1): 30-39 (1999) |
1998 |
32 | | Krishna M. Kavi,
Ben Lee,
Ali R. Hurson:
Multithreaded Systems.
Advances in Computers 46: 288-329 (1998) |
31 | | 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) |
1997 |
30 | | Joford T. Lim,
Ali R. Hurson,
Krishna M. Kavi:
VL-STAG: An Allocation Policy for DOACROSS Loops.
Euro-PDS 1997: 111-116 |
29 | EE | Krishna M. Kavi,
Ali R. Hurson:
Multi-Threaded Systems: Issues, Solutions and Future.
HICSS (1) 1997: 224-226 |
28 | | 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) |
1996 |
27 | EE | Krishna M. Kavi,
Ez Nahouraii:
Guest Editors' Introduction: Software Tools Assessment.
IEEE Software 13(5): 23-26 (1996) |
26 | EE | 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) |
1995 |
25 | EE | 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 |
24 | EE | 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 |
1994 |
23 | | 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 |
22 | | Krishna M. Kavi,
Hee Yong Youn,
Behrooz Shirazi,
Ali R. Hurson:
A Performability Model for Soft Real-Time Systems.
HICSS (2) 1994: 571-580 |
21 | | Krishna M. Kavi,
Frederick T. Sheldon:
Specification of Stochastic Properties with CSP.
ICPADS 1994: 288-295 |
20 | | Ali R. Hurson,
Joford T. Lim,
Krishna M. Kavi,
Behrooz Shirazi:
Loop Allocation Scheme for Multithreaded Dataflow Computers.
IPPS 1994: 316-322 |
19 | | Ali R. Hurson,
Joford T. Lim,
Behrooz Shirazi,
Krishna M. Kavi:
Straggered Scheme: A Loop Allocation Policy.
PARLE 1994: 793-796 |
1993 |
18 | | Behrooz Shirazi,
Krishna M. Kavi,
Ali R. Hurson,
Prasenjit Biswas:
PARSA: A Parallel Program Scheduling and Assessment Environment.
ICPP 1993: 68-72 |
17 | | Ponnarasu Shanmugam,
Shirish Andhare,
Krishna M. Kavi,
Behrooz Shirazi:
Cache Design for an Explicit Token Store Data Flow Architecture.
SPDP 1993: 45-50 |
1992 |
16 | | David D. H. Lin,
Behrooz Shirazi,
Krishna M. Kavi:
An Efficient Data Interface for Heterogeneous Distributed Environments.
ICDCS 1992: 390-397 |
15 | | Jen-Tien Yen,
Behrooz Shirazi,
Krishna M. Kavi:
A New Cache Coherency and Address Translation Consistency Protocol.
ICPP (1) 1992: 18-21 |
14 | | Beomsu Kim,
Hee Yong Youn,
Krishna M. Kavi:
Hierarchical Interconnection Networks: Routing Performance in the Presence of Faults.
SPDP 1992: 162-165 |
13 | | 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) |
12 | | Barbara B. Wyatt,
Krishna M. Kavi,
Stephen P. Hufnagel:
Parallelism in Object-Oriented Languages: A Survey.
IEEE Software 9(6): 56-66 (1992) |
11 | EE | 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) |
1991 |
10 | | David D. H. Lin,
Behrooz Shirazi,
Krishna M. Kavi:
A Heterogeneous Distributed Processing Interface Specification Language.
ICPP (2) 1991: 274-275 |
9 | EE | 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) |
8 | EE | 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) |
1987 |
7 | | Krishna M. Kavi,
Deng-Jyi Chen:
Architectural Support for Object Oriented Languages.
COMPCON 1987: 54-59 |
6 | | 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) |
1986 |
5 | | 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 |
4 | | Krishna M. Kavi,
Edward W. Banios:
Message Repository Definitional Facility: An Architectural Model for Interprocess Communication.
ISCA 1984: 271-278 |
3 | | Krishna M. Kavi,
K. Krishnamohan:
Architecture Quality.
Operating Systems Review 18(1): 11-19 (1984) |
1982 |
2 | EE | Krishna M. Kavi,
Boumediene Belkhouche,
Evelyn Bullard,
Lois Delcambre,
Stephen M. Nemecek:
HLL architectures: Pitfalls and predilections.
ISCA 1982: 18-23 |
1 | | 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) |