Krishna Kant

Orcid: 0000-0001-5743-9944

Affiliations:
  • Temple University, Philadelphia, PA, USA
  • George Mason University, Fairfax, VA, USA (2008 - 2013)
  • Intel Corporation, USA (since 1997)
  • Bellcore, Red Bank, NJ, USA (former)
  • Pennsylvania State University, University Park, PA, USA (former)
  • Northwestern University, Evanston, IL, USA (former)


According to our database1, Krishna Kant authored at least 188 papers between 1982 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
FedREM: Guided Federated Learning in the Presence of Dynamic Device Unpredictability.
IEEE Trans. Parallel Distributed Syst., July, 2024

Guest Editorial of the Special Section on Tactile Internet for Consumer Internet of Things Opportunities and Challenges.
IEEE Trans. Consumer Electron., May, 2024

Configuring and Coordinating End-to-end QoS for Emerging Storage Infrastructure.
ACM Trans. Model. Perform. Evaluation Comput. Syst., March, 2024

IoT Systems for Extreme Environments.
IEEE Internet Things J., February, 2024

Nonintrusive Driving Behavior Characterization From Road-Side Cameras.
IEEE Internet Things J., January, 2024

NeSt: A QoS differentiating end-to-end networked storage simulator.
Comput. Networks, 2024

A Study of Magnetic Resonance and Ultrasound Based Through-the-Body Communications.
Proceedings of the 20th International Conference on Wireless and Mobile Computing, 2024

Autotuning of Resonant Magnetic Induction Communications.
Proceedings of the 20th International Conference on Distributed Computing in Smart Systems and the Internet of Things, 2024

2023
Collaborative Machine Learning: Schemes, Robustness, and Privacy.
IEEE Trans. Neural Networks Learn. Syst., December, 2023

Social Media Driven Big Data Analysis for Disaster Situation Awareness: A Tutorial.
IEEE Trans. Big Data, February, 2023

C-FAR: A Compositional Framework for Anomaly Resolution in Intelligent Transportation Systems.
IEEE Trans. Intell. Transp. Syst., January, 2023

Adaptive Intelligent Tiering for modern storage systems.
Perform. Evaluation, 2023

Non-Intrusive Driver Behavior Characterization From Road-Side Cameras.
CoRR, 2023

NSF/IEEE-TCPP Curriculum on Parallel and Distributed Computing for Undergraduates - Version II - Big Data, Energy, and Distributed Computing.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Message from the General Chair.
Proceedings of the 32nd International Conference on Computer Communications and Networks, 2023

Improving System Configurations Using Domain Knowledge Assisted Semi-Supervised Learning.
Proceedings of the 19th International Conference on Network and Service Management, 2023

2022
Resource Efficient Edge Computing Infrastructure for Video Surveillance.
IEEE Trans. Sustain. Comput., 2022

Performance Health Index for Complex Cyber Infrastructures.
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2022

Guest Editorial: Computational Intelligence for Human-in-the-Loop Cyber Physical Systems.
IEEE Trans. Emerg. Top. Comput. Intell., 2022

Performance Evaluation of Magnetic Resonance Coupling Method for Intra-Body Network (IBNet).
IEEE Trans. Biomed. Eng., 2022

Efficient Big-Data Access: Taxonomy and a Comprehensive Survey.
IEEE Trans. Big Data, 2022

MagLoc: A magnetic induction based localization scheme for fresh food logistics.
Internet Things, 2022

SIST: A Similarity Index for Storage Traffic.
Proceedings of the IEEE International Conference on Networking, Architecture and Storage, 2022

Conference Information: Message from the Program Co-Chairs.
Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

Ultrasonic vs. Magnetic Resonance Communication for Mixed Wearable and Implanted Devices.
Proceedings of the IEEE International Conference on Communications, 2022

Server-Side Workload Identification for HPC I/O Requests.
Proceedings of the PERMAVOST@HPDC 2022: Proceedings of the 2nd Workshop on Performance EngineeRing, 2022

Characterization of Magnetic Communication Through Human Body.
Proceedings of the 19th IEEE Annual Consumer Communications & Networking Conference, 2022

Managing Access Control in Large-Scale Multi-party IoT Systems.
Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

Automated Configuration for Agile Software Environments.
Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021
Corrections to "A Neighborhood Aware Caching and Interest Dissemination Scheme for Content Centric Networks".
IEEE Trans. Netw. Serv. Manag., 2021

