8. K.M. Kavi, H. -S. Kim, B. Lee and Ali Hurson. "Distributed Shared Memory Systems: A survey", Advances in Computers, Vol. 53, pp 55-108, (Edited by M. Zerkowitz), Academic Press, 2000.

7. K.M. Kavi. "Cache Memories", to appear in the Encyclopedia on Distributed Computing (edited by Joseph Urban and Partha Dasgupta), 1998, Kluwer Academic Publishers. Pdf

6. K.M. Kavi, B. Lee and Ali Hurson. "Multithreaded systems: A survey", Advances in Computers, Volume 48 (Edited by M. Zerkowitz), Academic Press, 1998. Postscript

5. A.R. Hurson, J.T. Lim, K.M. Kavi and B. Lee "Parallelization of DOALL and DOACROSS loops - a survey", Advances in Computers, Vol. 45 (Edited by M. Zerkowitz), Academic Press 1997, pp 54-105.

4. B. Shirazi, A.R. Hurson and K.M. Kavi (Editors), IEEE CS Press Tutorial on Scheduling and Load Balancing in Parallel and Distributed Systems, 1995.

3. K.M. Kavi (Editor) IEEE CS Tutorial on Real-Time Systems: Abstractions, Languages and Design Methodologies, Nov. 1992, IEEE Computer Society Press.

2. K.M. Kavi and T.C. Lin. "Reliability analysis using dataflow graph models and approximate solutions", in Approximation, Optimization and Computing, edited by A.G. Law and C.L. Wang, North-Holland/Elsevier , New York, 1990. pp. 105-109.

1. K.M. Kavi and B.D. Shriver. (Editors) Proceedings of the IEEE workshop on Computer Systems Organization, New Orleans, March 21-23, 1983.

Journal Publications

35. Wentong Li, Mehran Rezaei, Krishna Kavi, Afrin Naz and Philip Sweany. "Feasibility of decoupling memory management from the execution pipeline", Journal of Systems Architecture (published by Elsevier), Vol. 53, No. 12, pp 927-936, Dec. 2007. pdf

34. Wentong Li, Saraju Mohanty and Krishna Kavi. "Page-based software-hardware co-design of a dynamic memory allocator", to appear in the IEEE Computer Architecture Letters (available on line since July 2006) preliminary draft in pdf

33. Wenming Li, K.Kavi and R. Akl. "A non-preemptive scheduling algorithm for soft real-time systems", International Journal of Computers and Electrical Engineering, Vol. 33, No. 1, pp 12-29, January 2007. pdf

32. A. Naz, K. Kavi, W. Li and Philip Sweany. "Tiny split data caches make big performance impact for embedded applications", the Journal of Embedded Computing (Special Issue on Embedded Single-Chip Multi-core Architectures from System Design to Application Support), Vol.2, No.2, pp 207-219, November, 2006. preliminary draft in pdf

31. M. Rezaei and K. M. Kavi. "Intelligent Memory Management Eliminates Cache Pollution Due to Memory Management Functions", Journal of Systems Architecture, Jan. 2006, Vol. 52, No. 1, pp 41-55.. In pdf

30. F.T. Sheldon, T. Potok and K.M. Kavi. "Multi-agent system case studies in command and control, information fusion and data management" Journal of Informatica (published by the Solvene Society Informatica), Vol. 28, No. 1, April 2004, pp 78-89. in pdf

29. K.M. Kavi and D. Mehta. "Mutual Exclusion. On Optical Networks", Parallel Processing Letters, Vol. 12, Nos 3&4, 2002, pp 341-358. in pdf

28. K.M. Kavi, A.R. Moshtaghi and D.J. Chen. "Modeling multithreaded applications using Petri nets", International Journal on Parallel Programming (published by Plenum Publishing), Vol. 30, No. 5, pp 353-371, Oct. 2002. Preliminary draft in pdf

27. D.J. Chen, W.C. Chen and K.M. Kavi. Visual Requirements Representation, Journal of Systems and Software, Vol. 61, Issue 2, March 2002, pp 129-143. in pdf

26. K.M. Kavi, R. Giorgi and J. Arul. "Scheduled Dataflow: Execution paradigm, architecture and performance evaluation", IEEE Transactions on Computers, Vol. 50, No. 8, August 2001, pp 834-846. In PDF

