krishna kavi
Cited by
Cited by
Scheduling and load balancing in parallel and distributed systems
BA Shirazi, KM Kavi, AR Hurson
IEEE Computer Society Press, 1995
A formal definition of data flow graph models
KM Kavi, BP Buckles, UN Bhat
IEEE Computer Architecture Letters 35 (11), 940-948, 1986
Scheduled dataflow: Execution paradigm, architecture, and performance evaluation
KM Kavi, R Giorgi, J Arul
IEEE Transactions on Computers 50 (8), 834-846, 2001
Parallelism in object-oriented languages: a survey
BB Wyatt, K Kavi, S Hufnagel
IEEE software 9 (6), 56-66, 1992
A non-preemptive scheduling algorithm for soft real-time systems
W Li, K Kavi, R Akl
Computers & Electrical Engineering 33 (1), 12-29, 2007
Isomorphisms between petr nets and dataflow graphs
KM Kavi, BP Buckles, UN Bhat
IEEE Transactions on Software Engineering, 1127-1134, 1987
Reliability measurement: From theory to practice
FT Sheldon, KM Kavi, RC Tausworthe, JT Yu, R Brettschneider, ...
IEEE Software 9 (4), 13-20, 1992
Parallelization of doall and doacross loops—a survey
AR Hurson, JT Lim, KM Kavi, B Lee
Advances in computers 45, 53-103, 1997
A methodology to evaluate agent oriented software engineering techniques
CE Lin, KM Kavi, FT Sheldon, KM Daley, RK Abercrombie
2007 40th Annual Hawaii International Conference on System Sciences (HICSS …, 2007
Design of cache memories for multi-threaded dataflow architecture
KM Kavi, AR Hurson, P Patadia, E Abraham, P Shanmugam
ACM SIGARCH Computer Architecture News 23 (2), 253-264, 1995
Modeling multithreaded applications using Petri nets
KM Kavi, A Moshtaghi, DJ Chen
International Journal of Parallel Programming 30 (5), 353-371, 2002
Vulcan: Vulnerability assessment framework for cloud computing
P Kamongi, S Kotikela, K Kavi, M Gomathisankaran, A Singhal
2013 IEEE 7th International Conference on Software Security and Reliability …, 2013
Real-Time Systems, Abstractions, Languages, Design Methodologies, and Tools
KM Kavi
IEEE Computer Society Press, 1992
Execution and cache performance of the scheduled dataflow architecture
KM Kavi, J Arul, R Giorgi
Journal of Universal Computer Science 6 (10), 948-967, 2000
Extending UML to modeling and design of multi-agent systems
K Kavi, DC Kung, H Bhambhani, G Pancholi, M Kanikarla, R Shah
International Conference on Software Engineering, 2003
Reliability analysis of CSP specifications using Petri nets and Markov processes
KM Kavi, FT Sheldon, B Shirazi, AR Hurson
Proceedings of the Twenty-Eighth Annual Hawaii International Conference on …, 1995
Computer systems research: The pressure is on
K Kavi, JC Browne, A Tripathi
IEEE Annals of the History of Computing 32 (01), 30-39, 1999
PARSA: A parallel program scheduling and assessment environment
B Shirazi, K Kavi, AR Hurson, P Biswas
1993 International Conference on Parallel Processing-ICPP'93 2, 68-72, 1993
Real-time systems design methodologies: an introduction and a survey
KM Kavi, Y Seung-Min
Journal of Systems and Software 18 (1), 85-99, 1992
Static scheduling using linear clustering with task duplication
HB Chen
Proc. of ISCA International Conference on Parallel and Distributed Computing …, 1993
The system can't perform the operation now. Try again later.
Articles 1–20