A Neighborhood Aware Caching and Interest Dissemination Scheme for Content Centric Networks.
IEEE Trans. Netw. Serv. Manag., 2021

Guest Editorial Introduction to the Special Issue on Deep Learning Models for Safe and Secure Intelligent Transportation Systems.
IEEE Trans. Intell. Transp. Syst., 2021

A Fast Prekeying-Based Integrity Protection for Smart Grid Communications.
IEEE Trans. Ind. Informatics, 2021

Guest Editorial: Configuration Security for Industrial Automation and Control Systems.
IEEE Trans. Ind. Informatics, 2021

DC-PoET: Proof-of-Elapsed-Time Consensus with Distributed Coordination for Blockchain Networks.
Proceedings of the IFIP Networking Conference, 2021

PLM<sup>light</sup>: Emulating Predictable Latency Mode in Regular SSDs.
Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021

PLMC: A Predictable Tail Latency Mode Coordinator for Shared NVMe SSD with Multiple Hosts.
Proceedings of the IEEE International Conference on Networking, Architecture and Storage, 2021

Provisioning Differentiated QoS for NVMe over Fabrics.
Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

Automating Conflict Detection and Mitigation in Large-Scale IoT Systems.
Proceedings of the 21st IEEE/ACM International Symposium on Cluster, 2021

2020
Smart Sensing, Communication, and Control in Perishable Food Supply Chain.
ACM Trans. Sens. Networks, 2020

A Smartphone-based Network Architecture for Post-disaster Operations Using WiFi Tethering.
ACM Trans. Internet Techn., 2020

Exploiting Proxy Sensing for Efficient Monitoring of Large-Scale Sensor Networks.
ACM Trans. Internet Techn., 2020

Advanced Persistent Threats in Autonomous Driving.
SIGMETRICS Perform. Evaluation Rev., 2020

Guest Editorial Special Issue on Privacy and Security in Distributed Edge Computing and Evolving IoT.
IEEE Internet Things J., 2020

NFMI: Near Field Magnetic Induction based communication.
Comput. Networks, 2020

Enhancing Endurance of SSD Based high-performance Storage Systems using Emerging NVM Technologies.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

FlashKey: A High-Performance Flash Friendly Key-Value Store.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

CHeSS: A Configuration Health Scoring System and Its Application to Network Devices.
Proceedings of the 23rd Conference on Innovation in Clouds, 2020

FussyCache: A Caching Mechanism for Emerging Storage Hierarchies.
Proceedings of the 12th IEEE International Conference on Cloud Computing Technology and Science, 2020

Thermo-Mechanical Coupling Induced Performance Degradation in Storage Systems.
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020

2019
Water Flow Driven Sensor Networks for Leakage and Contamination Monitoring in Distribution Pipelines.
ACM Trans. Sens. Networks, 2019

Coordinated Power Management in Data Center Networks.
Sustain. Comput. Informatics Syst., 2019

Software defined deduplicated replica management in scale-out storage systems.
Future Gener. Comput. Syst., 2019

Using Blockchain for Provenance and Traceability in Internet of Things-Integrated Food Logistics.
Computer, 2019

NFMI: Connectivity for Short-Range IoT Applications.
Computer, 2019

A lightweight integrity protection scheme for low latency smart grid applications.
Comput. Secur., 2019

Internet of Perishable Logistics: Building Smart Fresh Food Supply Chain Networks.
IEEE Access, 2019

Experimental Evaluation of a Near-Field Magnetic Induction Based Communication System.
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

Secure Data Streaming to Untrusted Road Side Units in Intelligent Transportation System.
Proceedings of the 18th IEEE International Conference On Trust, 2019

Storage on the Edge: Evaluating Cloud Backed Edge Storage in Cyberphysical Systems.
Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2019

Adaptive Data Center Network Traffic Management for Distributed High Speed Storage.
Proceedings of the 2019 IEEE 44th LCN Symposium on Emerging Topics in Networking (LCN Symposium), 2019

Data Heat Prediction in Storage Systems Using Behavior Specific Prediction Models.
Proceedings of the 38th IEEE International Performance Computing and Communications Conference, 2019

Mimic: Fast Recovery from Data Corruption Errors in Stencil Computations.
Proceedings of the 38th IEEE International Performance Computing and Communications Conference, 2019

