Fernando Mosquera, Ashen Ekanayake, William Hua, Krishna Kavi, Gayatri Mehta, Lizy
John. "SecurityCloak: Protection against cache timing and speculative memory access
attacks", Journal of Systems Architecture. 2024. 103107.in pdf
2023
Pranathi Vasireddy, Krishna Kavi, Alex Weaver, Gayatri Mehta. "Streaming Sparse Data
on Architectures with Vector Extensions using Near Data Processing", International
Symposium on Memory Systems (MEMSYS-2023). Oct 2-5, 2023.in pdf
Li, Ruihao, et al. "NextGen-Malloc: Giving Memory Allocator Its Own Room in the House."
Proceedings of the 19th Workshop on Hot Topics in Operating Systems. 2023.in pdf
Li, R., Yadav, S., Wu, Q., Kavi, K. M., Mehta, G., Yadwadkar, N. J., John, L. K. "Performance
implications of Async Memcpy and UVM: A tale of two data transfer modes". Ghent: 2023
IEEE International Symposium on Workload Characterization (IISCW-2023).in pdf
Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy John. "Creating false hits and
misses to mitigate side-channel attacks", Proceedings of the IEEE Silicon Valley Cybersecurity
Conference (SVCC-2023), May 17-19, 2023, San Jose, CA.Preliminary Draft in pdf
Fernando Mosquera, Krishna Kavi, Gayatri Mehta, Lizy John. "Guard Cache: Creating
Noisy Side-Channels." IEEE Computer Architecture Letters (2023). Vol. 22, No. 2, July-December 2023 in pdf
2022
Alex Weaver, Krishna Kavi, Pranathi Vasireddy, Gayatri Mehta. "Memory-side acceleration
and sparse compression for quantized packed convolutions", IEEE 34th International
Symposium on Computer Architecture and High-Performance Computing (SBAC-PAD 2022),
No. 2-5, 2022, Bordeaux, France. in pdf
Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta. "Sparse-T: Hardware accelerator thread
for unstructured sparse data processing", IEEE/ACM International Conference on Computer
Aided Design (ICCAD-2022), San Diego,CA, Oct. 30-Nov.3, 2022. in pdf
Shashank Adavally, Alex Weaver, Pranathi Vasireddy, Krishna Kavi, Gayatri Mehta, Nagendra
Gulur. "Heterogeneous architecture for sparse datat processing", Heterogeneity in
Computing Workshop (HCW-2022), held in conjunction with IPDPS-2022, Lyon, France,
May 30, 2022 in pdf
2021
Shashank Adavally, Krishna Kavi and Gayatri Mehta. "Subpage migration in heterogeneous
memory systems", Proceedings of the 2nd Workshop on Heterogeneous Memory Systems (HMEM-2021),
Colocated with ICS 2021, June 18, 2021. in pdf
Shashank Adavally, Krishna Kavi and Mahzabeen Islam. "Dynamically adapting page migration
policies based on application memory access behaviors", ACM Journal on Emerging Technologies
in Computer Systems, April 2021, Vol. 17, No. 2, 24 pageshttos://doi.org/10.1145/3444750 in pdf
2020
Pranoy Dutta, Nagendra Gulur, Tanvi Mehta, Krishna Kavi. "Empower: Automated architecture
specialization with RISC V", submitted for publication. in pdf
Rohit Yanambaka, Nathaniel Brown, Daniel Ting, Krishna Kavi. "Offensive and Defensive
Perspectives in Additive Manufacturing Security", International Conference on Software
Engineering Advances (ICSEA 2020), (virtual), Porto, Portugal, Oct 18-20, 2020 preprint
Shashank Adavally, Nagendra Gulur, Krishna Kavi, Alex Weaver, Pranoy Dutta and Benjamin
Wang: "ExPress: Simultaneously achieving storage, performance and energy efficiencies
in sparse matrix computation", International Symposium on Memory Systems (MEMSYS),
Sept 28, 2020 preprint
Shashank Advally and Krishna Kavi: "Towards automating application-specific address
mapping for emerging memory devices", International Symposium on Memory S ystems (MEMSYS),
Sept 28, 2020 preprint
Fernando Mosquera, Nagendra Gulur, Krishna Kavi, Gayatri Mehta, Hua Sun. "CHASM: Security
evaluation of cache mapping schemes", International Conference on Emedded Systems:
Architectures, Modeling and Simuation (SAMOS-2020), Virtual, Sept30, 2020. in pdf
Mahzabeen Islam, Shashank Adavally, Marko Scrbak, Krishna Kavi. "On-the-Fly Page Migration
and Address Reconciliation for Heterogeneous Memory Systems", th ACM Journal on Emerging
Technologies in Computing Systems (JETC) Vol. 16, Nov, 1, Article 5, 27 pages, January
2020.. Preliminary Draft
2019
Rohit Yanambaka, Rohan Maheshwari, Krishna Kavi. "SIMON: Semantic inference model
for security in CPS using ontologies", 14th International Conference on Software Engineering
Advances (ICSEA-2019), Nov. 24-28, 2019, Valencia, Spain. Received Best Paper Award.Preprint
Rohit Yanambaka, Rohan Maheshwari, Krishna Kavi. "Requirements traceability in CPS
using Semantic Inference", 14th International Conference on Software Engineering Advances
(ICSEA-2019), Nov. 24-28, 2019, Valencia, Spain.in pdf
Charles Shelor, Krishna Kavi, "Reconfigurable Dataflow Graphs For Processing-In-Memory",
IEEE 20th International Conference on Distributed Computing and Networking (ICDCN-2019),
Bangaluru, India, Jan. 4-7, 2019. preliminary draft
2018
Rohit Yanambaka, Patrick Kamongi and Krishna Kavi. "An ontology driven framework for
security and resiliency in cyber-physical systems", Proceedings of the 13th International
Conference on Software Engineering Advances (ICSEA-2018), Nice, France, Oct. 14-18,
2018. preliminary draft in pdf
Shashank Adavally and Krishna Kavi. "3D-DRAM performance for different OpenMP scheduling
techniques in multicore systems", Proceedings of the 20th IEEE International Conference
on High Performance Computing and Communications (HPCC-2018), Exeter, UK, June 28-30,
2018. in pdf
2017
R. Yanambaka and K. Kavi. "CLIPS: Customized levels of IoT privacy and security",
Proceedings of the 12th International Conference on Software Engineering Advances
(ICSEA-2017), Oct 8-12, 2017, Athens, Greece.in pdf
C. Shelor and K. Kavi. "Dataflow based near data computing achieves excellent energy
efficiency", International symposium on Highly-Efficient Accelerators and Reconfigurable
Technologies" (HEART 2017), Bochum, Germany, June 7-9, 2017.in pdf
M. Scrbak, et. al. "DVFS space exploration in power constrained processing-in-memory
sysems", Proceedings of the 30th International conference on the Architecture of Computer
Systems (ARCS 2017), April 3-6, 2017, Vienna, Austria.in pdf
M. Islam, et, al. "3D-DRAM resident prefetching for heterogeneous memory systems",
Proceedings of the 30th International conference on the Architecture of Computer Systems
(ARCS 2017), April 3-6, 2017, Vienna, Austria.in pdf
M. Scrbak, M. Islam, K. Kavi, M. Ignatowski and N. Jayasena. "Exploring processing-in-memory
design space", Journal of Systems Architecture (Elsevier), April 2017, pp 59-67, DOI:
10.1016/j.sysarch.2016.08.001.in pdf
2016
M.Scrbak, et.al. "A study of page placement and migration in heterogeneous flat-addressable
memories", submitted for publication. draft in pdf
M. Islam, S. Banerjee, M. Meswani and K. Kavi. "Prefetching as a potentially effective
technique for hybrid memory optimization", Proceedings of the International Symposium
on Memory Systems (MEMSYS 16), October 3-6, 2016, Alexandria, VA. in pdf
M. Rezaei and K. Kavi. "ABT and SBT revisited: Efficient memory management techniques
for object-oriented and web-based applications', in International Journal of Science
and Technology, published by Scietia Irancia, Vol. 23, No. 3, pp 1217-1227, June 2016. in pdf
P. Kamongi, K. Kavi and M. Gomathisankaran. "Predicting unknown vulnerabilities using
software metrics and maturity models', The 8th International conferences on software
engineering advances (ICSEA-2016), Rome, Italy, August 21-25, 2016. in pdf
A. Gopalakrishnan and K.M. Kavi. "Probabilistic analysis of contracting Ebola virus
using contextual intelligence", Proceedings of the 2nd International conference on
health informatics and medical systems (HiMS'16), Las Vegas, NV, July 25-28, 2016. in pdf
2015
C. Shelor, K. Kavi and S. Adavally. "Dataflow based near-data processing using coarse
grained reconfigurable logic", 3rd Workshop on Near-Data Processing (WoNdp-3), Waikiki,
HI, Dec. 2015. in pdf
Chen-Yu Lee and Krishna Kavi. "Evaluation of Security Service Level Agreements" Tenth
International Conference on Software Engineering Advances (ICSEA 2015), November 15-20,
2015, Barcelona, Spain. in pdf
K.M. Kavi, S. Pianelli, G. Pisano, G. Regina and M. Ignatowski. "Memory organizations
for 3D-DRAM and PCMs in processor memory hierarchy", in the Elsevier Journal of Systems
Architecture, Vol. 61, pp. 539-552, DOI: 10.1016/j.sysarc.2015.07.00, Aug. 2015. preliminary draft
J. Shidal, A.J. Spilo, P. T. Scheid, R. Cytron and K. Kavi. "Recycling trash in cache",
Proceedings of the International Symposium on Memory Management (ISMM-2015), June
14, 2015, Portland, OR. in pdf
Chen-Yu Lee, Patrick Kamongi, Krishna Kavi and Mahadevan Gomathisankaran. "Optimus:
A framework of vulnerabilities, attacks, defenses and SLA ontologies", International
Journal of Next-Generation Computing, Vol 6, No. 1 (March 2015) in pdf
K. Kavi, D. Pace and C. Shelor. "Concurrency, Synchronization, Speculation - the Dataflow
way", in Dataflow Processing, Ali Hurson and Veljko Mikutinovic, editors, Advances
in Computers, Vol. 96, PP 47-104, Academic Press, UK., Vol. 96, PP 47-104. in pdf
Marko Scrbak, Mahzabeen Islam, Krishna Kavi, Mike Ignatowski, Nuwan Jayasena. "Processing-in-Memory:
Exploring the design Space", 28th International Conference on the Architecture of
Computer Systems (ARCS-2015), March 24-27, 2015, Porto, Portugal. in pdf
Charles Shelor and Krishna Kavi. "Moola: Multicore Cache Simulator", 30th International
Conference on Computers and Their Applications (CATA-2015), March 9-11, 2015, Honolulu,
Hawaii. in pdf
Chen-Yu Lee, K.M. Kavi, R.A. Paul and M. Gomathisankaran. "Ontology of secure service
level agreement", 16th IEEE International Symposium on High Assurance Systems Engineering
(HASE-2015), Jan. 8-10, 2015, Daytona Beach, Florida, USA. in pdf
2014
P. Kamongi, M. Gomathisankaran, K. Kavi. "Nemesis: Automated architecture for threat
modeling and risk assessment for cloud computing", The 6th ASE International Conference
on Privacy, Security, Risk and Trust (PASSAT-2014), Dec. 13-16, 2014, Cambridge, MA,
USA. in pdf
C.F. Shelor, J. Buchanan, K. Kavi and R. Cytron. "Potential energy savings through
eliminating unnecessary writes in the cache-memory hierarchy", International Journal
of Computers and Their Applications (IJCA), Vol. 21, No. 3, Sept. 2014, pp 178-187. in pdf
Chia-En Lin and K. M. Kavi, "Performance engineering using performance anti-patterns",
9th International Conference on Software Engineering Advances (ICSEA-2014), Oct. 12-16,
2014, Nice, France. preprint
ChenYu Lee, K.M. Kavi, M. Gomathisankaran, P. Kamongi, "Security through software
rejuvenation", 9th International Conference on Software Engineering Advances (ICSEA-2014),
Oct. 12-16, 2014, Nice, France.in pdf
M. Islam, M. Scrback, K.M. Kavi, M. Ignatowski and N. Jayasena. "Improving node-level
Map-Reduce performance using processing-in-memory technologies", 7th Workshop on Unconventional
High Performance Computing (UCHPC2004), held in conjunction with the 20th European
Conference Parallel Processing (EuroPar 2014), Porto, Portugal, Aug. 25-29, 2014. in pdf
ChenYu Lee, K.M. Kavi and M. Gomathisankaran. "Ontology based privacy setting transfer
scheme on social networking systems", 2014 International conference on security and
management (SAM'14), July 21-24, Las Vegas, NV, USA, pp 392-398. in pdf
J. Shidal, Z. Gottlieb, R. Cytron, K. Kavi. "Trash in Cache: Detecting eternally silent
stores", ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC-2014),
June 13, 2014, Edinburgh, Scotland, Co-located with PLDI 2014. in pdf
X. Wang, S. Fu and K. Kavi. "Characterizing workload of web applications on virtualized
servers", BPOE-4: the fourth workshop on Big data benchmarks, Performance Optimizations
and Emerging hardware, held in conjunction with ASPLOS-2014, Salt Lake City, UT, March
1, 2014. in pdf
T. Janjusic and K. Kavi. "Hardware and application profiling tools - a survey", Advances
in Computers, Volume 12, No. 1, Jan 2014, published by Academic Press, pp 105-160. in pdf
T. Janjusic and K. Kavi. "Virtually splitting data caches using multiple decoders",
submitted for publication. in pdf
C. Shelor, J. Buchanan and K. Kavi. "Quantifying wasted write energy in the memory
hierarchy", International Conference on Computers And Their Applications (CATA-2014),
Las Vegas, March 2014. in pdf
K. Kavi, S. Pianelli, G. Pisano, G. Regina and M. Ignatowski. "3D DRAM and PCMs in
Processor Memory Hierarchy", International Conference on Architecture of Computer
Systems (ARCS 2014), pp 183-195, Feb 25-28, 2014, Lubeck, Germany. in pdf
2013
D. Pace, K. Kavi and C. Shelor. "MT-SDF: Scheduled Dataflow Architecture with mini-threads",
Workshop on Dataflow Models (DFM 2013), held in conjunction with PACT-2013, Sept 8-11,
2013, Edinburg, UK. in pdf
R. Tidwell, S. Akumall, S. Karlaputi, R. Akl, K. Kavi and D. Struble. "Evaluating
the feasibility of EMG and bend sensors for classifying hand gestures", Proceedings
of the International Conference on Multimedia and Human Computer Interaction (MHCI-13),
July 18-19, Toronto, Canada. in pdf
Chia-en Lin and K. Kavi. " A QoS-Aware BPEL Framework for Service Selection and Composition
Using QoS Properties", International Journal On Advances in Software, v 6 n 1&2, June
2013. in pdf
P. Kamongi, S. Kotikela, K. Kavi, M. Gomathisankaran and A. Singhal. "VULCAN: Vulnerability
assessment framework for Cloud computing", Proceedings of the IEEE 7th International
Conference on Software Security and Reliability, June 18-20, 2013, Washington, DC. preliminary draft
J. Sherman, B. Potter, K. Kavi and M. Igantowski. "A multicore memory organization
for 3D-DRAM as main memory", Proceedings of the 26th International conference the
Architecture of Computer Systems (ARCS-2013), Prague, Czech Republic, Feb 19-22, 2013,
pp 62-73. in pdf
C.H. Lin, C.Y. Lin, K.M. Kavi and D.J. Chen. "Finding near-optimal message scheduling
settings for SHA-256 algorithm using genetic algorithms", Journal of Information Science
and Engineering, Vol. 29, No. 5 (Sept. 2013), pp 889-905. in pdf
2012
C. Lin, K. Kavi and S. Adepu. "A description language for QoS properties and a framework
for service composition using QoS properties", Proceedings of the Seventh International
Conference on Software Engineering Advances (ICSEA 2012), pp 90-97, Lisbon, Portugal,
Nov. 18-23, 2012.in pdf
T. Janjusic*, K. Kavi and C. Kartsaklis, "Trace driven data structure transformations",
PMBS 2012: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation
of High Performance Computer Systems, in conjunction with Super Computing Conference
(SC-12), November 10-12, 2012, Salt Lake City, Utahin pdf
S. Kotikela, K. Kavi and M. Gomathisankaran. "Vulnerability assessment in cloud computing",
Proceedings of the 2012 Intenational conference on Security and Management (SAM'12),
pp 67-73, July 16-19, 2012, Las Vegas, USA.in pdf
A. Naz and K. Kavi. "A smart cache design for embedded applications", International
Journal of Advanced Research in Computer Sceince Jan-Feb. 2012, pp 46-51.in pdf
A. Fawibe, J. Sherman, K. Kavi, M. Ignatowski and D. Mayhew. "New memory organizations
for 3D DRAM and PCMs", Proceedings of the ARCS2012: Architecture of Computing Systems,
TU Muenchen, Germany, Feb 28-March 02, 2012.in pdf
K. Kavi, I. Nwachukwu, A Fawibe . "A comparative analysis of performance improvement
schemes for L-1 caches", Elsevier Journal of Computers and Electrical Engineering,
March 2012, pp 243-257.in pdf
2011
I. Nwachukwu, K. Kavi, A. Fawibe, C. Yan, "Evaluation of techniques to improve cache
access uniformities", Proceedings of the 40th Annual Conference on Parallel Processing
(ICPP-2011), pp 31-40, Taipei, Taiwan, Sept 13-16, 2011, in pdf
M. Dubasi, A. Fawibe, O. Garitselov, K. Kavi, I. Nwachukwu, O. Okabia, V. Prabhu"Parabilis:
Speeding up single-threaded applications by extracting fine-grained threads for multi-core
execution", Proceedings of the 10th International Symposium on Parallel and Distributed
Computing (ISPDC 2011), July 6-8, 2011, Cluj Napoca, Romania. in pdf
T. Janjusic, K. Kavi and B. Potter. "Gleipnir: A memory analysis tool", Proceedings
of the 2011 International Conference on Computational Science (ICCS 2011), June 1-3,
2011, Singapore, pp 2058-2067. in pdf
2010
Krishna Kavi "Beyond the black box", IEEE Spectrum, August 2010, pp 46-51, in pdf
2009
O. Adamo, A. Naz, K. Kavi, T. Janjusic and C.P.Chung. "Smaller split L-1 data caches
for multi-core processing systems", Proceedings of IEEE 10th International Symposium
on Pervasive Systems, Algorithms and Networks (I-SPAN 2009) to be held in Kao-Hsiung,
Taiwan, December 14-16, 2009. in pdf
A. Naz, O. Adamo, K. Kavi and T. Janjusic. "Improving uniformity of cache access patterns
using split data caches", Proceedings of ISCA PDCS-2009, Sept. 2009, Louisville, KY. preliminary draft in pdf
2008
K.M. Kavi, R. Akl and A.R. Hurson. "Real-Time Systems: An introduction and the state-of-the-art",
Wiley Encyclopedia of Computer Science, Vol. 4, Dec. 2008,pp 2369-2377. in pdf
A.R. Hurson and K.M. Kavi. "Is it time for dataflow revival?" Wiley Encyclopedia of
Computing, 2007. in pdf
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
2007
R. Akl and K.M. Kavi. Modeling and Analysis using Computational Tools, in Queuing
Theory: Modeling and Analysis by U. Narayan Bhat, published by Birkhauser, Boston,
Dec. 2007.
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.in pdf
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
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.in pdf
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
2006
Wentong Li, Saraju Mohanty and Krishna Kavi. "Page-based software-hardware co-design
of a dynamic memory allocator", the IEEE Computer Architecture Letters (available
on line since July 2006) preliminary draft in pdf
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. in pdf
M. Rezaei and K. M. Kavi. "Intelligent memory manager: Reducing cache pollution due
to memory management functions" Journal of Systems Architecture, Vol. 52, No.1., pp
207-219 (Jan. 2006). in pdf
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
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
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
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
2001-2005
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
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
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
1991-2000
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.
K.M. Kavi. "Cache Memories", to appear in the Encyclopedia on Distributed Computing
(edited by Joseph Urban and Partha Dasgupta), 1998, Kluwer Academic Publishers. in pdf
K.M. Kavi, B. Lee and Ali Hurson. "Multithreaded systems: A survey", Advances in Computers,
Volume 48 (Edited by M. Zerkowitz), Academic Press, 1998. in pdf
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.
Shirazi, A.R. Hurson and K.M. Kavi (Editors), IEEE CS Press Tutorial on Scheduling
and Load Balancing in Parallel and Distributed Systems, 1995.
K.M. Kavi (Editor) IEEE CS Tutorial on Real-Time Systems: Abstractions, Languages
and Design Methodologies, Nov. 1992, IEEE Computer Society Press.
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
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
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.
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 pdf
K.M. Kavi. "Multithreaded System Implementations", IASTED Journal of Microcomputer
Applications, Vo. 18, No. 2, 1999, pp 70-84.
K.M. Kavi, J.C. Browne and A. Tripathi. "Computer Systems Research: The Pressure is
on", IEEE Computer, Jan.1999, pp 30-39. t In PDF Format
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. in pdf
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. in pdf
A.R. Hurson, K.M. Kavi and B. Lee. "Cache Memories in Dataflow Architectures", IEEE
Parallel and Distributed Technology, Winter 1996, pp 50-64. in pdf
K.M. Kavi and Ez Nahouraii. "Assessment of Software Tools: Guest Editors Introduction",
IEEE Software, Sept. 1996 pp 23-26.
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.
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.
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.
B.G. Wyatt, K. M. Kavi and S.P. Hufnagle. "Parallelism in object oriented languages:
A survey", IEEE Software, Nov. 1992, pp 56-66. in pdf
K. M. Kavi and B. Shirazi. "Dataflow Architecture: Are dataflow computers commercially
viable?", IEEE Potentials, Oct. 1992, pp. 27-30
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. in pdf
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. in pdf
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.
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
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.
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.
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.
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
K.M. Kavi, R. Giorgi 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
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.
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
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 Applications, Ft. Lauderdale,
FL, Aug. 18-20, 1999, pp 231-236. In PDF
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
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 pdf
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 PDF
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.
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
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
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.
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.
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.
H.Y. Youn, H. Choo and K.M. Kavi. "Performance enhancements of multistage interconnection
networks using unit step buffering (USB) scheme", Proc. of the international conference
on systems engineering , Los Vegas, NV.
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.
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.
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.
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.
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. PDF
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.
K.M. Kavi and H.Y. Youn. "A real-time performability evaluation tool", Proceedings
of the Computers in Aerospace-10, (San Antonio, March 1995).
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. PDF
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.
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.
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.
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.
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.
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. in pdf
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.
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.
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
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.
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.
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.
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.
B. Shirazi. and K.M. Kavi. "A new cache coherency and address translation consistency
protocol", Proc. of 1992 Intl Conference on Parallel Processing
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.
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.
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.
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.
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.
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.
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.
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.
K. M. Kavi, I. Lee and N. Serbedzija. "Distributed Real-Time Systems: An Introduction
to the Minitrack", Proceedings of the 29th Hawaii International Conference on System
Sciences (HICSS-29), Jan. 1996, Maui, Hawaii.
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.
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.
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.
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.
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.
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.
Prior to 1991
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.
K.M. Kavi and B.D. Shriver. (Editors) Proceedings of the IEEE workshop on Computer
Systems Organization, New Orleans, March 21-23, 1983.
.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)).
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. in pdf
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). in pdf
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).
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). in pdf
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). in pdf
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
University of North Texas 
