22 papers:
CASE-2015-UenoGATIK #video- Motion-blur-free microscopic video shooting based on frame-by-frame intermittent tracking (TU, QG, TA, TT, II, TK), pp. 837–842.
PLDI-2015-LuciaR #execution #programming- A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
DATE-2014-DweikAD #array #exception #fault- Reliability-Aware Exceptions: Tolerating intermittent faults in microprocessor array structures (WD, MA, MD), pp. 1–6.
- DATE-2013-DasKV13a #communication #design #energy #fault #manycore #migration
- Communication and migration energy aware design space exploration for multicore systems with intermittent faults (AD, AK, BV), pp. 1631–1636.
- DATE-2012-SabryAC #approach #embedded #fault #hybrid
- A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems (MMS, DA, FC), pp. 1110–1113.
ICPR-2012-RohithK #3d #estimation #modelling #using- Augmenting monocular motion estimation using intermittent 3D models from depth sensors (MVR, CK), pp. 473–476.
- CASE-2011-NaibR #approach #automation #constraints
- A P2P approach for automating seamless connectivity given intermittent bandwidth constraints (VVBN, SR), pp. 637–641.
- CASE-2011-TranHN #automation #composition
- Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.
HCI-DDA-2011-LinDCLL- Measuring Corrective Reaction Time with the Intermittent Illumination Model (JFL, CGD, CMC, YDL, YQL), pp. 397–405.
ASPLOS-2011-SharmaBIS #clustering #named- Blink: managing server clusters on intermittent power (NS, SKB, DEI, PJS), pp. 185–198.
VMCAI-2011-CousotCL #contract- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
- DATE-2010-PanHL #fault #named
- IVF: Characterizing the vulnerability of microprocessor structures to intermittent faults (SP, YH, XL), pp. 238–243.
- CASE-2009-SinghKP #fault #markov #multi
- A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults (SS, AK, KRP), pp. 146–151.
- ASPLOS-2008-WellsCS #adaptation #fault #manycore
- Adapting to intermittent faults in multicore systems (PMW, KC, GSS), pp. 255–264.
- DATE-2006-KranitisMLTPGH #embedded #fault #pipes and filters #testing
- Optimal periodic testing of intermittent faults in embedded pipelined processor applications (NK, AM, NL, GT, AMP, DG, CH), pp. 65–70.
- VMCAI-2006-JaffarSV #abstraction #composition
- A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
- DATE-v2-2004-HuangCHTHH #analysis #fault #probability
- Intermittent Scan Chain Fault Diagnosis Based on Signal Probability Analysis (YH, WTC, CJH, HYT, AH, YTH), pp. 1072–1077.
HPDC-2002-HuangV #resource management- QoS-Based Resource Discovery in Intermittently Available Environments (YH, NV), p. 50–?.
CIKM-2001-YeeODN #database #maintenance #mobile #scalability- Scaling Replica Maintenance In Intermittently Synchronized Mobile Databases (WGY, EO, MJD, SBN), pp. 450–457.
- CIKM-2000-YeeDN #database #design #framework #scalability
- A Framework for Designing Update Objects to Improve Server Scalability in Intermittently Synchronized Databases (WGY, MJD, SBN), pp. 54–61.
ICALP-1983-AptD #axiom #logic #using- An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract) (KRA, CD), pp. 15–27.
ICSE-1976-MannaW #correctness #proving- Is “Sometime” Sometimes Better Than “Always”? Intermittent Assertions in Proving Program Correctness (ZM, RJW), pp. 32–39.
