Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mrsmond library [87 articles]

Статьи, недавно добавленные в библиотеку mrsmond .
  • notes Memoryless subsystems
    The Computer Journal, Vol. 17, No. 2. (1 February 1974), pp. 143-147.
    by JS Fenton
    posted to security not-relevant-to-engd interesting--medium have-paper-copy hardware computer-science architecture by mrsmond on 2008-10-09 15:03:13 as read
  • On the Unusual Effectiveness of Logic in Computer Science
    (2001)
    by Joseph Y Halpern, Robert Harper, Neil Immerman, Phokion G Kolaitis
    posted to not-related-to-engd have-paper-copy formal-logic computer-science by mrsmond on 2008-10-01 12:05:01 as ****
  • Convolutional Coding for SEU mitigation
    European Test Symposium, IEEE, Vol. 0 (2008), pp. 191-196.
    by Laura Frigerio, Matteo A Radaelli, Fabio Salice
    posted to seu rating--1 memory error-correction by mrsmond on 2008-09-30 14:09:48 as read
  • Tunable Transient Filters for Soft Error Rate Reduction in Combinational Circuits
    European Test Symposium, IEEE, Vol. 0 (2008), pp. 179-184.
    by Quming Zhou, Mihir R Choudhury, Kartik Mohanram
    posted to transient-faults rating--2 fault-avoidance combinational-logic circuit-level by mrsmond on 2008-09-30 12:18:50 as read
  • The existence of refinement mappings
    Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 165-175.
    by M Abadi, L Lamport
    posted to automata-theory by mrsmond on 2008-09-23 13:43:24 as **
  • The Influence of Organizational Structure On Software Quality: An Empirical Case Study
    Microsoft Research Technical Publications (January 2008)
    by Nachiappan Nagappan, Brendan Murphy, Victor Basili
    posted to software management business by mrsmond on 2008-09-15 14:18:46 as ***
  • Exploring the Duality between Product and Organizational Architectures: A Test of the Mirroring Hypothesis
    Harvard Business School Working Papers (March 2008)
    by Alan D Maccormack, John Rusnak, Carliss Y Baldwin
    posted to management have-electronic-copy business by mrsmond on 2008-09-15 14:11:05 as ***
  • Steps toward artificial intelligence
    Vol. 49 (1961), pp. 406-450.
    by Marvin Minsky
    posted to have-electronic-copy computing-history artificial-intelligence by mrsmond on 2008-09-12 12:51:31 as ***
  • Challenges and Solutions for Late- and Post-Silicon Design
    IEEE Design and Test of Computers, Vol. 25, No. 4. (2008), pp. 296-302.
    by Jan M Rabaey, Sharad Malik
    posted to review semiconductor silicon trend by mrsmond on 2008-08-06 12:12:43 as read
  • ESD: a pervasive reliability concern for IC technologies
    Proceedings of the IEEE, Vol. 81, No. 5. (1993), pp. 690-702.
    by C Duvvury, A Amerasekera
    posted to esd reliability review by mrsmond on 2008-08-05 16:49:59 as **
  • Copper metallization reliability
    Microelectronics Reliability, Vol. 39, No. 11. (November 1999), pp. 1595-1602.
    by JR Lloyd, J Clemens, R Snede
    posted to electromigration by mrsmond on 2008-08-05 16:22:00 as ***
  • Dilemmas in a General Theory of Planning
    Policy Sciences, Vol. 4 (1973), pp. 155-169.
    by Horst Rittel, Melvin Webber
    posted to design planning theory by mrsmond on 2008-06-19 11:17:21 as ****
  • Soft Error Mitigation Through Selective Addition of Functionally Redundant Wires
    Reliability, IEEE Transactions on, Vol. 57, No. 1. (2008), pp. 23-31.
    by S Almukhaizim, Y Makris
    posted to circuit-level combinational-logic fault-injection ser seu by mrsmond on 2008-04-24 16:59:37 as *
  • Fault injection for dependability validation: a methodology and some applications
    Software Engineering, IEEE Transactions on, Vol. 16, No. 2. (1990), pp. 166-182.
    by J Arlat, M Aguera, L Amat, Y Crouzet, JC Fabre, JC Laprie, E Martins, D Powell
    posted to dependability fault-injection fault-tolerance verification by mrsmond on 2008-04-24 16:26:37 as ** along with 1 person network01
  • DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY
    Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on (1995), 2.
    by JC Laprie
    posted to dependability fault-tolerance theory by mrsmond on 2008-04-24 16:02:44 as ** along with 1 person king_yous
  • Fault injection for formal testing of fault tolerance
    Reliability, IEEE Transactions on, Vol. 45, No. 3. (1996), pp. 443-455.
    by D Avresky, J Arlat, JC Laprie, Y Crouzet
    posted to fault-injection fault-tolerance formal-methods interesting--low off-chip-communication by mrsmond on 2008-04-24 15:53:20 as * along with 1 person network01
  • Evaluation of deterministic fault injection for fault-tolerant protocol testing
    Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium (1991), pp. 418-425.
    by K Echtle, Y Chen
    posted to fault-injection fault-tolerance interesting--low off-chip-communication by mrsmond on 2008-04-24 15:28:40 as * along with 1 person network01
  • Error analysis for the support of robust voltage scaling
    Quality of Electronic Design, 2005. ISQED 2005. Sixth International Symposium on (2005), pp. 65-70.
    by D Roberts, T Austin, D Blauww, T Mudge, K Flautner
    posted to dynamic-voltage-scaling energy-analysis have-paper-copy razor by mrsmond on 2008-04-04 14:40:56 as **
  • A robust self-calibrating transmission scheme for on-chip networks
    Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 13, No. 1. (2005), pp. 126-139.
    by F Worm, P Ienne, P Thiran, G De Micheli
    posted to dynamic-voltage-scaling energy-analysis on-chip-communication self-checking variability by mrsmond on 2008-04-04 14:38:03 as **
  • Making typical silicon matter with Razor
    Computer, Vol. 37, No. 3. (2004), pp. 57-65.
    by T Austin, D Blaauw, T Mudge, K Flautner
    posted to dynamic-voltage-scaling energy-analysis error-detection have-paper-copy razor variability by mrsmond on 2008-04-04 14:31:54 as **
  • DVS for on-chip bus designs based on timing error correction
    Design, Automation and Test in Europe, 2005. Proceedings (2005), pp. 80-85 Vol. 1.
    by H Kaul, D Sylvester, D Blaauw, T Mudge, T Austin
    posted to dynamic-voltage-scaling have-paper-copy on-chip-communication razor variability by mrsmond on 2008-04-04 14:29:30 as read
  • Transaction Level Error Susceptibility Model for Bus Based SoC Architectures
    (2006), pp. 775-780.
    by IC Lin, S Srinivasan, N Vijaykrishnan, N Dhanwada
    posted to amba arm fault-analysis have-paper-copy modeling on-chip-communication reliability system-level by mrsmond on 2008-02-25 16:04:47 as read
  • Watchdog processors in parallel systems
    Microprocess. Microprogram., Vol. 39, No. 2-5. (1993), pp. 69-74.
    by András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig
    posted to error-detection have-paper-copy multiprocessor system-level by mrsmond on 2008-02-21 11:50:02 as *
  • Using formal techniques to debug the AMBA system-on-chip bus protocol
    Design, Automation and Test in Europe Conference and Exhibition, 2003 (2003), pp. 828-833.
    by A Roychoudhury, T Mitra, SR Karri
    posted to amba arm formal-methods on-chip-communication by mrsmond on 2008-02-08 15:31:43 as **
  • Formal performance evaluation of AMBA-based system-on-chip designs
    (2006), pp. 311-320.
    by Gabor Madl, Sudeep Pasricha, Luis, Nikil Dutt, Qiang Zhu
    posted to amba arm formal-methods on-chip-communication verification by mrsmond on 2008-02-08 15:26:44 as **
  • An AMBA-ARM7 Formal Verification Platform
    Formal Methods and Software Engineering (2003), pp. 48-67.
    by Kong Susanto, Tom Melham
    posted to amba arm formal-methods verification by mrsmond on 2008-02-08 15:17:30 as **
  • Verification of AMBA Using a Combination of Model Checking and Theorem Proving
    (2005)
    by Hasan Amjad
    posted to amba formal-methods modeling on-chip-communication verification by mrsmond on 2008-02-08 15:04:43 as **
  • Characterizing Logical Masking Of Transient Faults At The Microarchitectural And Architectural Levels
    by Nicholas Wang
    posted to combinational-logic cpu fault-analysis fault-injection microarchitecture toread transient-faults by mrsmond on 2008-01-08 12:37:05 as **
  • Latch Susceptibility to Transient Faults and New Hardening Approach
    IEEE Transactions on Computers, Vol. 56, No. 09. (2007), pp. 1255-1268.
    by Martin Omaña, Daniele Rossi, Cecilia Metra
    posted to circuit-level fault-detection fault-tolerance transient-faults by mrsmond on 2007-11-01 11:57:16 as **
  • A stimulus-free probabilistic model for single-event-upset sensitivity
    VLSI Design, 2006. Held jointly with 5th International Conference on Embedded Systems and Design., 19th International Conference on (2006), 8 pp..
    by Thara Rejimon, Sanjukta Bhanja
    posted to modeling ser seu static by mrsmond on 2007-10-31 17:12:37 as **
  • An efficient static algorithm for computing the soft error rates of combinational circuits
    (2006), pp. 164-169.
    by Rajeev R Rao, Kaviraj Chopra, David Blaauw, Dennis Sylvester
    posted to combinational-logic modeling ser static by mrsmond on 2007-10-31 17:09:40 as ***
  • Communities of Interest
    Lecture Notes in Computer Science, Vol. 2189 (2001), pp. 105-??.
    by Corinna Cortes, Daryl Pregibon, Chris Volinsky
    posted to graph-theory by mrsmond on 2007-10-30 17:28:57 as ** along with 1 person elsantosneto
  • Single event upset in avionics
    Nuclear Science, IEEE Transactions on, Vol. 40, No. 2. (1993), pp. 120-126.
    by A Taber, E Normand
    posted to aerospace experiment seu by mrsmond on 2007-10-26 10:59:45 as **
  • Calculation of the soft error rate of submicron CMOS logic circuits
    Solid-State Circuits, IEEE Journal of, Vol. 30, No. 7. (1995), pp. 830-834.
    by T Juhnke, H Klar
    posted to circuit ser simulation trend by mrsmond on 2007-10-25 16:32:42 as **
  • Analysis of single-event effects in combinational logic-simulation of the AM2901 bitslice processor
    Nuclear Science, IEEE Transactions on, Vol. 47, No. 6. (2000), pp. 2609-2615.
    by LW Massengill, AE Baranski, DO Van Nort, J Meng, BL Bhuva
    posted to combinational-logic fault-analysis fault-injection ser simulation trend by mrsmond on 2007-10-25 16:30:05 as **
  • On latching probability of particle induced transients in combinational networks
    Fault-Tolerant Computing, 1994. FTCS-24. Digest of Papers., Twenty-Fourth International Symposium on (1994), pp. 340-349.
    by P Liden, P Dahlgren, R Johansson, J Karlsson
    posted to combinational-logic modeling seu by mrsmond on 2007-10-25 16:27:21 as **
  • Characterization of Soft Errors Caused by Single Event Upsets in CMOS Processes
    IEEE Transactions on Dependable and Secure Computing, Vol. 01, No. 2. (2004), pp. 128-143.
    by Tanay Karnik, Peter Hazucha, Jagdish Patel
    posted to reliability review ser silicon-on-insulator by mrsmond on 2007-10-25 16:13:48 as **
  • ReStore: Symptom-Based Soft Error Detection in Microprocessors
    IEEE Transactions on Dependable and Secure Computing, Vol. 3, No. 3. (2006), pp. 188-201.
    by Nicholas J Wang, Sanjay J Patel
    posted to fault-tolerance simulation by mrsmond on 2007-10-25 16:08:12 as **
  • Modeling Soft Errors at Device and Logic Level for combinational circuits
    IEEE Transactions on Dependable and Secure Computing (September 2007)
    by Rajaraman Ramanarayanan, Vijay S Degalahal, Ramakrishnan Krishnan, Jungsub Kim, Vijaykrishnan Narayanan, Yuan Xie, Mary J Irwin, Kenan Unlu
    posted to combinational-logic modeling ser by mrsmond on 2007-10-25 16:05:42 as ****
  • Crosstalk- and SEU-Aware Networks on Chips
    IEEE Design & Test of Computers, Vol. 24, No. 04. (2007), pp. 340-350.
    by Arthur P Frantz, Maico Cassel, Fernanda L Kastensmidt, Érika Cota, Luigi Carro
    posted to crosstalk network-on-chip reliability seu by mrsmond on 2007-10-23 10:36:52 as ***
  • Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook
    IEEE Design & Test of Computers, Vol. 24, No. 05. (2007), pp. 430-441.
    by Miloš Krsti, Eckhard Grass, Frank K Gürkaynak, Pascal Vivet
    posted to gals review by mrsmond on 2007-10-23 10:18:00 as ***
  • Impacts of front-end and middle-end process modifications on terrestrial soft error rate
    Device and Materials Reliability, IEEE Transactions on, Vol. 5, No. 3. (2005), pp. 382-396.
    by P Roche, G Gasiot
    posted to manufacture-process neutron ser silicon-on-insulator toread by mrsmond on 2007-10-10 14:50:58 as ***
  • Impact of Parameter Variations on Circuits and Microarchitecture
    IEEE Micro, Vol. 26, No. 6. (2006), pp. 30-39.
    by Osman S Unsal, James W Tschanz, Keith Bowman, Vivek De, Xavier Vera, Antonio Gonzalez, Oguz Ergin
    posted to have-paper-copy microarchitecture review variability by mrsmond on 2007-09-12 15:13:55 as **
  • An Efficient Algorithm for Discovering Frequent Subgraphs
    IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 9. (September 2004), pp. 1038-1051.
    by Michihiro Kuramochi, George Karypis
    posted to graph-theory maths by mrsmond on 2007-08-30 17:44:09 as **
  • Variability and energy awareness: a microarchitecture-level perspective
    Design Automation Conference, 2005. Proceedings. 42nd (2005), pp. 11-16.
    by D Marculescu, E Talpes
    posted to circuit energy-analysis have-paper-copy modeling variability by mrsmond on 2007-08-24 13:47:46 as read
  • Impact of die-to-die and within-die parameter fluctuations on the maximum clock frequency distribution for gigascale integration
    Solid-State Circuits, IEEE Journal of, Vol. 37, No. 2. (2002), pp. 183-190.
    by KA Bowman, SG Duvall, JD Meindl
    posted to circuit have-paper-copy modeling shrinking trend variability by mrsmond on 2007-08-24 13:38:22 as ***
  • notes Parameter variations and impact on circuits and microarchitecture
    Design Automation Conference, 2003. Proceedings (2003), pp. 338-342.
    by S Borkar, T Karnik, S Narendra, J Tschanz, A Keshavarzi, V De
    posted to circuit-level microarchitecture variability by mrsmond on 2007-08-24 13:34:28 as ** along with 1 person yushanchou
  • Basic Concepts in Quantum Circuits (Tutorial)
    Design Automation Conference, Vol. 40 (June 2003)
    by John P Hayes
    posted to quantum-computing tutorial by mrsmond on 2007-08-24 13:30:40 as **
  • Design and reliability challenges in nanometer technologies
    Design Automation Conference, 2004. Proceedings. 41st (2004), pp. 75-75.
    by S Borkar, T Karnik, Vivek De
    posted to microarchitecture variability by mrsmond on 2007-08-24 12:07:41 as ***
  • Load and logic co-optimization for design of soft-error resistant nanometer CMOS circuits
    On-Line Testing Symposium, 2005. IOLTS 2005. 11th IEEE International (2005), pp. 35-40.
    by YS Dhillon, AU Diril, A Chatterjee, C Metra
    posted to combinational-logic energy-analysis fault-analysis fault-tolerance toread transient-faults by mrsmond on 2007-07-05 14:35:54 as ***
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/mrsmond

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.