| Document Date: 2003-08-12 19:40:51
Open Document File Size: 77,93 KBShare Result on Facebook
Company NonDeterministic Networks / MVSIS Group / / / Event Reorganization / / Facility T. Villa / University of California at Berkeley / / IndustryTerm modified carved network / uncut network / binary networks / binary network / deterministic binary networks / cross product / optimization algorithms / analogous network / large network / comparable deterministic binary networks / type algorithm / formal verification applications / larger network / sub-network / valid modified network / cut network / large networks / deterministic network / sub-networks / cut-out sub-network / computing / final network / multi-level networks / non-deterministic networks / modified cut network / carved-out network / cut sub-network / for partitioning a large network / / Organization University of California / Robert K. Brayton Department of EECS / UC Berkeley / Univ. of California / EECS Department / / Person Robert K. Brayton / Alan Mishchenko / / ProvinceOrState North Dakota / Nova Scotia / California / Colorado / / TVStation TFO / / Technology Quine-McCluskey type algorithm / cryptography / Logic Minimization Algorithms / optimization algorithms / simulation / CAD / / URL http /
SocialTag |
A Theory of Non-Deterministic Networks Alan Mishchenko and Robert K. Brayton Department of EECS, University of California at Berkeley {alanmi, brayton}@eecs.berkeley.edu Abstract