We present a system description for an archival information system with three different approaches to gain online access to digital archives created in the metadata standard Encod...
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
Fiona A. C. Polack, Paul S. Andrews, Adam T. Samps...
This paper presents a method towards automatic structural synthesis of analog multiplier based on a hierarchilogy “super-topology”, which is abstracted from the most standard ...
We present an approach to decomposing branching volume data into sub-branches. First, a metric is proposed for evaluating local convexities in volumetric data, and it is a criteri...