25. K.M. Kavi, J. Arul and R. Giorgi. "Execution and cache performance of the Scheduled Dataflow Architecture", Journal of Universal Computer Science, Special Issue on Multithreaded and Chip Multiprocessors, Oct. 2000. In Pdf

24. P.Y. Chang, D.J. Chen and K.M. Kavi. "Multimedia file allocation under virtual circuit using multipath routing", IEEE Transactions on Computers, Sept. 2000, pp 971-977 (Vol. 49, No. 9). in pdf

23).P .Y. Chang, D.J. Chen and K.M. Kavi. "File allocation algorithms to minimize data transmission time for real-time applications in distributed computing systems", Journal of Information Science and Engineering, (Institute of Information Science, Taipei, Taiwan), Vol. 17, pp 633-646, 2001.

22). K.M. Kavi. H.S. Kim and A.R. Hurson. "Scheduled dataflow architecture: A synchronous execution paradigm for dataflow", IASTED Journal of Computers and Applications. Vol. 21, No. 3 (Oct. 1999), pp 114-124. Preliminary draft in postscript

21). K.M. Kavi. "Multithreaded System Implementations", IASTED Journal of Microcomputer Applications, Vo. 18, No. 2, 1999, pp 70-84.

20). K.M. Kavi, J.C. Browne and A. Tripathi. "Computer Systems Research: The Pre ssure is on", IEEE Computer, Jan. 1999, pp 30-39. In PDF Format

19). K.M. Kavi and A.R. Hurson. "Performance of cache memories in dataflow architectures", Euromicoro Journal on Systems Architecture, Vol. 44, No. 9-10, June 1998, pp 657-674. Postscript

18). A.R. Hurson, K.M. Kavi and J.T. Lim. "Cyclic Staggering Scheme: A loop allo cation policy for DOACROSS loops", IEEE Transactions on Computers, Feb. 1998, pp 251-255.

17). A.R. Hurson, K.M. Kavi and B. Lee. "Cache Memories in Dataflow Architectures", IEEE Parallel and Distributed Technology, Winter 1996, pp 50-64.

16). K.M. Kavi and Ez Nahouraii. "Assessment of Software Tools: Guest Editors Introduction", IEEE Software, Sept. 1996 pp 23-26.

15). K.M. Kavi, B. Wyatt and B. Shirazi. "Evaluation of dynamic inheritance in distributed environments", ISMM Journal of Microcomputer Applications, Vol. 15, No. 1, July 1996, pp 26-37.

14). K.M. Kavi, F.T. Sheldon and S. Reed. "Specification and analysis of real-time systems using CSP and Petri nets", International Journal of Software Engineering and Knowledge Engineering, (World Scientific Publishing Company) Vol. 6, No. 2, June 1996, pp 229-248.

13). B.P. Weems, K.M. Kavi and B. Shirazi. "HIPP: An honors program in parallel processing", International Journal of Engineering Education, Vol. 11, Nos. 4 and 5, Nov. 1995, pp 329-335.

12). B.G. Wyatt, K. M. Kavi and S.P. Hufnagle. "Parallelism in object oriented languages: A surve", IEEE Software, Nov. 1992, pp. 56-66.

11). K. M. Kavi and B. Shirazi. "Dataflow Architecture: Are dataflow computers commercially viable?", IEEE Potentials, Oct. 1992, pp. 27-30

10). F.T. Sheldon, K.M. Kavi, R.C. Tausworthe, J.T. Yu, R. Brettschneider and W.W. Everett. "Software reliability measurement: From theory to practice", IEEE Software, July, 1992, pp. 13-20.

9). K.M. Kavi and S.M. Yang. "A survey of real-time design methodologies", Journal of Systems and Software (Elsevier Science Publishing), April 1992, pp. 85-99.

8). K.M. Kavi and A.K. Deshpande. "Specification of concurrent processes using a dataflow model of computation and partially ordered events", Journal of Systems and Software (Elsevier Science Publishing), Vol. 16, No. 2, pp. 107-120, Oct. 1991.

7). D.J. Chen and K.M. Kavi. "Stochastic dataflow graph models for the reliability analysis of interconnection and computer networks", Journal of Information Science and Engineering (Institute of Information Science, Taipei, Taiwan), Vol. 7, No. 2, June 1991, pp. 253-278

