@article{Tarnick1994, author = {Tarnick, Steffen}, title = {Controllable self-checking checkers for conditional concurrent checking}, year = {1994}, language = {en} } @article{Tarnick1994, author = {Tarnick, Steffen}, title = {Bounding error masking in linear output space compression schemes}, year = {1994}, language = {en} } @article{KunzPradhan1994, author = {Kunz, Wolfgang and Pradhan, D. K.}, title = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization}, year = {1994}, language = {en} } @article{GoesselMorosovSaposhnikovetal.1994, author = {G{\"o}ssel, Michael and Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, VL. V.}, title = {Design of combinational self-testing devices with unidirectionally independent outputs}, year = {1994}, language = {en} } @article{Sommerfeld1994, author = {Sommerfeld, Erdmute}, title = {Operations on cognitive structures : their modelling on the basis of graph theory}, year = {1994}, language = {en} } @article{SchroederPreikschat1994, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {PEACE - software backplane for parallel computing}, year = {1994}, language = {en} } @article{Richter1994, author = {Richter, Peter}, title = {Efficient shortest path algorithms for road traffic optimization}, year = {1994}, language = {en} } @article{Cobernuss1994, author = {Cobernuss, M.}, title = {Bused interconnection network for parallel memory with linear storage}, isbn = {3-05-501602-5}, year = {1994}, language = {en} } @article{BogueJuergensenGoessel1994, author = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael}, title = {Design of cover circuits for monitoring the output of a MISR}, isbn = {0-8186-6307-3 , 0-8186-6306-5}, year = {1994}, language = {en} } @article{KunzMenon1994, author = {Kunz, Wolfgang and Menon, P.}, title = {Multi-level logic optimization by implication analysis}, isbn = {0-89791-690-5}, year = {1994}, language = {en} } @article{GoesselSogomonyan1994, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {Self-parity combinational-circuits for self-testing, concurrent fault-detection and parity scan design}, year = {1994}, language = {en} } @article{BogueJuergensenGoessel1995, author = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael}, title = {BIST with negligible aliasing through random cover circuits}, year = {1995}, language = {en} } @article{HellebrandRajskiTarnicketal.1995, author = {Hellebrand, Sybille and Rajski, Janusz and Tarnick, Steffen and Venkatraman, Srikanth and Courtois, Bernard}, title = {Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers}, year = {1995}, language = {en} } @article{Tarnick1995, author = {Tarnick, Steffen}, title = {Controllable self-checking checkers for conditional concurrent checking}, year = {1995}, language = {en} } @article{Gohlke1995, author = {Gohlke, Mario}, title = {A new approach for model-based recognition using colour regions}, year = {1995}, language = {en} } @article{SchroederPreikschatGiloi1995, author = {Schr{\"o}der-Preikschat, Wolfgang and Giloi, Wolfgang K.}, title = {The next generation parallel architecture - multiple executing threads}, year = {1995}, language = {en} } @article{SchroederPreikschat1995, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {Experience developing an object-oriented parallel operating system}, year = {1995}, language = {en} } @article{Richter1995, author = {Richter, Peter}, title = {A new deterministic approach for the optimization of cable layouts for power supply systems}, year = {1995}, language = {en} } @article{HavemannGrivtsovMerkulenko1995, author = {Havemann, Ulrich and Grivtsov, A. G. and Merkulenko, N. N.}, title = {Molecular dynamics simulation of the association of model colloidal particles in two dimensions}, year = {1995}, language = {en} } @article{ThielscherSchaub1995, author = {Thielscher, Michael and Schaub, Torsten}, title = {Default reasoning by deductive planning}, year = {1995}, language = {en} }