IoTC<sup>2</sup>: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019

Towards Building Low Power Magnetic Communication Protocols for Challenging Environments.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Privacy and Security of Connected Vehicles in Intelligent Transportation System.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Towards Automated Configuration of Cloud Storage Gateways: A Data Driven Approach.
Proceedings of the Cloud Computing - CLOUD 2019, 2019

Incremental Spatial Clustering for Spatial Big Crowd Data in Evolving Disaster Scenario.
Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019

2018
PRECESION: progressive recovery and restoration planning of interdependent services in enterprise data centers.
Digit. Commun. Networks, 2018

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems.
CoRR, 2018

IoT-Based Sensing and Communications Infrastructure for the Fresh Food Supply Chain.
Computer, 2018

Opportunistic Power Savings with Coordinated Control in Data Center Networks.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

Pattern mining based compression of IoT data.
Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking, 2018

Collaborative Similarity Search Across Multi-party Repositories.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

A Framework for Misconfiguration Diagnosis in Interconnected Multiparty Systems.
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

Enhancing Disaster Situational Awareness via Automated Summary Dissemination of Social Media Content.
Proceedings of the IEEE Global Communications Conference, 2018

Modular Framework for Data Prefetching and Replacement at the Edge.
Proceedings of the Edge Computing - EDGE 2018, 2018

CloudMiner: A Systematic Failure Diagnosis Framework in Enterprise Cloud Environments.
Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

E-Darwin2: A smartphone based disaster recovery network using WiFi tethering.
Proceedings of the 15th IEEE Annual Consumer Communications & Networking Conference, 2018

Energy Efficiency Issues in Computing Systems.
Proceedings of the Topics in Parallel and Distributed Computing, 2018

2017
Internet of Perishable Logistics.
IEEE Internet Comput., 2017

A Lightweight Integrity Protection Scheme for Fast Communications in Smart Grid.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Magnetic Induction Based Sensing and Localization for Fresh Food Logistics.
Proceedings of the 42nd IEEE Conference on Local Computer Networks, 2017

Disaster Network Evolution Using Dynamic Clustering of Twitter Data.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

NACID: A Neighborhood Aware Caching and Interest Dissemination in Content Centric Networks.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Slice Swarms for HPC Application Resilience.
Proceedings of the Fifth International Symposium on Computing and Networking, 2017

Belief-Based Storage Systems.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

Implementing data center network energy management capabilities in NS3.
Proceedings of the Eighth International Green and Sustainable Computing Conference, 2017

2016
Minimum cost rule enforcement for cooperative database access.
J. Comput. Secur., 2016

Smartporter: A Combined Perishable Food and People Transport Architecture in Smart Urban Areas.
Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

On the Feasibility of Distributed Sampling Rate Adaptation in Heterogeneous and Collaborative Wireless Sensor Networks.
Proceedings of the 25th International Conference on Computer Communication and Networks, 2016

IP Address Consolidation and Reconfiguration in Enterprise Networks.
Proceedings of the 25th International Conference on Computer Communication and Networks, 2016

Power-Aware Program Resilience through Slicing.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

Generalized Inter-Cloud Structured Data Sharing.
Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

2015
SmartCon: SmartCon: Smart Context Switching for Fast Storage Devices.
ACM Trans. Storage, 2015

Water flow Driven Sensor Networks for leakage and contamination monitoring.
Proceedings of the 16th IEEE International Symposium on A World of Wireless, 2015

RODA: A reconfigurable optical data center network architecture.
Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015

Collaborative Heterogeneous Sensing: An Application to Contamination Detection in Water Distribution Networks.
Proceedings of the 24th International Conference on Computer Communication and Networks, 2015

2014
Special Issue on Computational Sustainability.
IEEE Trans. Emerg. Top. Comput., 2014

Consistency and enforcement of access rules in cooperative data sharing environment.
Comput. Secur., 2014

FlexStore: A Software Defined, Energy Adaptive Distributed Storage Framework.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

E-DARWIN: Energy Aware Disaster Recovery Network using WiFi Tethering.
Proceedings of the 23rd International Conference on Computer Communication and Networks, 2014

Group-based Energy Adaptation for Storage Systems.
Proceedings of the 9th International Workshop on Feedback Computing, 2014

Consistent Query Plan Generation in Secure Cooperative Data Access.
Proceedings of the Data and Applications Security and Privacy XXVIII, 2014

