22 papers:
DAC-2015-GanapathyKTB #fault- Mitigating the impact of faults in unreliable memories for error-resilient applications (SG, GK, AT, AB), p. 6.
- DAC-2014-LiuCTKD #component #realtime #using
- Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
CASE-2013-LinG #detection #framework #network #optimisation #synthesis- Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations (WCL, HEG), pp. 51–58.
- CASE-2013-YueH #concurrent #robust #using
- Robust deadlock control using shared-resources for production systems with unreliable workstations (HY, HH), pp. 1095–1100.
DATE-2013-RehmanSAKCH #hardware #reliability- Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
OOPSLA-2013-CarbinMR #hardware #reliability #source code #verification- Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
- DAC-2012-KarakonstantisRBB #fault #on the
- On the exploitation of the inherent error resilience of wireless systems under unreliable silicon (GK, CR, CB, AB), pp. 510–515.
SAC-2012-AtifMO #detection #verification- Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems (MA, MRM, AO), pp. 478–485.
- DAC-2011-KarakonstantisBATGR
- Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
- CASE-2010-LinYG
- Sensor configuration selection for discrete-event systems under unreliable observations (WCL, TSY, HEG), pp. 477–484.
- DAC-2009-FickDHBBS #named #network #reliability
- Vicis: a reliable network for unreliable silicon (DF, AD, JH, VB, DB, DS), pp. 812–817.
- CASE-2007-YooG #analysis #network #process
- Intruder Activity Analysis under Unreliable Sensor Networks (TSY, HEG), pp. 578–584.
- CASE-2006-TanonkouBX #design #network #random
- Distribution network design with random demand and unreliable suppliers (GAT, LB, XX), pp. 15–20.
ICGT-2006-MendizabalD #analysis #distributed #graph grammar #non-functional #probability #using- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.
POPL-2005-FieldV #consistency #distributed #maintenance #named #programming- Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.
ICSM-1995-AbdullahKW #integration #testing- Correcting for unreliable regression integration testing (KA, JEKJ, LJW), pp. 232–241.
CIKM-1995-LeongS #multi- Data Broadcasting Strategies over Multiple Unreliable Wireless Channels (HVL, AS), pp. 96–104.
ICML-1995-EngelsonK #reliability- Distilling Reliable Information From Unreliable Theories (SPE, MK), pp. 218–225.
ICALP-1994-AbdullaJ #decidability #problem #source code #verification- Undecidable Verification Problems for Programs with Unreliable Channels (PAA, BJ), pp. 316–327.
FSE-1994-CeceFI #communication #fault- Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
STOC-1990-FeigePRU- Computing with Unreliable Information (Preliminary Version) (UF, DP, PR, EU), pp. 128–137.
PODS-1984-GrahamGS #database #reliability #scheduling #transaction- Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.
