We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requirements against the running time. This is particularly useful for debugging of memory-intensive parallel computations, e.g. in image processing or data warehousing. We also show how to apply our technique to evaluate in ...

This paper describes computational experience obtained in the development of the lrs code, which uses the reverse search technique to solve the vertex enumeration/convex hull problem for d-dimensional convex polyhedra. We giv e empirical results showing improvements obtained by the use of lexicographic perturbation, lifting, and integer pivoting. We also give some indication of the cost of usin...

stereoisograms of octahedral complexes are classified into five types (type i--typev) under the action of the corresponding rs-stereoisomeric group. their enumeration is accomplished in a type-itemized fashion, where fujita's proligand method developed originally for combinatorial enumeration under point groups (s. fujita, theor. chem. acc., 113, 73--79 (2005)) is extended to meet the requireme...

The mathematical model to find the optimal shopping policy from many available manufacturers for 1-out-of-n active redundancy series systems under budget constraint was formulated and tested using GA. The study showed that the number of possible combinations for this problem can be very high and the majority of those combinations are infeasible. This renders the enumeration technique ineffectiv...

An alternative epifluorescence microscopy (EFM) technique for virus enumeration has been developed using polycarbonate Track Etch (PCTE) filter membranes in place of aluminum oxide Anodisc membranes. The established EFM technique, first developed by Hennes and Suttle in 1995 and later expanded upon by Noble and Fuhrman in 1998, uses supported 20 nm pore-size Anodisc filter membranes to determin...

The plate-dilution frequency technique described facilitates simultaneous enumeration of a wide range of physiologically different microorganisms in complex systems with a precision comparable to dilution tube (most probable number) methods. Replicate microsamples are inoculated from each member of a dilution series onto areas delineated on plates of prepoured solid media; the plates are incuba...

In this paper, we present a new algorithm for analysis of non-orthogonal layout. The algorithm is a combination of the scanline and the corner stitching technique. It performs a directed enumeration of all tiles and pairs of abutting tiles, that are retained only in a narrow band of adjustable width sweeping over the artwork. This enumeration provides a clean interface to many layout analysis t...

A culture medium containing lactate as the sole energy source and antibiotics (bacitracin, gentamicin, and streptomycin) was used for selection and enumeration of Fusobacterium necrophorum from bovine ruminal contents. F. necrophorum growth was determined by indole production, and enumeration was performed by the most-probable-number technique. The number of F. necrophorum cells in cattle fed a...