Summary Abstract for the 7th ACM International Workshop on Cyber Security Analytics, Intelligence and Automation.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Enabling Collaborative Data Authorization Between Enterprise Clouds.
Proceedings of the Secure Cloud Computing, 2014

2013
A Proxy View of Quality of Domain Name Service, Poisoning Attacks and Survival Strategies.
ACM Trans. Internet Techn., 2013

On the interconnect energy efficiency of high end computing systems.
Sustain. Comput. Informatics Syst., 2013

Pervasive computing and communications for sustainability.
Pervasive Mob. Comput., 2013

Rule Enforcement with Third Parties in Secure Cooperative Data Access.
Proceedings of the Data and Applications Security and Privacy XXVII, 2013

2012
Energy-Adaptive Computing.
Proceedings of the Handbook of Energy-Aware and Green Computing - Two Volume Set., 2012

Enhancing data center sustainability through energy-adaptive computing.
ACM J. Emerg. Technol. Comput. Syst., 2012

Quantifying DNS namespace influence.
Comput. Networks, 2012

Rule Configuration Checking in Secure Cooperative Data Access.
Proceedings of the Automated Security Management [papers from SafeConfig 2012, 2012

Architectural impact of secure socket layer on Internet servers.
Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Architectural impact of secure socket layer on Internet servers: A retrospect.
Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Energy Adaptive Mechanism for P2P File Sharing Protocols.
Proceedings of the Euro-Par 2012: Parallel Processing Workshops, 2012

Access rule consistency in cooperative data access environment.
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

2011
Configuration Management Security in Data Center Environments.
Proceedings of the Moving Target Defense, 2011

A control scheme for batching DRAM requests to improve power efficiency.
Proceedings of the SIGMETRICS 2011, 2011

NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates.
Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Security Considerations in Data Center Configuration Management.
Proceedings of the 4th Symposium on Configuration Analytics and Automation, SafeConfig 2011, Arlington, VA, USA, October 31, 2011

Willow: A Control System for Energy and Thermal Adaptive Computing.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Quantifying and Improving DNSSEC Availability.
Proceedings of 20th International Conference on Computer Communications and Networks, 2011

Cooperative Data Access in Multi-cloud Environments.
Proceedings of the Data and Applications Security and Privacy XXV, 2011

Multi-state power management of communication links.
Proceedings of the Third International Conference on Communication Systems and Networks, 2011

Smart infrastructure and sustainability the challenge of modeling the human element.
Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief, 2011

2010
Measuring Availability in the Domain Name System.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Supply and Demand Coordination in Energy Adaptive Computing.
Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

Distributed Energy Adaptive Computing.
Proceedings of IEEE International Conference on Communications, 2010

2009
Challenges in distributed energy adaptive computing.
SIGMETRICS Perform. Evaluation Rev., 2009

Toward a Science of Power Management.
Computer, 2009

BGP convergence delay after multiple simultaneous router failures: Characterization and solutions.
Comput. Commun., 2009

Virtualized Data Centers.
Comput. Networks, 2009

Data center evolution: A tutorial on state of the art, issues, and challenges.
Comput. Networks, 2009

Quality of Name Resolution in the Domain Name System.
Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009

2008
Enabling Location-Based Services in Data Centers.
IEEE Netw., 2008

Asset Localization in Data Centers Using WUSB Radios.
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

2007
Characterization of Ultra Wideband Channel in Data Centers.
Proceedings of the NETWORKING 2007. Ad Hoc and Sensor Networks, 2007

A Proxy View of Quality of Domain Name Service.
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

Improving Packet Delivery Performance of BGP During Large-Scale Failures.
Proceedings of the Global Communications Conference, 2007

2006
DCLUE: A Distributed Cluster Emulator.
IEICE Trans. Inf. Syst., 2006

Virtual Link: An Enabler of Enterprise Utility Computing.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

Speculative Route Invalidation to Improve BGP Convergence Delay under Large-Scale Failures.
Proceedings of the 15th International Conference On Computer Communications and Networks, 2006

DoX: A Peer-to-Peer Antidote for DNS Cache Poisoning Attacks.
Proceedings of IEEE International Conference on Communications, 2006

Characterization of BGP Recovery Time under Large-Scale Failures.
Proceedings of IEEE International Conference on Communications, 2006

Improving BGP Convergence Delay for Large-Scale Failures.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005
Clustered DBMS Scalability under Unified Ethernet Fabric.
Proceedings of the 34th International Conference on Parallel Processing (ICPP 2005), 2005

Application centric autonomic BW control in utility computing.
Proceedings of the 6th IEEE/ACM International Conference on Grid Computing (GRID 2005), 2005

2004
Guest Editors' Introduction: Internet Data Centers.
Computer, 2004

A Preliminary Study of Scalability of TCP/IP Based Clusters under Database Workloads.
Proceedings of the NETWORKING 2004, 2004

2003
Characterization of E-Commerce Traffic.
Electron. Commer. Res., 2003

Design and Performance of Compressed Interconnects for High Performance Servers.
Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

An analytic model for peer to peer file sharing networks.
Proceedings of IEEE International Conference on Communications, 2003

TCP offload performance for front-end servers.
Proceedings of the Global Telecommunications Conference, 2003

2002
Transactional characterization of front-end e-commerce traffic.
Proceedings of the Global Telecommunications Conference, 2002

Geist: A Web Traffic Generation Tool.
Proceedings of the Computer Performance Evaluation, 2002

A Framework for Classifying Peer-to-Peer Technologies.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001
Current research trends in internet servers.
SIGMETRICS Perform. Evaluation Rev., 2001

Geist: a generator for e-commerce & internet server traffic.
Proceedings of the 2001 IEEE International Symposium on Performance Analysis of Systems and Software, 2001

Improving Cache Performance of Network Intensive Workloads.
Proceedings of the 2001 International Conference on Parallel Processing, 2001

2000
Correction to "Server Capacity Planning for Web Traffic Workload".
IEEE Trans. Knowl. Data Eng., 2000

Workshop on Performance and Architecture of Web Servers (PAWS-2000, held in conjection with SIGMETRICS-2000).
SIGMOD Rec., 2000

Scalable internet servers: issues and challenges.
SIGMETRICS Perform. Evaluation Rev., 2000

Workshop on Performance and Architecture of Web Servers (PAWS-2000).
SIGMETRICS Perform. Evaluation Rev., 2000

A server performance model for static Web workloads.
Proceedings of the 2000 IEEE International Symposium on Performance Analysis of Systems and Software, 2000

1999
Server Capacity Planning for Web Traffic Workload.
IEEE Trans. Knowl. Data Eng., 1999

1995
Performance of internal overload controls in large switches.
Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994
Error monitoring issues for common channel signaling.
IEEE J. Sel. Areas Commun., 1994

1993
COPS: A Computer Operations Performance Simulation System.
Proceedings of the Proceedings 26th Annual Simulation Symposium, ANSS 1993, 1993

2 Steady state analysis of stochastic systems.
Proceedings of the Computational Statistics., 1993

1992
MVA Approximations for SJN Scheduling.
Perform. Evaluation, 1992

A general approach to the identification of compensated faults in robust data structures.
Inf. Sci., 1992

1991
Performance Analysis of Parallel Search Algorithms on Multiprocessor Systems.
Perform. Evaluation, 1991

Well-formed generalized task graphs.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

1990
Synthesizing Robust Data STructures - An Introduction.
IEEE Trans. Computers, 1990

Performance Analysis of Real-Time Software Supporting Fault-Tolerant Operation.
IEEE Trans. Computers, 1990

Performance Analysis of Parallel Search Algorithms on Multiprocessors.
Proceedings of the Performance '90, 1990

1989
Fault identification in robust data structures.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988
Application Level Modeling of Parallel Machines.
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

1987
Software fault tolerance in real-time systems.
Inf. Sci., 1987

The file allocation problem - A queueing network optimization approach.
Comput. Oper. Res., 1987

1985
Finding Interferences Between Rectangular Paths.
IEEE Trans. Computers, 1985

Error Propagation and Recovery in Concurrent Environments.
Comput. J., 1985

1983
Efficient Local Checkpointing for Software Fault Tolerance.
ACM SIGOPS Oper. Syst. Rev., 1983

A model for error recovery with global checkpointing.
Inf. Sci., 1983

A global checkpointing model for error recovery.
Proceedings of the American Federation of Information Processing Societies: 1983 National Computer Conference, 1983

1982
On the Generalized Critical Region Construct.
ACM SIGOPS Oper. Syst. Rev., 1982


  Loading...