6). A.K. Deshpande and K.M. Kavi. "A Model for the specification of concurrent processes", Journal of Microcomputer Applications Vol. 8, No. 3, 1989, pp. 95-102, (ACTA Press for International Society for Mini and Microcomputers - ISMM)).

5). A.K. Deshpande and K.M. Kavi. "A review of specification and verification methods for parallel programs, including the dataflow approach", IEEE proceedings, Vol. 77, No. 12, (Dec. 1989), pp. 1816-1828.

4). K.M. Kavi, B.P. Buckles and U.N. Bhat. "Isomorphisms between Petri nets and Dataflow graphs", IEEE Tr. on Software Engineering, Oct. 1987, pp. 1127-1134 (SE-13, 10).

3). U.N. Bhat and K.M. Kavi. "Reliability analysis of computer systems including Petri nets and dataflow graphs', Sadhana, Oct. 1987, pp. 167-186 (Vol. 11, Parts 1&2).

2). K.M. Kavi and U.N. Bhat. "Reliability analysis of computer systems using dataflow graph models", IEEE Tr. on Reliability, Dec. 1986, pp. 529-532, (R-35, 5)

1). K.M. Kavi, B.P. Buckles and U.N. Bhat. "A formal definition of dataflow graph models", IEEE Tr. on Comp., Nov. 1986, pp. 940-948 (C-35, 11).

Refereed Conference Proceedings

88. Krishna Kavi, Wentong Li and Ali Hurson. "A non-blockng multithreaded architecture with support for speculative threads", Proc of 8th International Conference on Algorithms, Architectures and Applications of Parallel Processing (ICA3PP-2008), Cyprus, June 9-11, 2008) pp 173-184. in pdf

87. Afrin Naz, Krishna Kavi, JungHwan Oh and Pierofranco Foglia. "Reconfigurable split data caches: A novel scheme for embedded systems", Proceedings of the 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007, pp 707-7112 in pdf

86. Chia-En (Paul) Lin, Krishna M. Kavi, Frederic Sheldon and Kris M. Daley. "A methodology to evaluate agent-oriented software engineering techniques", Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS-07), Jan. 2-6, 2007, Hawaii. in pdf

85. Wentong Li, Krishna Kavi, Afrin Naz and Philip Sweany. "Speculative thread execution in a multithreaded dataflow architecture", Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA. in pdf

84. Afrin Naz, Krishna Kavi, Philip Sweany and Wentong Li. "A study of reconfigurable split data caches and instruction caches", Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA in pdf

83. Wentong Li, Saraju Mohanty and Krishna Kavi. "Page-based software-hardware co-design of a dynamic memory allocatorā" Proceedings of the 19th ISCA Parallel and Distributed Computing Systems, Sept 20-22, 2006, San Francisco, CA. in pdf

82. P. Chen, K. Kavi and R. Akl. "Performance enhancement by eliminating redundant function execution", Proceedings of the IEEE 39th Annual Simulation Conference, Huntslville, AL, April 2-6, 2006, pp 143-150. in pdf

81. Wenming Li, K.M. Kavi and R. Akl. "An efficient non-preemptive real-time scheduling algorithm"", Proceedings of the ISCA 18th International Conference on Parallel and Distributed Computing (PDCS-2005), pp. 154-160, Las Vegas, Sept. 12-14, 2005. in pdf

80. A. Naz, M. Rezaei, K.Kavi and P. Sweany. "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 in conjunction with Parallel Architectures and Compiler Technology (PACT-2004) Conference, Sept. 29-Oct. 3, 2004, Antibes Juan-Les-Pins, France. in pdf

79. A. Naz, K.M. Kavi, P.H. Sweany and M. Rezaei. "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, May 16-19, 2004, pp 157-164. in pdf

78. K.M. Kavi and P. Chen. "Dynamic function result reuse" Proceedings of the 11th International Conference on Advanced Computing (ADCOM-2003), Coimbatore, India, Dec. 17-20, 2003. in pdf

77. L.M. Fox, C.R. Hill, R.K. Cytron and K.M. Kavi. "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), Oct. 29, 2003, San Jose, CA.

76. L. Song, K.M. Kavi and R. Cytron. "An unfolding-based loop optimization technique", Proceeding of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES'03), Springer Verlag Lecture Notes on Computer Science (LNCS), Vienna, Austria, Sept. 24-26, 2003. in pdf

