Abstract: A computer implemented method of performing inference on a generative model, wherein the generative model in a probabilistic program form, said probabilistic program form defining variables and probabilistic relationships between variables, the method comprising: providing at least one of observations or interventions to the generative model; selecting an inference method, wherein the inference method is selected from one of: observational inference, interventional inference or counterfactual inference; performing the selected inference method using an approximate inference method on the generative model; and outputting a predicted outcome from the results of the inference; wherein approximate inference is performed by inputting an inference query and the model, observations, interventions and inference query are provided as independent parameters such that they can be iterated over and varied independently of each other.

Abstract: A router and a method for migrating routing protocol processes or Virtual Routers (VRs) from one Route Processor (RP) to another using graceful restart procedures for maintaining packet flow to the router and assisting the router to obtain restart information. The router includes first and second RPs and a forwarding engine for forwarding packets to neighbor routers in the network. When the routing protocol process is terminated on the first RP, the neighbor routers detect a router failure and initiate the graceful restart procedures. A filter rule in the forwarding engine causes it to forward packets to the new routing protocol process on the second RP. The new process learns the network topology from the neighbor routers, and the migration is completed without packet loss and without requiring complex changes to the network protocol stack.

Abstract: A router and a method for migrating routing protocol processes or Virtual Routers (VRs) from one Route Processor (RP) to another using graceful restart procedures for maintaining packet flow to the router and assisting the router to obtain restart information. The router includes first and second RPs and a forwarding engine for forwarding packets to neighbor routers in the network. When the routing protocol process is terminated on the first RP, the neighbor routers detect a router failure and initiate the graceful restart procedures. A filter rule in the forwarding engine causes it to forward packets to the new routing protocol process on the second RP. The new process learns the network topology from the neighbor routers, and the migration is completed without packet loss and without requiring complex changes to the network protocol stack.