Search results for "timers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Mohit Aron, Peter Druschel	Soft timers: efficient microsecond software timer support for network processing.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	polling, timers, transmission scheduling
85	Mohit Aron, Peter Druschel	Soft timers: efficient microsecond software timer support for network processing.	SOSP	1999	DBLP DOI BibTeX RDF
72	Bogdan Aman, Gabriel Ciobanu	Timers and Proximities for Mobile Ambients.	CSR	2007	DBLP DOI BibTeX RDF
72	Kiran K. Vadde, Violet R. Syrotiuk	On Timers of Routing Protocols in MANETs.	ADHOC-NOW	2004	DBLP DOI BibTeX RDF
72	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale	Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.	FORTE	2003	DBLP DOI BibTeX RDF	timed EFSM, timed extensions, conformance testing, SDL
72	Lixia Zhang	Why TCP timers don't work well.	SIGCOMM	1986	DBLP DOI BibTeX RDF
72	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer	A technique to generate feasible tests for communications systems with multiple timers.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	testing timers, conformance testing, timing constraints, test-case generation
60	Ya-Chin Sang, Yi-Bing Lin	Effects of the EAPOL Timers in IEEE 802.1X Authentication.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
60	George Xylomenos	Limitations of Fixed Timers for Wireless Links.	ISPA	2006	DBLP DOI BibTeX RDF
49	Kamran Karimi	Back to the Future: Changing the Direction of Time to Discover Causality.	AI	2003	DBLP DOI BibTeX RDF
48	Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001	Formalization and Verification of PLC Timers in Coq.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
37	Giovani Gracioli, Danillo Moura Santos, Roberto de Matos, Lucas Francisco Wanner, Antônio Augusto Fröhlich	One-Shot Time Management Analysis in EPOS.	SCCC	2008	DBLP DOI BibTeX RDF
37	Simon Peter 0001, Andrew Baumann, Timothy Roscoe, Paul Barham 0001, Rebecca Isaacs	30 seconds is not enough!: a study of operating system timer usage.	EuroSys	2008	DBLP DOI BibTeX RDF	kernel interface design, scheduling, adaptability, timers
37	Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou	Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost.	ASP-DAC	2007	DBLP DOI BibTeX RDF	hardware modifications, software modifications, hardware timers, interrupt controllers, software/device driver, distributed software-defined radio system, hardware measurements, power manager, power management, multiprocessor systems, distributed real-time systems, power constraints, low-power embedded systems
37	Dan Tsafrir, Yoav Etsion, Dror G. Feitelson, Scott Kirkpatrick	System noise, OS clock ticks, and fine-grained parallel applications.	ICS	2005	DBLP DOI BibTeX RDF	modeling system noise, smart timers, timer interrupts, timing services, synchronization, operating systems, HPC, ticks
37	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
37	Shuichi Oikawa, Hideyuki Tokuda	Efficient timing management for user-level real-time threads.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	efficient timing management, user-level real-time threads, specified time, upcalled user-level scheduler, user-level scheduler overhead, shared user-level timers, shared kernel/user structure, upcall performance, scheduling, performance evaluations, software engineering, real-time systems, resource allocation, timing, shared memory systems, kernel, processor scheduling, software performance evaluation, operating system kernels, hints, virtual processor
35	Bogdan Aman, Gabriel Ciobanu	Mobile Ambients with Timers and Types.	ICTAC	2007	DBLP DOI BibTeX RDF
35	Shengyong Chen, Chunyan Yao, Gang Xiao 0001, Y. S. Ying, Wanliang Wang	Fault Detection and Prediction of Clocks and Timers Based on Computer Audition and Probabilistic Neural Networks.	IWANN	2005	DBLP DOI BibTeX RDF
35	Howard J. Hamilton, Kamran Karimi	The TIMERS II Algorithm for the Discovery of Causality.	PAKDD	2005	DBLP DOI BibTeX RDF
35	Paulo Cesar S. Vidal, Otto Carlos Muniz Bandeira Duarte	Reducing the Reservation Establisment Time in IP Tunnels by Using Staged Refresh Timers.	NCA	2003	DBLP DOI BibTeX RDF
35	Anne Bergeron, Riccardo Catalano	Analysis of Reactive Systems with n Timers.	WIA	1999	DBLP DOI BibTeX RDF	real-time systems, verification, synthesis, automata
25	Xiaoming Fu 0001, Jianhua He	End-to-End Versus Hop-by-Hop Soft State Refresh for Multi-hop Signaling Systems.	ICNP	2009	DBLP DOI BibTeX RDF
25	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.	FMICS	2008	DBLP DOI BibTeX RDF
25	Jinpeng Wei, Bryan D. Payne, Jonathon Giffin, Calton Pu	Soft-Timer Driven Transient Kernel Control Flow Attacks and Defense.	ACSAC	2008	DBLP DOI BibTeX RDF
25	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal	Electing an Eventual Leader in an Asynchronous Shared Memory System.	DSN	2007	DBLP DOI BibTeX RDF
25	Nenad Laskovic, Ljiljana Trajkovic	BGP with an adaptive minimal route advertisement interval.	IPCCC	2006	DBLP DOI BibTeX RDF
25	Susumu Kuriyama, Masao Ohira, Hiroshi Igaki, Ken-ichi Matsumoto	A wearable interface for visualizing coauthor networks toward building a sustainable research community.	AVI	2006	DBLP DOI BibTeX RDF	icebreaker, ubiquitous computing, social networking, community support, legitimate peripheral participation
25	Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong	Temporal search: detecting hidden malware timebombs with virtual machines.	ASPLOS	2006	DBLP DOI BibTeX RDF	virtual machines, malware, worms
25	Manodha Gamage, Mitsuo Hayasaka, Tetsuya Miki	Implementation of Virtual Path Hopping (VPH) as a Solution for Control Plane Failures in Connection Oriented Networks and an Analysis of Traffic Distribution of VPH.	QoS-IP	2005	DBLP DOI BibTeX RDF
25	Shuju Wu, Sujata Banerjee, Xiaobing Hou	A Comparison of Multicast Feedback Control Mechanisms.	Annual Simulation Symposium	2005	DBLP DOI BibTeX RDF
25	Rishi Sinha, Christos Papadopoulos	An adaptive multiple retransmission technique for continuous media streams.	NOSSDAV	2004	DBLP DOI BibTeX RDF	streaming, continuous media, retransmission
25	Martin Berger 0001	Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.	CONCUR	2004	DBLP DOI BibTeX RDF
25	Jean-Lien C. Wu, Shun-Te Wang	Comparison of Power Saving Schemes for Sink Nodes in Wireless Sensor Networks.	AINA (2)	2004	DBLP DOI BibTeX RDF	Signaling Overhead, Release Timer, Sensor Network, Wireless, Power Saving
25	Jin-Ho Kim, Saewoong Bahk, Hyogon Kim	Performance Impact of Coarse Timer Granularities on QoS Guarantees in Unix-Based Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	timer granularity, TCP deadlock, Packet scheduler
25	Greg Daley, Brett Pentland, Richard Nelson	Effects of Fast Router Advertisement on Mobile IPv6 Handovers.	ISCC	2003	DBLP DOI BibTeX RDF
25	Kamran Karimi, Howard J. Hamilton	Distinguishing Causal and Acausal Temporal Relations.	PAKDD	2003	DBLP DOI BibTeX RDF
25	Vaidyanathan Anantharaman, Raghupathy Sivakumar	A microscopic analysis of TCP performance over wireless ad-hoc networks.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
25	Mikael M. Nordman, Wojciech E. Kozlowski, Olavi Vähämäki	Synchronizing Low-Cost Energy Aware Sensors in a Short-range Wireless Cell.	DSD	2001	DBLP DOI BibTeX RDF
25	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent	Timed Extensions for SDL.	SDL Forum	2001	DBLP DOI BibTeX RDF	timed automata, SDL, time semantics, urgencies
25	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova	Model Checking SDL with Spin.	TACAS	2000	DBLP DOI BibTeX RDF
25	Zhichen Xu, Barton P. Miller, Oscar Naim	Dynamic Instrumentation of Threaded Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
25	Kartik Chandran, Sudarshan Raghunathan, S. Venkatesan 0001, Ravi Prakash 0001	A Feedback Based Scheme for Improving TCP Performance in Ad-Hoc Wireless Networks.	ICDCS	1998	DBLP DOI BibTeX RDF
25	Lenore Cowen, Joan Feigenbaum, Sampath Kannan	A Formal Framework for Evaluating Heuristic Programs.	ICALP	1996	DBLP DOI BibTeX RDF
25	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	Iterative algorithms for formal verification of embedded real-time systems.	ICCAD	1994	DBLP DOI BibTeX RDF
25	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
25	George Varghese, Anthony Lauck	Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility.	SOSP	1987	DBLP DOI BibTeX RDF
24	Michael Short 0001	Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2010	DBLP DOI BibTeX RDF	Hashed Wheels, Digital Search Trees, Task Management, Timers, Deadline Scheduling, Implementation Models
24	M. Ümit Uyar, Samrat S. Batth, Yu Wang 0012, Mariusz A. Fecko	Algorithms for Modeling a Class of Single Timing Faults in Communication Protocols.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Finite State Machine (FSM), Extended Finite State Machine (EFSM), Timed EFSM, Fault Modeling, Conformance Testing, Timers
24	Gabriel Ciobanu, Maciej Koutny	Modelling and Verification of Timed Interaction and Migration.	FASE	2008	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers
24	V. Chandramouli, Jesse Whittemore, Karem A. Sakallah	AFTA: A Formal Delay Model for Functional Timing Analysis.	DATE	1998	DBLP DOI BibTeX RDF	timed-automamata, timing analysis, states, delay model, timers
24	George Varghese, Anthony Lauck	Hashed and hierarchical timing wheels: efficient data structures for implementing a timer facility.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	callout facilities, hashed wheels, hierarchical wheels, timer facilities, timers, protocol implementations
23	Véronique Bruyère, Bharat Garhewal, Guillermo A. Pérez 0001, Gaëtan Staquet, Frits W. Vaandrager	Active Learning of Mealy Machines with Timers.	CoRR	2024	DBLP DOI BibTeX RDF
23	Véronique Bruyère, Guillermo A. Pérez 0001, Gaëtan Staquet, Frits W. Vaandrager	Automata with Timers.	CoRR	2023	DBLP DOI BibTeX RDF
23	Chandan Kumar Sheemar, Sumit Kumar 0001, Jorge Querol, Symeon Chatzinotas	Adaptive Timers and Buffer Optimization for Layer-2 Protocols in 5G Non-Terrestrial Networks.	CoRR	2023	DBLP DOI BibTeX RDF
23	Paul Kogel, Verena Klös, Sabine Glesner	Learning Mealy Machines with Local Timers.	ICFEM	2023	DBLP DOI BibTeX RDF
23	Poku Gyasi, Jiandong Wang	Optimal alarm trippoints and timers for avoiding false alarms *.	SAFEPROCESS	2023	DBLP DOI BibTeX RDF
23	Varun Patil, Seiji Otsu, Lixia Zhang 0001	Timers in State Vector Sync.	ICN	2023	DBLP DOI BibTeX RDF
23	Chandan Kumar Sheemar, Sumit Kumar 0001, Jorge Querol, Symeon Chatzinotas	Adaptive Timers and Buffer Optimization for Layer-2 Protocols in 5G Non-Terrestrial Networks.	SoftCOM	2023	DBLP DOI BibTeX RDF
23	Rachana Ananthakrishnan, Josh Bryan, Kyle Chard, Ryan Chard, Kurt McKee, Ada Nikolaidis, Jim Pruyne, Stephen Rosen, Ian T. Foster	Globus Timers: Scheduling Periodic Data Management Actions on Distributed Research Infrastructure.	PEARC	2023	DBLP DOI BibTeX RDF
23	Jingquan Ge, Fengwei Zhang	FlushTime: Towards Mitigating Flush-based Cache Attacks via Collaborating Flush Instructions and Timers on ARMv8-A.	AsiaCCS	2023	DBLP DOI BibTeX RDF
23	Véronique Bruyère, Guillermo A. Pérez 0001, Gaëtan Staquet, Frits W. Vaandrager	Automata with Timers.	FORMATS	2023	DBLP DOI BibTeX RDF
23	Haocheng Xiao, Sam Ainsworth 0001	Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
23	Mikki How-Wen Loo, Harikrishnan Ramiah, Ka-Meng Lei, Chee-Cheow Lim, Nai Shyan Lai, Pui-In Mak, Rui Paulo Martins	Fully-Integrated Timers for Ultra-Low-Power Internet-of-Things Nodes - Fundamentals and Design Techniques.	IEEE Access	2022	DBLP DOI BibTeX RDF
23	Haocheng Xiao, Sam Ainsworth 0001	Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers.	CoRR	2022	DBLP DOI BibTeX RDF
23	Robbert van der Mijn, Hedderik van Rijn	Attention Does Not Affect the Speed of Subjective Time, but Whether Temporal Information Guides Performance: A Large-Scale Study of Intrinsically Motivated Timers in a Real-Time Strategy Game.	Cogn. Sci.	2021	DBLP DOI BibTeX RDF
23	Loren Lugosch, Piyush Papreja, Mirco Ravanelli, Abdelwahab Heba, Titouan Parcollet	Timers and Such: A Practical Benchmark for Spoken Language Understanding with Numbers.	CoRR	2021	DBLP BibTeX RDF
23	Ferran Reverter, Manel Gasulla	Experimental study on the power consumption of timers embedded into microcontrollers.	I2MTC	2021	DBLP DOI BibTeX RDF
23	Thomas Rokicki, Clémentine Maurice, Pierre Laperdrix	SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers.	EuroS&P	2021	DBLP DOI BibTeX RDF
23	Ace Dimitrievski, Sonja Filiposka, Betim Çiço, Vladimir Trajkovik	Energy conservation using ultra low power timers for sustainable environmental monitoring.	MECO	2021	DBLP DOI BibTeX RDF
23	Wei Huang 0027, Shengjie Xu, Yueqiang Cheng, David Lie	Aion Attacks: Manipulating Software Timers in Trusted Execution Environment.	DIMVA	2021	DBLP DOI BibTeX RDF
23	Loren Lugosch, Piyush Papreja, Mirco Ravanelli, Abdelwahab Heba, Titouan Parcollet	Timers and Such: A Practical Benchmark for Spoken Language Understanding with Numbers.	NeurIPS Datasets and Benchmarks	2021	DBLP BibTeX RDF
23	Puneet Mathur, Rajiv Jain, Franck Dernoncourt, Vlad I. Morariu, Quan Hung Tran, Dinesh Manocha	TIMERS: Document-level Temporal Relation Extraction.	ACL/IJCNLP (2)	2021	DBLP DOI BibTeX RDF
23	Liang Zhou 0004, Sri Harsha Kondapalli, Kenji Aono, Shantanu Chakrabartty	Desynchronization of Self-Powered FN Tunneling Timers for Trust Verification of IoT Supply Chain.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
23	Shipra Shukla, Mahesh Kumar	Optimized MRAI Timers for Border Gateway Protocol in Large Networks.	Int. J. Distributed Syst. Technol.	2019	DBLP DOI BibTeX RDF
23	Sri Harsha Kondapalli, Liang Zhou 0004, Kenji Aono, Shantanu Chakrabartty	Long-term, Time-synchronized Temperature Monitoring using Self-Powered CMOS Timers.	MWSCAS	2019	DBLP DOI BibTeX RDF
23	Enrique Hernández-Orallo, Carlos Borrego, Carlos Miguel Tavares Calafate, Juan-Carlos Cano	Using Local Expiration Timers to Reduce Buffer Utilisation When Using Epidemic Diffusion.	GLOBECOM	2019	DBLP DOI BibTeX RDF
23	Robert Janowski, Michal Grabowski, Piotr Arabas	New Heuristics for TCP Retransmission Timers.	CORES	2019	DBLP DOI BibTeX RDF
23	M. H. Afifi, Liang Zhou 0004, Shantanu Chakrabartty, Jian Ren 0001	Dynamic Authentication Protocol Using Self-Powered Timers for Passive Internet of Things.	IEEE Internet Things J.	2018	DBLP DOI BibTeX RDF
23	M. H. Afifi, Liang Zhou 0004, Shantanu Chakrabartty, Jian Ren 0001	HPMAP: A Hash-Based Privacy-Preserving Mutual Authentication Protocol for Passive IoT Devices Using Self-Powered Timers.	ICC	2018	DBLP DOI BibTeX RDF
23	Ziwei Zhang, Peng Cui 0001, Jian Pei, Xiao Wang 0017, Wenwu Zhu 0001	TIMERS: Error-Bounded SVD Restart on Dynamic Networks.	AAAI	2018	DBLP DOI BibTeX RDF
23	James A. Boyle, Jeff S. Reeve, Alex S. Weddell	DiStiNCT: Synchronizing Nodes With Imprecise Timers in Distributed Wireless Sensor Networks.	IEEE Trans. Ind. Informatics	2017	DBLP DOI BibTeX RDF
23	Ziwei Zhang, Peng Cui 0001, Jian Pei, Xiao Wang 0017, Wenwu Zhu 0001	TIMERS: Error-Bounded SVD Restart on Dynamic Networks.	CoRR	2017	DBLP BibTeX RDF
23	Se-Wook Oh, Mason A. Porter	Complex Contagions with Timers.	CoRR	2017	DBLP BibTeX RDF
23	Michael Schwarz 0001, Clémentine Maurice, Daniel Gruss, Stefan Mangard	Fantastic Timers and Where to Find Them: High-Resolution Microarchitectural Attacks in JavaScript.	Financial Cryptography	2017	DBLP DOI BibTeX RDF
23	Zhiyong Zeng, Wen Tan, Rong Zhou	Computation of performance indices for generalized delay-timers.	ACC	2017	DBLP DOI BibTeX RDF
23	Diyi Yang, Robert E. Kraut, John M. Levine	Commitment of Newcomers and Old-timers to Online Health Support Communities.	CHI	2017	DBLP DOI BibTeX RDF
23	Guillaume Baudart, Timothy Bourke, Marc Pouzet	Symbolic Simulation of Dataflow Synchronous Programs with Timers.	FDL (Selected Papers)	2017	DBLP DOI BibTeX RDF
23	Guillaume Baudart, Timothy Bourke, Marc Pouzet	Symbolic simulation of dataflow synchronous programs with timers.	FDL	2017	DBLP DOI BibTeX RDF
23	Liang Zhou 0004, Shantanu Chakrabartty	Secure dynamic authentication of passive assets and passive IoTs using self-powered timers.	ISCAS	2017	DBLP DOI BibTeX RDF
23	Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho	Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
23	Zhiyong Zeng, Wen Tan, Rong Zhou	An alternative method to compute the expected detection delay for deadbands and delay-timers.	ICCA	2016	DBLP DOI BibTeX RDF
23	Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara	Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way).	WOOT	2016	DBLP BibTeX RDF
23	Liang Zhou 0004, Shantanu Chakrabartty	Self-powered sensing and time-stamping of rare events using CMOS Fowler-Nordheim tunneling timers.	ISCAS	2016	DBLP DOI BibTeX RDF
23	Satoshi Imai, Kenji Leibnitz, Masayuki Murata 0001	Statistical Approximation of Efficient Caching Mechanisms for One-Timers.	IEEE Trans. Netw. Serv. Manag.	2015	DBLP DOI BibTeX RDF
23	Andreas Frank, Fabian Schneider 0002, Alexander Meschtscherjakov, Julian Stadon	Advanced traffic light interface: countdown timers to increase user experience.	AutomotiveUI (adjunct)	2015	DBLP DOI BibTeX RDF
23	Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho	Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs.	EWiLi	2015	DBLP BibTeX RDF
23	Shankar Raman, Kamakoti Veezhinathan, Balaji Venkat, Gaurav Raina	Using timers to switch-off TCAM banks in routers.	IEEE ANTS	2013	DBLP DOI BibTeX RDF
23	Bruno Vidalenc, Ludovic Noirie, Samir Ghamri-Doudane, Eric Renault	Adaptive failure detection timers for IGP networks.	Networking	2013	DBLP BibTeX RDF
23	Joydeep Tripathi, Jaudelice Cavalcante de Oliveira	On adaptive timers for improved RPL operation in low-power and lossy sensor networks.	COMSNETS	2013	DBLP DOI BibTeX RDF