75. L. Song, Y. Zhang and K.M. Kavi. "A simple loop transformation for multithreaded, superscalar and VLIW architectures", Proceedings of the 16th International Conference on Parallel and Distributed Computing Systems (PDCS-2003, sponsored by the International Society for Computers and their Applications, ISCA), Aug. 3-15, Reno, Nevada, USA. in pdf

74. M.Rezaei and K.M. Kavi. "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 (PDCS-2003, sponsored by the International Society for Computers and their Applications, ISCA), Aug. 3-15, Reno, Nevada, USA. in pdf

73. K.M. Kavi, D.C. Kung, H. Bhambhani, G. Pandcholi, M. Kanikarla and R. Shah. "Extending UML to modeling and design of multi agent systems", Proc. of 2nd Intl Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS2003), held in conjunction with the International Conference on Software Engineering, Portland, OR, May 3-10, 2003, in Pdf

72. Litong Song and K.K. Kavi. "A technique for variable dependent driven loop peeling", Proceedings of the 5th International Conference on Algorithms and Architectures for Parallel Processing (IC3APP2K2), Beijing, China, Oct. 23-25, 2002 Preprint in pdf

71. K.M. Kavi, M. Aborizka and D.Kung. "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, Oct. 23-25, 2002 Preprint in pdf

70. Joseph Arul and K.M. Kavi. "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, Oct. 23-25, 2002 Preprint in pdf

69.S. Donahue, M.P. Hampton, R. Cytron, M. Franklin and K.M. Kavi. "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, May 2002, Anchorage, Alaska, pp . in pdf

68. K.M. Kavi, J. Arul and R. Giorgi. "Performance Evaluation of a Non-Blocking Multithreaded Architecture for Embedded, Real-Time and DSP Applications", Proceedings of the ISCA PDCS-2001, Dallas Texas, August 8-11, 2001, pp 365-371. in pdf

67. S.M. Donahue, M.P. Hampton, M. Deters, J.M. Nye, R.K. Cytron and K.M. Kavi. "Storage Allocation for real-time, embedded systems", Proceedings of the First International Workshop on Embedded Software (Washington, DC, May 2001), Springer Verlag, pp 131-147 in pdf

65. K.M. Kavi and M. Aborizka. "Glass-Box: An intelligent flight data recorder and real-time monitoring systems", Proc. of the 39th AIAA Aerospace Sciences Meeting, Reno, NV, Jan. 8-11, 2001. Preliminary draft in PDF

64. K.M. Kavi, M. Rezaei and R. Cytron. "An efficient memory management technique that improves localities", Proc. International Conference on Advanced Computing and Communications (ADCOM 2000), Cochin, India, Dec. 15-17, 2000. in pdf

63. M. Aborizka and K.M. Kavi. "Learning technologies with flight data recorders", Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong, Dec. 11-14, 2000.

62. J. Arul, K.M. Kavi and S. Hanief. "Cache Performance of Scheduled Dataflow Architecture", Proc. of the 4th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP2000), Hong Kong, Dec. 11-14, 2000.

61. K.M. Kavi and D. Mehta. "Mutual Exclusion. On Optical Networks", Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Published by the International Society of Computers and Their Applications, Las Vegas, Aug. 8-10, 2000, pp 250-255. Preprint in PDF format

60. K.M. Kavi, R. Giogi and J. Arul. "Comparing execution performance of Scheduled Dataflow Architecture with RISC processors", Proc. of the 13th ISCA Parallel and Distributed Computing Systems Conference (PDCS-00), Published by the International Society of Computers and Their Applications, Las Vegas, Aug. 8-10, 2000, pp 41-47. Preprint in pdf format

59. R. Giorgi, K.M. Kavi and J. Arul. "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, in July 23-26, 2000.

58. M. Rezaei and K.M. Kavi. "A new implementation for memory management", Proceedings of the IEEE Southeastcon 2000 Conference, April 7-9, 2000, Nashville, TN. In PDF

57. H.Y. Kim, K.M. Kavi and A.R. Hurson. "A Simple Non-Blocking Architecture", Proc. ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS-99), Published by the International Society for Computers and Their Appliations, Ft. Lauderdale, FL, Aug. 18-20, 1999, pp 231-236. In Postscript

56. A.R. Hurson and K.M. Kavi. "Interactive teaching practices in small class sizes while cutting into the high cost of education", Proc. of the International Conference on Engineering Education, Ostrava, Czech, Aug. 10-12, 1999. In PDF

