krishna kavi
Geciteerd door
Geciteerd door
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 Transactions on computers, 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
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
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
Real-Time Systems, Abstractions, Languages, Design Methodologies, and Tools
KM Kavi
IEEE Computer Society Press, 1992
Computer systems research: The pressure is on
K Kavi, JC Browne, A Tripathi
Computer, 30-39, 1999
Extending UML to modeling and design of multi-agent systems
K Kavi, DC Kung, H Bhambhani, G Pancholi, M Kanikarla, R Shah
2nd Intl Wkshp on Software Engineering for Large-Scale Multi-Agent Systems …, 2003
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
A framework for designing, modeling and analyzing agent based software systems
KM Kavi, M Aborizka, D Kung
Fifth International Conference on Algorithms and Architectures for Parallel …, 2002
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20