.:. Browse > Document list .:.

2256 documents ordered by : Date Title first author name document type Submit date

... 105 - 106 - 107 - 108 - 109 - 110 - 111 ...

Design of an application specific microprocessor Leveugle R. et al In Logic-and-Architecture-Synthesis-for-Silicon-Compilers.-Proceedings-of-the-International-Workshop - Logic-and-Architecture-Synthesis-for-Silicon-Compilers.-Proceedings-of-the-International-Workshop, France (1989) [hal-00015339 - version 1]

JANUS, an on-line multiplier/divider for manipulating large numbers Guyot A. et al In Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3. - Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., United States (1989) [hal-00014975 - version 1]

Functional modelling and testing of digital circuits Borrione D. et al Revue Technique et Science Informatiques (TSI) 8(6) (1989) 523-44 [hal-00014306 - version 1]

Zero-defect designs, why and how: formal verification vs. automated synthesis Borrione D. et al In Information-Processing-89.-Proceedings-of-the-IFIP-11th-World-Computer-Congress. - Information-Processing-89.-Proceedings-of-the-IFIP-11th-World-Computer-Congress., France (1989) [hal-00014303 - version 1]

Formal verification of microprogrammed architectures Borrione D. et al In CAD-&-CG-'89-Beijing.-Proceedings-of-International-Conference-on-Computer-Aided-Design-and-Computer-Graphics. - CAD-&-CG-'89-Beijing.-Proceedings-of-International-Conference-on-Computer-Aided-Design-and-Computer-Graphics., China (1989) [hal-00014299 - version 1]

A generalized theory of fail-safe systems Nicolaidis M. et al In FTCS-19-Digest-of-Papers.-The-Nineteenth-International-Symposium-on-Fault-Tolerant-Computing-Cat.-No.89CH2754-0. 1989: - FTCS-19-Digest-of-Papers.-The-Nineteenth-International-Symposium-on-Fault-Tolerant-Computing-Cat.-No.89CH2754-0. 1989:, United States (1989) [hal-00014059 - version 1]

Self-exercising checkers for unified built-in self-test (UBIST) Nicolaidis M. IEEE-Transactions-on-Computer-Aided-Design-of-Integrated-Circuits-and-Systems March ; 8(3) (1989) 203-18 [hal-00014058 - version 1]

VLSI implementation for control of critical systems Noraz S. et al In Safety-of-Computer-Control-Systems-1989-SAFECOMP'89-Proceedings-of-the-IFAC/IFIP-Workshop. - Safety-of-Computer-Control-Systems-1989-SAFECOMP'89-Proceedings-of-the-IFAC/IFIP-Workshop., Austria (1989) [hal-00014054 - version 1]

Self-checking logic arrays Nicolaidis M. et al Microprocessors and Microsystems May; 13(4) (1989) 281-90 [hal-00013398 - version 1]

Debugging integrated circuits: AI can help Marzouki M. et al Dans Proceedings-of-the-1st-European-Test-Conference-IEEE-Cat.-No.89CH2696-3 - Proceedings-of-the-1st-European-Test-Conference-IEEE-Cat.-No.89CH2696-3, France (1989) [hal-00013397 - version 1]

Luminescence and photoionization processes of Yb/sup 2+/ in CaF/sub 2/, SrF/sub 2/ and BaF/sub 2/ Moine B. et al Journal de Physique Aug. ; 50(15) (1989) 2105-19 [hal-00013395 - version 1]

Motion estimation VLSI architecture for image coding Privat G. et al Dans Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6. - Proceedings.-1989-IEEE-International-Conference-on-Computer-Design:-VLSI-in-Computers-and-Processors-Cat.-No.89CH2794-6., États-Unis (1989) [hal-00012571 - version 1]

Comparisons of tests using heavy ions from californium and from cyclotron Velazco R. et al Annales-de-Physique Dec. 1989; 14colloq(2) (1989) 357-72 [hal-00008274 - version 1]

Comparison between Californian and cyclotron SEU tests Velazco R. et al IEEE-Transactions-on-Nuclear-Science Dec. 1989; 36(6) pt. 1 (1989) 2383-7 [hal-00008273 - version 1]

Architecture experimentation with the behavioural silicon compiler SYCO Jerraya A.A. et al Dans MELECON-'89:-Mediterranean-Electrotechnical-Conference-Proceedings.-Integrating-Research,-Industry-and-Education-in-Energy-and-Communication-Engineering - (1989) [hal-00008157 - version 1]

Random Pattern Testing Versus Deterministic Testing of RAMs David R. et al IEEE Transactions on Computers May 1989 (Vol. 38, No. 5) (1989) 637-650 [hal-00007993 - version 1]

VLSI implementation for control of critical systems Noraz S. et al Dans Safety-of-Computer-Control-Systems-1989-SAFECOMP'89-Proceedings-of-the-IFAC/IFIP-Workshop. - (1989) [hal-00007980 - version 1]

ADVICE project: final balance and future perspectives Melgara M. et al Dans ESPRIT-'89.-Proceedings-of-the-6th-Annual-ESPRIT-Conference - (1989) [hal-00007979 - version 1]

The SYCO silicon compiler Jerraya A.A. et al Technique-et-Science-Informatiques 8(6) (1989) 489-507 [hal-00007978 - version 1]

Test and design for testability of reconvergent fan-out CMOS logic networks Darlay F. et al Dans International-Test-Conference-1989.-Proceedings.-Meeting-the-Tests-of-Time- - (1989) [hal-00007977 - version 1]