55. D. Hecht, K.M. Kavi, R. Gaede and C. Katsinis. "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, June 23-25, 1999, pp 100-105. in postscript

54. K.M. Kavi, H.-S.Kim, J. Arul and A.R. Hurson "A decoupled scheduled dataflow multithreaded architecture", Proceedings of the 1999 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN99), Fremantle, Western Australia, June 23-25, 1999, 138-143. In postscript

53. J.B. Lim, A.R. Hurson and K.M. Kavi. "Concurrent data access in mobile heterogeneous systems", Proceedings of the Hawaii International Conference on System Sciences (HICSS-99), Jan. 1999.

52. K.M. Kavi, A. Hernandez and D. Levine. "Hyperactive Messages", Proceeding of the International Conference on Parallel and Distributed Computing Systems, Los Vegas, Oct. 28-30, 1998, pp 704-708. PDF

51). K.M. Kavi, D. Levine and A.R. Hurson. "PL/PS: A non-blocking multithreaded architecture", Proceedings of the the Fifth International Conference on Advanced Computing (ADCOMP-97), Madras, India, Dec. 1997, pp 171-177. PDF

50). T.S. Chen, H.Y. Youn and K.M. Kavi. "Scalable software system architecture for parallel logic simulation", Proc. of 1997 Parallel and distributed systems symposium, Oct. 1-3, 1997, New Orleans, LA.

49). J.T. Lim, A.R. Hurson and K.M. Kavi. "VL-Stag: An allocation policy for Doacross loops", Proceedings of the First European Conference on Parallel and Distributed Systems (Euro-PDS 97), Barcelona, June 9-11, 1997, pp 111-116.

48). A.R. Hurson, J.T. Lim and K.M. Kavi. "Cyclic staggered loop allocation", Proceedings of the IEEE Symposium on Parallel and Distributed Processing, pp 240-249, New Orleans, LA, Oct. 23-26, 1996.

47). H.Y. Youn, H. Choo and K.M. Kavi. "Peroformance enhancements of multistage interconnection networks using unit step buffering (USB) scheme", Proc. of the international conference on systems engineering , Los Vegas, NV.

46). K.M. Kavi and A.R. Hurson. "Investigation of operand memory reuse in a dynamic dataflow architecture", Proceedings of the High Performance Computing Symposium 96, (The society of computer simulation), pp 288-295, April 8-11, 1996, New Orleans, Louisiana.

45). J. Lim, A. Hurson, L. Miller and K.M. Kavi. "Dynamic object allocation for distributed object-oriented databases", Proceedings of the International Conference on High Performance Computing (HiPC), December 27-30, 1995, New Delhi, India.

44). K.M. Kavi and F.T. Sheldon. "Specification and Analysis of Real-Time Systems using CSP and Petri Nets", Proceedings of the Fault Tolerant Systems Conference (FTS-95), pp 141-147 (Printed by Narosa Publishing House, New Delhi, India) I.I.T. Madras, India, Dec. 20-22, 1995.

43). K.M. Kavi and A.R. Hurson. "Cache memories in dataflow architecture", Proc of the 7th IEEE Symposium on Parallel and Distributed Processing, Oct. 25-28, San Antonio, TX., pp 182- 189.

42). K.M. Kavi, A.R. Hurson, P. Patadia, E. Abraham and P. Shanmugam. "Design of cache memories for multi-threaded dataflow architecture", Proceedings of the 22nd Intl. Symp. on Computer Architecture (ISCA-22), June 1995, St. Margherita Ligure, Italy, pp. 253-264. postscript

41). F.T. Sheldon and K.M. Kavi. "Reliability analysis of CSP specifications: A new method using Petri nets", Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995), pp 317-326.

40). K.M. Kavi and H.Y. Youn. "A real-time performability evaluation tool", Proceedings of the Computers in Aerospace-10, (San Antonio, March 1995).

39). K.M. Kavi, F.T. Sheldon, B. Shirazi and A.R. Hurson. "Reliability analysis of CSP specifications using Petri nets and Markov processes" Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28), Jan. 3-6, 1995, Maui, Hawaii, pp. II 516-524. postscript

38). K.M. Kavi and F.T. Sheldon. "Specification of Stochastic Properties with CSP", Proceeding of the International Conference on Parallel and Distributed Systems (ICPADS), Dec. 19-21, 1994, Hsinchu, Taiwan, pp. 288-293.

