Browse by Author

Conference Paper

Mall, R and Patnaik, LM (1992) A Force Directed Hill-Climbing Placement Algorithm. In: The Fifth International Conference on VLSI Design, 1992, 4-7 January, Bangalore,India, pp. 251-254.

Mall, R and Patnaik, LM (1991) A New Approach to Specify Real-time Behavior of Distributed Systems. In: Pacific Rim International Symposium on Fault Tolerant Systems, 1991, 26-27 September, Kawasaki,Japan, pp. 194-198.

Mall, R and Patnaik, LM and Raman, Srilata (1991) Simulated Annealing-Based Channel Routing on Hypercube Computers. In: 1991 Fourth CSI/IEEE International Symposium on VLSI Design, 4-8 January, New Delhi,India, pp. 75-81.

Mall, R and Patnaik, LM (1991) A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs. In: 1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems. TENCON '91, 28-30 August, New Delhi,India, Vol.2, 335-339.

Mall, R and Patnaik, LM (1990) Specification and Verification of Timing Properties of Distributed Real-Time Systems. In: 1990 IEEE Region 10 Conference on Computer and Communication Systems. TENCON 90, 24-27 September, Hong Kong, Vol.1, 274-278.

Journal Article

Patnaik, LM and Mall, R (1993) Specification of Real-Time Systems. In: International Journal of Software Engineering and Knowledge Engineering, 3 (2). pp. 267-285.

Mall, R and Patnaik, LM (1991) Parallel maze routing on hypercube computers. In: Computer-Aided Design, 23 (6). pp. 454-459.

Mall, R and Patnaik, LM (1991) Formal Timing Analysis of Distributed Systems. In: International Journal of Parallel Programming, 20 (2). pp. 75-94.