@inproceedings{conf/ats/KoenemannBKSFW01, title = {A SmartBIST Variant with Guaranteed Encoding.}, author = {Bernd Könemann and Carl Barnhart and Brion L. Keller and Thomas J. Snethen and Owen Farnsworth and Donald L. Wheater}, booktitle = {Asian Test Symposium}, crossref = {conf/ats/2001}, pages = {325-}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2001.html#KoenemannBKSFW01}, year = {2001}, biburl = {http://www.bibsonomy.org/bibtex/29d6cb12fcaab687087cf23714d7e660f/dblp}, description = {dblp}, ee = {http://csdl.computer.org/comp/proceedings/ats/2001/1378/00/13780325abs.htm}, isbn = {0-7695-1378-6}, date = {2008-08-18}, keywords = {dblp } } @inproceedings{conf/icdcs/RannoSW98, title = {A Language for Specifying the Composition of Reliable Distributed Applications.}, author = {Frédéric Ranno and Santosh K. Shrivastava and Stuart M. Wheater}, booktitle = {ICDCS}, pages = {534-543}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs98.html#RannoSW98}, year = {1998}, biburl = {http://www.bibsonomy.org/bibtex/2fb971e7023bdae84924e276034fe3ffb/dblp}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.1998.679806}, date = {2007-07-26}, keywords = {dblp } } @incollection{statphys23_0822, title = {The spectral dimension of generic trees}, address = {Genova, Italy}, author = {J. Wheater and B. Durhuus and T. Jonsson}, booktitle = {Abstract Book of the XXIII IUPAP International Conference on Statistical Physics}, editor = {Luciano Pietronero and Vittorio Loreto and Stefano Zapperi}, month = {9-13 July}, url = {http://st23.statphys23.org/webservices/abstract/preview_pop.php?ID_PAPER=822}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2e7b9d66e29168fdf0e27383c7e87b95d/statphys23}, abstract = {We define generic ensembles of infinite trees. These are limits as $N\rightarrow\infty$ of ensembles of finite trees of fixed size $N$, defined in terms of a set of branching weights. Among these ensembles are those supported on trees with vertices of a uniformly bounded order. The associated probability measures are supported on trees with a single spine. The Hausdorff dimension is defined in terms of $V(R)$, the ensemble average of the volume of a ball of radius $R$, by $V(R)\sim R^{d_h}$. For all these ensembles it is known that $d_h=2$. We consider unbiased random walks on these trees. The spectral dimension is given by $p(t)\sim t^{-d_s/2}$ for $t\rightarrow\infty$ where $p(t)$ denotes the return probability for a simple random walk as a function of time. Our main result is a proof that $d_s=4/3$ for all these ensembles, and that the critical exponent of the mass, defined as the exponential decay rate of the two-point function along the spine, is $1/3$. Our method of proof is conceptually simple. The existence of a unique infinite spine plays a fundamental role because it allows the trees to be decomposed into the (infinite) spine with identically distributed random outgrowths. We then determine $d_s$ by decomposing the walks and obtaining bounds for the leading singular behaviour of the generating function for $p(t)$. These methods will allow the calculation of the spectral dimension of any random tree ensemble with the unique spine property. However, non-generic (sometimes called exotic) trees are not expected to have this property and it would be interesting to see if our methods could be generalized to that case.}, keywords = {dimension random spectral statphys23 topic-3 trees walk } } @inproceedings{conf/vts/BreuerKMRW97, title = {Will 0.1um Digital Circuits Require Mixed-Signal Testing.}, author = {Melvin A. Breuer and Bozena Kaminska and J. McDermid and V. Rayapathi and Donald L. Wheater}, booktitle = {VTS}, crossref = {conf/vts/1997}, pages = {186-187}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/vts/vts1997.html#BreuerKMRW97}, year = {1997}, biburl = {http://www.bibsonomy.org/bibtex/22400b757c91613bfebf102a21cff9968/dblp}, description = {dblp}, ee = {http://csdl.computer.org/comp/proceedings/vts/1997/7810/00/78100186.pdf}, date = {2006-07-26}, keywords = {dblp } } @inproceedings{conf/sigopsE/ShrivastavaW98, title = {A transactional workflow based distributed application composition and execution environment.}, author = {Santosh K. Shrivastava and Stuart M. Wheater}, booktitle = {ACM SIGOPS European Workshop}, crossref = {conf/sigopsE/1998}, editor = {Paulo Guedes and Jean Bacon}, pages = {74-81}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/sigopsE/sigopsE1998.html#ShrivastavaW98}, year = {1998}, biburl = {http://www.bibsonomy.org/bibtex/27956f357e8e03ac85768e6289631ebf8/dblp}, description = {dblp}, ee = {http://doi.acm.org/10.1145/319195.319207}, date = {2006-02-10}, keywords = {dblp } } @article{journals/envsoft/McIntyreW04, title = {A tool for risk-based management of surface water quality.}, author = {Neil R. McIntyre and Howard S. Wheater}, journal = {Environmental Modelling and Software}, number = {12}, pages = {1131-1140}, url = {http://dblp.uni-trier.de/db/journals/envsoft/envsoft19.html#McIntyreW04}, volume = {19}, year = {2004}, biburl = {http://www.bibsonomy.org/bibtex/23a806d394b8740ec951da3c039839ebd/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.envsoft.2003.12.003}, date = {2005-10-28}, keywords = {dblp } } @inproceedings{conf/icdcs/ShrivastavaW90, title = {Implementing Fault-Tolerant Distributed Applications.}, author = {Santosh K. Shrivastava and Stuart M. Wheater}, booktitle = {ICDCS}, crossref = {conf/icdcs/1990}, pages = {203-210}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs90.html#ShrivastavaW90}, year = {1990}, biburl = {http://www.bibsonomy.org/bibtex/274589fab889cf48d3c41593642235165/dblp}, description = {dblp}, date = {2005-09-20}, keywords = {dblp } } @inproceedings{conf/dais/RannoSW97, title = {A System for Specifying and Coordinating the Execution of Reliable Distributed Applications.}, author = {Frédéric Ranno and Santosh K. Shrivastava and Stuart M. Wheater}, booktitle = {DAIS}, crossref = {conf/dais/1997}, editor = {Hartmut König and Kurt Geihs and Thomas Preuß}, publisher = {Chapman & Hall}, url = {http://dblp.uni-trier.de/db/conf/dais/dais1997.html#RannoSW97}, year = {1997}, biburl = {http://www.bibsonomy.org/bibtex/2e0e58ac068f1177a1cf96666107e8167/dblp}, description = {dblp}, date = {2005-06-01}, keywords = {dblp } } @article{journals/dt/BassettBDFGPPW90, title = {Low-Cost Testing of High-Density Logic Components.}, author = {Robert W. Bassett and Barry J. Butkus and Stephen L. Dingle and Marc R. Faucher and Pamela S. Gillis and Jeannie H. Panner and John G. Petrovick and Donald L. Wheater}, journal = {IEEE Design & Test of Computers}, number = {2}, pages = {15-28}, url = {http://dblp.uni-trier.de/db/journals/dt/dt7.html#BassettBDFGPPW90}, volume = {7}, year = {1990}, biburl = {http://www.bibsonomy.org/bibtex/2041d67389a6de9bfcb0193655083ecf8/dblp}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/54.53042}, date = {2005-03-10}, keywords = {dblp } } @inproceedings{conf/edoc/WoodmanPSW04, title = {Notations for the Specification and Verification of Composite Web Services.}, author = {Simon J. Woodman and Doug J. Palmer and Santosh K. Shrivastava and Stuart M. Wheater}, booktitle = {EDOC}, crossref = {conf/edoc/2004}, pages = {35-46}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/edoc/edoc2004.html#WoodmanPSW04}, year = {2004}, biburl = {http://www.bibsonomy.org/bibtex/2568a37c66fca0dc644b6c5c3b87e2e5b/dblp}, description = {dblp}, ee = {http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140035abs.htm}, isbn = {0-7695-2214-9}, date = {2004-12-06}, keywords = {dblp } }