37). A.R. Hurson, J.J. Lim, B. Shirazi and K.M. Kavi. "Staggered Scheme: A loop allocation policy", 6th International Parallel Architectures and Languages Europe Conference (PARLE'94), Athens Greece, (July 94), Proceedings available as Lecture Notes in Computer Science #817, Springer-Verlag, pp. 793-796..

36). B. Shirazi, H.B. Chen, K.M. Kavi, J. Marquis and A.R. Hurson. "PARSA: A parallel program software development tool", 3rd Symposium on Assessment of Quality Software Development Tools, (Washington, DC, June 7-9, 1994), pp. 96-111.

35). A.R. Hurson, J.T. Lim. K.M. Kavi and B. Shirazi. "Loop allocation scheme for multithreaded dataflow computers", Proceedings of the 8th International Parallel Processing Symposium (IPPS 94), (Cancun, Mexico, April 26-28, 1994), pp. 316-322.

34). V. Karani, P. Patadia, K.M. Kavi, P. Shanmugam, B. Shirazi and A.R. Hurson. "Improvements to the ETS dynamic dataflow architecture", Proceedings of the 27th Hawaii Intl Conference on Systems Sciences, HICSS-27, (Maui, HI, Jan 4-7, 1994), pp. I 378-387.

33). K.M. Kavi, H.Y. Youn, B. Shirazi and A.R. Hurson. "A performability model for soft real- time systems", Proceedings the 27th Hawaii International Conference on Systems Sciences, HICSS- 27 , (Maui, HI, Jan 4-7, 1994), pp. II 571-580. postscript

32). P. Shanmugam, S. Andhare, K.M. Kavi, B. Shirazi and A.R. Hurson. "Cache memory for an explicit token store dataflow architecture", Proceedings of the 5th IEEE symposium on parallel and distributed processing , (Dec. 1-3, 1993, Dallas, Texas), pp. 45-50.

31). H.B. Chen, B. Shirazi, K. Kavi and A.R. Hurson. "Static scheduling using linear clustering with task duplication", Proc. of sixth Intl. Conf. on Parallel and Distributed Computing Systems, (Oct. 93, Lexington, Kentucky), pp. 285-290.

30). B. Shirazi, K.M. Kavi, A.R. Hurson and P. Biswas. "PARSA: A parallel program scheduling and assessment environment", Proc of 1993 International Conference on Parallel Processing, August 16-20, 1993

29). H.B. Chen, B. Shirazi, K. M. Kavi and A.R. Hurson. "Linear clustering with task duplication: A novel static scheduling method for distributed memory systems", Proc. of the 9th international conference on systems engineering , July 14-16, 1993, Los Vegas, Nevada, pp. 16-20.

28). S.M. Yang, P.R. Pizzorni, K.M. Kavi and H. Mei. "A protocol for real-time message scheduling in LAN/MAN", Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26), Jan. 5-8, 1993, pp. II 613-621.

27). B. Lee and K.M. Kavi. "Program partitioning for multithreaded dataflow computers", Proc. of 26th Hawaii International Conference on System Sciences (HICSS-26), Jan. 5-8, 1993, pp. II 487- 495.

26). B. Kim, H.Y. Youn and K.M. Kavi. "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, pp. 162-165.

25). B. Shirazi. and K.M. Kavi. "A new cache coherency and address translation consistency protocol", Proc. of 1992 Intl Conference on Parallel Processing

24). D.H. Lin, B. Shirazi and K.M. Kavi. "An efficient data interface for heterogeneous distributed environment", Proc of the International Conference on Distributed Computing Systems (ICDCS- 92)., Yokohama, Japan, June 9-12, 1992, pp. 390-397.

23). S.M. Yang, K.M. Kavi, A. Agrawala, M. Reddi and S. Anam. "SUVS: A distributed real- time system testbed for fault-tolerant computing", Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA, March 1-3, 1992, pp. 782-791.

22). W.G. Shieh, B.P. Weems and K.M. Kavi. "Extending N-grid group authorization using compact encoding", Proc. of 1992 ACM Symposium on Applied Computing (SAC'92), Kansas City, KA, March 1-3, 1992, pp. 190-196.

21). K.M. Kavi, V. Vijayaraghavan, B. Shirazi and A. Hurson. "Barriers and breakpoints in dataflow: extensions to SISAL language", Proc. of 25th Hawaii Intl. Conf. on System Sciences (HICSS-25), Koloa, HI, Jan. 7-10, 1992, pp. I 526-534.

