The increasing popularity of Peer-to-Peer (P2P) networks has led to growing interest in characterizing their topology and dynamics [1–4], essential for proper design and effecti...
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
This paper presents a parallel hardware implementation of a well-known navigation control method on reconfigurable digital circuits. Trajectories are estimated after an iterated ...
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
Sabrina Ramwadhdoebe, Godefridus G. van Merode, Ma...