10 papers:
ASE-2014-EllisHKLLLMM #analysis #automation #requirements- Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
SIGMOD-2010-MortonBG #graph #named #pipes and filters- ParaTimer: a progress indicator for MapReduce DAGs (KM, MB, DG), pp. 507–518.
QAPL-2006-CiobanuP #distributed- Timers for Distributed Systems (GC, CP), pp. 81–99.
TestCom-2005-UyarWBWF #fault #modelling #multi- Timing Fault Models for Systems with Multiple Timers (MÜU, YW, SSB, AW, MAF), pp. 192–208.
- TestCom-2000-FeckoAUD #generative #testing
- Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.
WIA-1999-BergeronC #analysis- Analysis of Reactive Systems with n Timers (AB, RC), pp. 27–38.
SOSP-1999-AronD #network #performance- Soft timers: efficient microsecond software timer support for network processing (MA, PD), pp. 232–246.
CAV-1992-Cerans #bisimulation #decidability #parallel #process- Decidability of Bisimulation Equivalences for Parallel Timer Processes (KC), pp. 302–315.
ICALP-1988-Tel #protocol #verification- Assertional Verification of a Timer Based Protocol (GT), pp. 600–614.
- SOSP-1987-VargheseL #data type #implementation #performance
- Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility (GV, AL), pp. 25–38.