20).S. Krishnaprasad, B. Shirazi, K.M. Kavi and A. Hurson. "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, Jan. 7-10, 1992, pp. I 515-525.

19). D.H. Lin, B. Shirazi and K.M. Kavi. "A heterogeneous distributed processing interface specification language", Proc. of 1991 Intl Conference on Parallel Processing, pages II-274-275.

18). V. Vijayaraghavan, K.M. Kavi and B. Shirazi. "Control flow extensions to the dataflow language SISAL", Proc. of the 1991 Symposium on Applied Computing, Apr. 3-5, 1991, Kansas City, MO, pp. 130-138.

17). W.G. Shieh, B.P. Weems and K.M. Kavi. "An N-grid model for group authorization", Proc. of the 6th annual IEEE computer security applications conference, Dec. 6-8, 1990, Tucson, AZ, pp. 384-392.

16). K.M. Kavi, S.R. Kuthalam and A.K. Deshpande. "A decomposition approach for analysis of parallel processing systems", Proc. of 2nd IEEE symposium on parallel and distributed processing , Dallas, Dec. 9-13, 1990, pp. 776-779.

15). K.M. Kavi and A.K. Deshpande. "A model and a proof system for parallel and distributed processes", Proc. of Hawaii Intl. Conf. on System Sciences, HICSS-23, Kona, Hawaii, Jan 1990, pp. II 386-392.

14). K.M. Kavi and T.C. Lin. "Reliability analysis using dataflow graph models and approximate solutions", Proc. of Intl. Symp. on Approximations, Optimization and Computing (Dalian, China, July 3-7, 1989). Proceedings available as Approximation, Optimization and Computing, edited by A.G. Law and C.L. Wang, North-Holland, 1990, pp. 105-109.

13). D.J. Chen, M.C. Sheng and K.M. Kavi. "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), May 23-27, 1989, Toronto, Canada, pp. Volume-II 94-98.

12). F.T. Sheldon and K.M. Kavi. "A new software reliability model for estimating failure rate due to residual defects", Proc. of Workshop on Applied Computing (WAC-89), Stillwater, OK, March 30-31, 1989, pp. 7-13.

11). K.M. Kavi and D.J. Chen. "A qualitative assessment of object-oriented architectures: SWARD, Intel 432 and IBM S/38", Proc. of International Computer Symposium, ICS-88, Taipei, Taiwan, Dec. 15-17, 1988, pp. 175-181.

10). D.J. Chen, K.M. Kavi and U.N. Bhat. "Dynamic reliability analysis of communication networks using continuous time stochastic dataflow graphs", Proc. of ACM South Central Regional conference, Lafayette, LA, Nov. 21-23, 1987, pp. 158-171.

9). D.J. Chen, K.M. Kavi and P. Hsia. "A planned incremental construction methodology using dataflow graphs", Proc. COMPSAC-87, Oct. 5-9, 1987, Tokyo, pp. 96-102.

8). K.M. Kavi and D.J. Chen. "Architectural support for object-oriented programming languages", Proc. COMPCON, Spring 1987, San Francisco, Feb. 23-26, 1987, pp. 54-58.

7). K.M. Kavi, EW. Banios and B.D. Shriver. "MRDF: An architectural model for distributed processing", Proc. 11th annual Symp. on computer architecture, (ISCA-11) Ann Arbor, MI, June 5- 7, 1984, pp. 271-278.

6). K.M. Kavi. "Dataflow modeling techniques", Proc. IASTED Intl. conf. on Siml. and Modl., Orlando, FL, Nov. 9-11, 1983, pp. 1-4..

5). K.M. Kavi and H.G. Cragon. "A conceptual framework for the description and classification of computer architecture", Proc. IEEE intl. wksp. on Comp. Syst. Org., New Orleans, Mar. 29-31, 1983, pp. 10-19.

4). T.E. Perkins and K.M. Kavi. "Heuristic graph algorithms for modularization", Proc. 5th intl. conf. on computer capacity management, New Orleans, Apr. 18-20, 1983, pp. 246-252.

