Searching for authors named "Padmanabhan Krishnan" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Automatic Synthesis of Schedulers in Timed Systems
- …Automatic Synthesis of Schedulers in Timed Systems 1 Abstract Padmanabhan Krishnan Department…
- Add To MetaCart
-
Independence in Architectural Descriptions
- … was visiting the AN1 group at Siemens Research, Munich, Germany. Padmanabhan Krishnan Department of Computer…
- Add To MetaCart
-
Distributed Timed Automata
- …Abstract Distributed Timed Automata Padmanabhan Krishnan Department of Computer Science University…
- Add To MetaCart
-
A Case Study in Specifying and Testing Architectural Features
- …A Case Study in Specifying and Testing Architectural Features Padmanabhan Krishnan Department…
- Cited by 1 (1 self) – Add To MetaCart
-
A Semantics for Multiprocessor Systems
- …A Semantics for Multiprocessor Systems Padmanabhan Krishnan Department of Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Pre-Orders for Fault Tolerance
- …Pre-Orders for Fault Tolerance Padmanabhan Krishnan 1 Technical Report COSC 06/92 A reformatted…
- Cited by 1 (1 self) – Add To MetaCart
-
Using Model Checking to Test a Firewall: A Case Study
- …Using Model Checking to Test a Firewall : A Case Study Padmanabhan Krishnan School of IT, Bond…
- Cited by 2 (0 self) – Add To MetaCart
-
A Process Algebraic Approach To Fault-Tolerance
- …A PROCESS ALGEBRAIC APPROACH TO FAULT-TOLERANCE PADMANABHAN KRISHNAN and BRUCE McKENZIE Department…
- Cited by 1 (1 self) – Add To MetaCart
-
A Process Algebraic Approach To Time Granularity Semantics
- …A PROCESS ALGEBRAIC APPROACH TO TIME GRANULARITY SEMANTICS PADMANABHAN KRISHNAN Department…
- Add To MetaCart
-
A DiGraph Model for Extended Event Structures
- …A DiGraph Model for Extended Event Structures Padmanabhan Krishnan David J Bryant Technical Report…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
