Abstract: In a hydrocarbon-fed steam methane reformer hydrogen-production process and system, carbon dioxide is recovered in a pre-combustion context, and optionally additional amounts of carbon dioxide are recovered in a post-combustion carbon dioxide removal, to provide the improved carbon dioxide recovery or capture disclosed herein.

Abstract: Example methods and systems for packet flow monitoring are described. In one example, a first computer system may detect a flow of packets along a datapath between a source and a destination and determine source attribute information associated with the source and destination attribute information associated with the destination. The first computer system may perform attribute-to-identifier mapping by (a) mapping the source attribute information to a source identifier having a reduced size compared to the source attribute information, and/or (b) mapping the destination attribute information to a destination identifier having a reduced size compared to the destination attribute information.

Abstract: Described herein are systems, methods, and software to manage the compression of route tables for communication between networking elements. In one implementation, a network device identifies network keys for a route table by replacing attributes in the tables with values. The network device further generates a compressed route table using the route keys and associating each of the route keys with one or more additional attributes. The network device also generates a dictionary to associate each of the values for the route keys to a corresponding attribute of the attributes.

Abstract: Techniques for generating change notifications associated with applications based on application logs are disclosed. In one embodiment, a system may include a log analyzer to receive application logs generated by the applications running in a computing environment and analyze the received application logs to parse information about the applications. Further, the system may include a change detection unit communicatively coupled to the log analyzer to generate a change notification indicating that a change has been occurred to an application running on a compute node in the computing environment using the parsed information and send the change notification indicating the changed application to a subscriber.

Abstract: A system and method for topology construction in hybrid cloud environments includes receiving connection information from a local perimeter edge router of a local network that has a known topology and receiving connection information from a remote perimeter edge router of a remote network that is provided by a cloud provider. The received local perimeter edge router connection information is associated with the received remote perimeter edge router connection information. The associated connection information is normalized to a generic model, the generic model representing connections having different link layer policies in a generic way and the normalized connection information is applied to a network topology of the local network and the remote network.

Abstract: Methods, apparatus, systems, and articles of manufacture are disclosed herein to formally verify a network with both physical and virtual components. The modeling and formal verification is performed by an apparatus comprising: a topology generator to generate a network model including a plurality of devices connected in a network; a flow modeler to add a rule to the network model, the rule to define a flow of network packets through the network model; a reduction mapper to identify the rules common to ones of the devices; and a mapping verifier to verify the network meets a user specification.

Abstract: Described herein are systems, methods, and software to manage the compression of route tables for communication between networking elements. In one implementation, a network device identifies network keys for a route table by replacing attributes in the tables with values. The network device further generates a compressed route table using the route keys and associating each of the route keys with one or more additional attributes. The network device also generates a dictionary to associate each of the values for the route keys to a corresponding attribute of the attributes.

Abstract: A system and method for topology construction in hybrid cloud environments includes receiving connection information from a local perimeter edge router of a local network that has a known topology and receiving connection information from a remote perimeter edge router of a remote network that is provided by a cloud provider. The received local perimeter edge router connection information is associated with the received remote perimeter edge router connection information. The associated connection information is normalized to a generic model, the generic model representing connections having different link layer policies in a generic way and the normalized connection information is applied to a network topology of the local network and the remote network.

Abstract: Techniques for generating change notifications associated with applications based on application logs are disclosed. In one embodiment, a system may include a log analyzer to receive application logs generated by the applications running in a computing environment and analyze the received application logs to parse information about the applications. Further, the system may include a change detection unit communicatively coupled to the log analyzer to generate a change notification indicating that a change has been occurred to an application running on a compute node in the computing environment using the parsed information and send the change notification indicating the changed application to a subscriber.

Abstract: Techniques described use Generic Framing Procedure (GFP) to transport data across an optical transport network between near and far Fiber Channel (FC) or Fiber Connectivity (FICON) local area optical networks. Each FC/FICON edge node (FCE) on an edge of the optical transport network has multiple modes for processing FC/FICON frames transported across the optical transport network. The techniques include receiving, at a near FCE from a far FCE, a GFP control plane message that includes a mode field that holds data that indicates a far mode, wherein the far mode is used at the far FCE. It is determined whether a near mode used by the near FCE matches the far mode based on the mode field. If it is determined that they do not match, then an alert is caused. These techniques allow software to utilize existing GFP chips in FCE that use optional processing, such as distance extension.

Abstract: Techniques described use Generic Framing Procedure (GFP) to transport data across an optical transport network between near and far Fibre Channel (FC) or Fibre Connectivity (FICON) local area optical networks. Each FC/FICON edge node (FCE) on an edge of the optical transport network has multiple modes for processing FC/FICON frames transported across the optical transport network. The techniques include receiving, at a near FCE from a far FCE, a GFP control plane message that includes a mode field that holds data that indicates a far mode, wherein the far mode is used at the far FCE. It is determined whether a near mode used by the near FCE matches the far mode based on the mode field. If it is determined that they do not match, then an alert is caused. These techniques allow software to utilize existing GFP chips in FCE that use optional processing, such as distance extension.

Abstract: Techniques described use Generic Framing Procedure (GFP) to transport data across an optical transport network between near and far Fiber Channel (FC) or Fiber Connectivity (FICON) local area optical networks. Each FC/FICON edge node (FCE) on an edge of the optical transport network has multiple modes for processing FC/FICON frames transported across the optical transport network. The techniques include receiving, at a near FCE from a far FCE, a GFP control plane message that includes a mode field that holds data that indicates a far mode, wherein the far mode is used at the far FCE. It is determined whether a near mode used by the near FCE matches the far mode based on the mode field. If it is determined that they do not match, then an alert is caused. These techniques allow software to utilize existing GFP chips in FCE that use optional processing, such as distance extension.

Abstract: A method and system for communicating state information between a local device and a remote device across a transport network is disclosed. Each of the local and remote devices operate independently from one another and at least one of the devices is configured for one-way traffic protection. The method includes receiving a protection message comprising K-bytes from one of the local and remote devices at the other of the local and remote devices and determining based on the received K-bytes, if there is a change in state at one of the devices. If a change in state is detected, a message is sent indicating the change in state from one of the local and remote devices to the other of the local and remote devices.