3). K.M. Kavi, B. Belkhouche, E. Bullard, D. Delcambre and S. Nemecek. "HLL architectures: pitfalls and predilections", Proc. 9th annl. symp. on comp. arch., (ISCA-9)Apr. 26-29, 1982, Austin, TX., pp. 18-23.

2). K.M. Kavi and U.B. Jackson. "Effects of declaration statements on software science", Proc. of SCORE-82: Wksp. on software counting rules, Mar. 23-24, 1982, IBM-SRI, New York. (proceedings available as SIGMETRICS Vol. 11, No. 2), pp. 57-71.

1). K.M. Kavi and H.G. Cragon. "Quest for an 'Ideal" machine language", Proc. of intl. wksp. on HLL comp. arch., May 27-29, 1980, Ft. Lauderdale, FL., pp. 33-39.

Other technical publications

16. K.M. Kavi and A.R. Hurson. "Mult-Threaded Systems: Issues, Solutions And Future - Introduction to the Minitrack on Multithreaded Systems", Proceedings of the 30th Hawaii International Conference on SystemSciences (HICSS-30), Jan. 1997, Maui, Hawaii.

15. K. M. Kavi, I. Lee and N. Serbedzija. "Distributed Real-Time Systems: An Introduction to the Minitrack", Proceedings of the 29th Hawaii International Conferenc on System Sciences (HICSS-29), Jan. 1996, Maui, Hawaii.

14. F.T. Sheldon and K.M. Kavi. "Linking software failure behavior to specification characteristics", Proceedings of 4th International Workshop on Evaluation Techniques for Dependable Systems, Oct. 1995, San Antonio, TX.

13. F.T. Sheldon and K.M. Kavi. "Linking software failure behavior to specification characteristics.", Record of 3rd IEEE International Workshop on integrating error models with fault injection, Annapolis, MD, April 25-26, 1994.

12. K.M. Kavi, B. Wyatt, B. Shirazi, and A.R. Hurson . "Evaluation of dynamic inheritance in distributed environments. Proc. of 1994 ASME European Joint Conference on Engineering Systems Design and Analysis, (ESDA-94), London, England, July 4-7, 1994, ASME, NY, Vol. 5, pp. 525- 532.

11. P. Shanmugam, S. Andhare and K.M. Kavi. "Justifying cache memories for dataflow architectures", Workshop on fine-grained massively parallel coordination, at International Symposium on Computer Architecture, May 15-20, 1993, San Diego, CA.

10. M.C. Measures and K.M. Kavi. "An Hierarchical Model for Object-Oriented Systems", Proc. of 1992 ASME European Joint Conference on Engineering Systems Design and Analysis, Istanbul, Turkey, June 29 - July 3, 1993, pp. Vol. 4 67-72.

9. B.P. Weems, K.M. Kavi and S.M. Yang. "HIPP: An honors program in parallel processing", Proceedings of 1992 ASEE National Conference, pp 428-432.

8. F.T. Sheldon and K.M. Kavi. "A model for estimating software reliability based on residual defects", Proc. of IEEE Midcon'90, Dallas, Texas, Sept. 11-13, 1990.

7. F.T. Sheldon, K.M. Kavi and R. Reese. "Software reliability modeling: A case study", Proceedings of General Dynamics Software Technology Conference, pp 29: 1-14, April 1991, San Diego, CA.

6. C.F. Shelor and K.M. Kavi. "Data tags or partitioned memory?", Proc. of IEEE Midcon'90, Dallas, Texas, Sept. 11-13, 1990.

5. F.T. Sheldon and K.M. Kavi. "An evaluation of two new advanced microprocessor architectures", Proc. of IEEE Metrocon 90, Arlington, Feb. 17, 1990.

4. K.M. Kavi and K. Krishnamohan. "Architecture quality", SIGOPS Operating Systems Reviews, Jan. 1984.

3. K.M. Kavi. "Innovative architectures and commercial computers: summary of panel discussion at NCC 1981, SIGARCH Computer Architecture News, Aug. 1981.

2. K.M. Kavi. "Semantics of an algorithm", SIGARCH Computer Architecture News, Dec. 1980.

1. K.M. Kavi and D.J. Frailey. "Quantification of architecture using software science", SIGARCH Computer Architecture News, Oct. 1979.

Books, Edited Volumes, Chapters in Books

Journal Publications

Refereed Conference Proceedings

Other technical publications