Search results for "timers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Liang Zhou 0004, Pikul Sarkar, Shantanu Chakrabartty	Scavenging thermal-noise energy for implementing long-term self-powered CMOS timers.	ISCAS	2013	DBLP DOI BibTeX RDF
23	Joachim Fabini, Michael Hirschbichler, Jiri Kuthan, Werner Wiedermann	Mobile SIP: An Empirical Study on SIP Retransmission Timers in HSPA 3G Networks.	EUNICE	2013	DBLP DOI BibTeX RDF
23	Rajvir Gill, Ravinder Paul, Ljiljana Trajkovic	Effect of MRAI timers and routing policies on BGP convergence times.	IPCCC	2012	DBLP DOI BibTeX RDF
23	Bogdan Aman, Gabriel Ciobanu, Maciej Koutny	Behavioural Equivalences over Migrating Processes with Timers.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
23	Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001	Formalisation and verification of programmable logic controllers timers in Coq.	IET Softw.	2011	DBLP DOI BibTeX RDF
23	Antônio Augusto Fröhlich, Giovani Gracioli, João Felipe Santos	Periodic timers revisited: The real-time embedded system perspective.	Comput. Electr. Eng.	2011	DBLP DOI BibTeX RDF
23	Bhanu Chandra Vattikonda, Sambit Das, Hovav Shacham	Eliminating fine grained timers in Xen.	CCSW	2011	DBLP DOI BibTeX RDF
23	András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.	QEST	2011	DBLP DOI BibTeX RDF	Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
23	Maria Pohronska, Tibor Krajcovic	FPGA implementation of multiple hardware watchdog timers for enhancing real-time systems security.	EUROCON	2011	DBLP DOI BibTeX RDF
23	Alireza Attar, Natasha Devroye, Haoming Li 0001, Victor C. M. Leung	A Unified Scheduling Framework Based on Virtual Timers for Selfish-Policy Shared Spectrum.	ICC	2010	DBLP DOI BibTeX RDF
23	Gabriel Ciobanu, Calin Juravle	Mobile Agents with Timers, and Their Implementation.	IDC	2010	DBLP DOI BibTeX RDF
23	Raul Barbosa	Monitoring Local Progress with Watchdog Timers Deduced from Global Properties.	SRDS	2010	DBLP DOI BibTeX RDF	watchdogs, fault tolerance, distributed systems, model checking, intrusion tolerance, online monitoring
23	Bogdan Aman, Gabriel Ciobanu	Mutual Mobile Membranes with Timers	COMPMOD	2009	DBLP DOI BibTeX RDF
23	Michael Kuperberg, Martin Krogmann, Ralf H. Reussner	TimerMeter: Quantifying Properties of Software Timers for System Analysis.	QEST	2009	DBLP DOI BibTeX RDF	invocation cost, timer method, software timer, accuracy, resolution, precision, Timer
23	Anthony Lambert, Marc-Olivier Buob, Steve Uhlig	Improving internet-wide routing protocols convergence with MRPC timers.	CoNEXT	2009	DBLP DOI BibTeX RDF
23	Øyvind Teig, Per Johan Vannebo	New ALT for Application Timers and Synchronisation Point Scheduling (Two excerpts from a small channel based scheduler).	CPA	2009	DBLP DOI BibTeX RDF
23	Tim Martin, Jon M. Houck, Dubravko Kicic, Claudia D. Tesche	Interval timers and coupled oscillators both mediate the effect of temporally structured cueing.	NeuroImage	2008	DBLP DOI BibTeX RDF
23	Fang Wang, Shanzhi Chen, Xin Li 0063, Yuhong Li	A Route Flap Suppression Mechanism Based on Dynamic Timers in OSPF Network.	ICYCS	2008	DBLP DOI BibTeX RDF
23	Manuel Ortiz, María Brox, Francisco Javier Quiles-Latorre, Andrés Gersnoviez, Carlos Diego Moreno-Moreno, M. Montijano	Using soft processors for component design in SOC: A case-study of timers.	SoC	2008	DBLP DOI BibTeX RDF
23	Felix Espina, Daniel Morató, Mikel Izal, Eduardo Magaña	The effect of burst formation timers on video streaming over optical burst switched networks.	BROADNETS	2008	DBLP DOI BibTeX RDF
23	Ioannis Psaras, Vassilis Tsaoussidis	Why TCP timers (still) don't work well.	Comput. Networks	2007	DBLP DOI BibTeX RDF
23	Andreea Maria Picu, Antoine Fraboulet, Eric Fleury	On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies	CoRR	2007	DBLP BibTeX RDF
23	Gabriel Ciobanu, Cristian Prisacariu	Coordination by Timers for Channel-Based Anonymous Communications.	FOCLASA	2006	DBLP DOI BibTeX RDF
23	Gabriel Ciobanu, Cristian Prisacariu	Timers for Distributed Systems.	QAPL	2006	DBLP DOI BibTeX RDF
23	Juan Carlos Gomez, Jorge R. Ramos, Vernon Rego	Signals, timers, and continuations for multithreaded user-level protocols.	Softw. Pract. Exp.	2006	DBLP DOI BibTeX RDF
23	Steve Donovan, Jonathan D. Rosenberg	Session Timers in the Session Initiation Protocol (SIP).	RFC	2005	DBLP DOI BibTeX RDF
23	M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko	Timing Fault Models for Systems with Multiple Timers.	TestCom	2005	DBLP DOI BibTeX RDF	Timer Constraints, Fault Modeling, Timed Automata, Conformance Testing, Multiple Faults
23	Shivani Deshpande, Biplab Sikdar 0001	On the impact of route processing and MRAI timers on BGP convergence times.	GLOBECOM	2004	DBLP DOI BibTeX RDF
23	Michael González Harbour, Mario Aldea Rivas	Managing multiple execution-time timers from a single task.	IRTAW	2003	DBLP DOI BibTeX RDF
23	Xiao Xu, Yi-Chiun Chen, Hua Xu, Eren Gonen, Peijuan Liu	Parallel and distributed systems: simulation analysis of RLC timers in UMTS systems.	WSC	2002	DBLP DOI BibTeX RDF
23	Merav Shomrony, Uri Yechiali	Burst arrival queues with server vacations and random timers.	Math. Methods Oper. Res.	2001	DBLP DOI BibTeX RDF
23	Joanne O. Crawford, Chris Taylor, Nicolas Li Wan Po	A Case Study of On-Screen Prototypes and Usability Evaluation of Electronic Timers and Food Menu Systems.	Int. J. Hum. Comput. Interact.	2001	DBLP DOI BibTeX RDF
23	Rohit Dube	Scalable Hierarchical Coarse-grained Timers.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
23	Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale	Test Generation in the Presence of Conflicting Timers.	TestCom	2000	DBLP BibTeX RDF
23	Richard E. Matick	Modular nets (MNETS): A modular design methodology for computer timers.	IBM J. Res. Dev.	1998	DBLP DOI BibTeX RDF
23	Anne Bergeron	On the Rational Behaviors of Concurrent Timers.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
23	Puneet Sharma, Deborah Estrin, Sally Floyd, Van Jacobson	Scalabel Timers for Soft State Protocols.	INFOCOM	1997	DBLP DOI BibTeX RDF
23	Sorel Reisman	Old-Timers and Upstarts Chime in with New Telephony Products.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
23	Kin K. Leung, David M. Lucantoni	Two Vacation Models for Token-Ring Networks where Service is Controlled by Timers.	Perform. Evaluation	1994	DBLP DOI BibTeX RDF
23	Evgenii I. Volkov, Maksim N. Stolyarov	Temporal variability in a system of coupled mitotic timers.	Biol. Cybern.	1994	DBLP DOI BibTeX RDF
23	Stefan Savage, Hideyuki Tokuda	Real Time - Mach Timers: Exporting Time to the User.	USENIX MACH Symposium	1993	DBLP BibTeX RDF
23	Pat Helland, Harald Sammer, Jim Lyon, Richard Carr, Phil Garrett, Andreas Reuter 0001	Group Commit Timers and High Volume Transaction Systems.	HPTS	1987	DBLP DOI BibTeX RDF
12	Gianpaolo Cugola, Alessandro Margara	TESLA: a formally defined event specification language.	DEBS	2010	DBLP DOI BibTeX RDF
12	Laura Carnevali, Leonardo Grassi, Enrico Vicario	State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
12	Yu Zhang, Bharat K. Bhargava	Self-Learning Disk Scheduling.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
12	Matthias Daum 0001, Jan Dörrenbächer, Burkhart Wolff	Proving Fairness and Implementation Correctness of a Microkernel Scheduler.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL
12	Pascale Minet, Saoucene Mahfoudh	Cross layering in wireless sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	node activity scheduling, wireless sensor networks, energy efficiency, cross layer, OLSR, energy efficient routing
12	Vijay Vasudevan, Amar Phanishayee, Hiral Shah, Elie Krevat, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Brian Mueller	Safe and effective fine-grained TCP retransmissions for datacenter communication.	SIGCOMM	2009	DBLP DOI BibTeX RDF	datacenter networks, incast, performance, throughput
12	Riccardo Poli, Nicholas Freitag McPhee	Introduction to genetic programming.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, genetic programming, gp, evolutionary computation
12	Kwangok Jeong, Andrew B. Kahng, Hailong Yao	Revisiting the linear programming framework for leakage power vs. performance optimization.	ISQED	2009	DBLP DOI BibTeX RDF
12	Tuan-Dung Nguyen, Thaere Eido, Tülin Atmaca	DCUM: dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks.	SimuTools	2009	DBLP DOI BibTeX RDF	fixed-size optical payloads, quality of service (QoS) management, synchronous optical packet switching (OPS) networks, simulation
12	Paolo Medagliani, Gianluigi Ferrari 0001, Gianpietro Germi, Fabio Cappelletti	Simulation-assisted analysis and design of STP-based networks.	SimuTools	2009	DBLP DOI BibTeX RDF
12	George Xylomenos, Michael Makidis	Link Layer Adaptation for Shared Wireless Links.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	adaptive selective repeat, radio link control, link layer protocols
12	Jens Doleschal, Andreas Knüpfer, Matthias S. Müller, Wolfgang E. Nagel	Internal Timer Synchronization for Parallel Event Tracing.	PVM/MPI	2008	DBLP DOI BibTeX RDF	performance analysis, clock synchronization, Event tracing
12	Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu	Using Soft-Line Recursive Response to Improve Query Aggregation in Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
12	Debasish Das, Kip Killpack, Chandramouli V. Kashyap, Abhijit Jas, Hai Zhou 0001	Pessimism reduction in coupling-aware static timing analysis using timing and logic filtering.	ASP-DAC	2008	DBLP DOI BibTeX RDF
12	Nityananda Sarma, Aditya Singh, Sukumar Nandi	A Strict Priority Based QoS-Aware MAC Protocol for Mobile Ad Hoc Networks.	ICDCIT	2008	DBLP DOI BibTeX RDF	Real-time and best-effort traffic, Quality of Service (QoS), Mobile Ad Hoc Networks (MANETs), Medium Access Control
12	Qiming Chen, Meichun Hsu	Data-Continuous SQL Process Model.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
12	Marina Biberstein, Yuval Harel, Andre Heilper	Clock Synchronization in Cell BE Traces.	Euro-Par	2008	DBLP DOI BibTeX RDF
12	Chieh-Jan Mike Liang, Razvan Musaloiu-Elefteri, Andreas Terzis	Typhoon: A Reliable Data Dissemination Protocol for Wireless Sensor Networks.	EWSN	2008	DBLP DOI BibTeX RDF
12	Andreas Grau, Steffen Maier, Klaus Herrmann 0001, Kurt Rothermel	Time Jails: A Hybrid Approach to Scalable Network Emulation.	PADS	2008	DBLP DOI BibTeX RDF
12	Osmar Marchi dos Santos, Andy J. Wellings	Run Time Detection of Blocking Time Violations in Real-Time Systems.	RTCSA	2008	DBLP DOI BibTeX RDF
12	Satish Kharat, Rajeev Mishra, Ranadip Das, Srikanth Vishwanathan	Migration of software partition in UNIX system.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF
12	Pierre Sens 0001, Luciana Arantes, Mathieu Bouillaguet, Véronique Simon, Fabíola Greve	An Unreliable Failure Detector for Unknown and Mobile Networks.	OPODIS	2008	DBLP DOI BibTeX RDF
12	Bogdan Aman, Gabriel Ciobanu	Timed Mobile Ambients for Network Protocols.	FORTE	2008	DBLP DOI BibTeX RDF
12	Daniel Becker 0001, Rolf Rabenseifner, Felix Wolf 0001	Implications of non-constant clock drifts for the timestamps of concurrent events.	CLUSTER	2008	DBLP DOI BibTeX RDF
12	Ping Ji 0002, Zihui Ge, Jim Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	communication system signaling, hard-state, performance evaluation, soft-state
12	Avishag Gordon	Transient and continuant authors in a research field: The case of terrorism.	Scientometrics	2007	DBLP DOI BibTeX RDF
12	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan	A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.	ISORC	2007	DBLP DOI BibTeX RDF	Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader
12	Eric C. Noel, Carolyn R. Johnson	Initial Simulation Results That Analyze SIP Based VoIP Networks Under Overload.	ITC	2007	DBLP DOI BibTeX RDF	SIP signaling congestion control, internal overload controls, external overload controls, simulation, throughput, goodput
12	Jordi Mongay Batalla, Robert Janowski	Provisioning Dedicated Class of Service for Reliable Transfer of Signaling Traffic.	ITC	2007	DBLP DOI BibTeX RDF	setup latency, QoS, SIP, Signaling, Class of Service
12	Luigi Sassoli, Enrico Vicario	Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.	QEST	2007	DBLP DOI BibTeX RDF
12	Siddharth Choudhuri, Tony Givargis	System Architecture for Software Peripherals.	ASP-DAC	2007	DBLP DOI BibTeX RDF	user-level tasks, software peripherals, MIPS processor, design methodology, system architecture, design alternative, scheduling scheme, general purpose processors
12	Martin Berger 0001, Nobuko Yoshida	Timed, Distributed, Probabilistic, Typed Processes.	APLAS	2007	DBLP DOI BibTeX RDF
12	George Xylomenos, Michael Makidis	Adaptive link layer protocols for shared wireless links.	MobiMedia	2007	DBLP DOI BibTeX RDF	selective repeat, UMTS, link layer, RLC
12	Siwaruk Siwamogsatham	Improving CSMA for WLANs via Piggybacking and Scheduled Backoff Mechanisms.	FGCN (1)	2007	DBLP DOI BibTeX RDF
12	Dylan Stark, Gabrielle Allen, Tom Goodale, Thomas Radke, Erik Schnetter	An Extensible Timing Infrastructure for Adaptive Large-Scale Applications.	PPAM	2007	DBLP DOI BibTeX RDF
12	Antonio Fernández Anta, Michel Raynal	From an Intermittent Rotating Star to a Leader.	OPODIS	2007	DBLP DOI BibTeX RDF	Assumption coverage, Eventual t-source, Moving source, Timely link, Fault-tolerance, Distributed algorithm, System model, Asynchronous system, Failure detector, Process crash, Partial synchrony, Omega, Message pattern, Eventual leader
12	Robert J. Hall 0001	Rteq: modeling and validating infinite-state hard-real-time systems.	ASE	2007	DBLP DOI BibTeX RDF	GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time
12	Kyriakos Vlachos	Burstification effect on the TCP synchronization and congestion window mechanism.	BROADNETS	2007	DBLP DOI BibTeX RDF
12	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	Handling Temporal Faults in Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
12	Mario Aldea Rivas, José F. Ruiz	Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Real-Time Systems, Compilers, POSIX, Ada 2005
12	Stephan Bohacek, João Pedro Hespanha, Junsoo Lee, Chansook Lim, Katia Obraczka	A new TCP for persistent packet reordering.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	congestion control, TCP/IP, transport protocols, packet reordering
12	Aad P. A. van Moorsel, Katinka Wolter	Analysis of Restart Mechanisms in Software Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	time-out, performance and reliability modeling, adaptive systems, fault-tolerant systems, self-management, software rejuvenation, Restart, completion time
12	Tony Spiteri Staines	Using a Timed Petri Net (TPN) to Model a Bank ATM.	ECBS	2006	DBLP DOI BibTeX RDF
12	Xiaotong Zhuang, Santosh Pande	Effective thread management on network processors with compiler analysis.	LCTES	2006	DBLP DOI BibTeX RDF	real-time scheduling, compiler optimizations, network processors, CPU scheduling
12	Xue-Yu Hong, Ling Zhang, Jinlong Hu	New Scheme of Implementing Real-Time Linux.	ICSEA	2006	DBLP DOI BibTeX RDF	real-time Linux, timer mechanism, interrupt handler
12	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
12	Lynnell Lacy, Laurie A. Sutch	Working collaboratively in the big ten and beyond.	SIGUCCS	2006	DBLP DOI BibTeX RDF	human networking, collaborating, training, partnering
12	Lijun Wang, Ke Xu 0002, Jianping Wu	A Variation of Route Flap Damping to Improve BGP Routing Convergence.	IWQoS	2006	DBLP DOI BibTeX RDF
12	Gerald Wagenknecht, Daniel Dietterle, Jean-Pierre Ebert, Rolf Kraemer	Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations.	EWSN	2006	DBLP DOI BibTeX RDF
12	Tai Hyo Kim, Sung Deok Cha	Timed High-Level Message Sequence Charts for Real-Time System Design.	SAM	2006	DBLP DOI BibTeX RDF
12	Guang Lu, YongChao Wang, Miaoliang Zhu	XRMCCP: A XCP Framework Based Reliable Multicast Transport Protocol.	ICNC (2)	2006	DBLP DOI BibTeX RDF
12	Bin Yu 0010, Cha Zhang, Yong Rui, Klara Nahrstedt	A Three-Layer Virtual Director Model for Supporting Automated Multi-Site Distributed Education.	ICME	2006	DBLP DOI BibTeX RDF
12	Greg Hoover, Forrest Brewer, Timothy Sherwood	A case study of multi-threading in the embedded space.	CASES	2006	DBLP DOI BibTeX RDF	multi-threading, embedded architecture
12	Venkata Nishanth Lolla, Lap Kong Law, Srikanth V. Krishnamurthy, Chinya V. Ravishankar, Dharmaiah Manjunath	Detecting MAC Layer Back-off Timer Violations in Mobile Ad Hoc Networks.	ICDCS	2006	DBLP DOI BibTeX RDF
12	Nicholas Jun Hao Ip, Stephen A. Edwards	A Processor Extension for Cycle-Accurate Real-Time Software.	EUC	2006	DBLP DOI BibTeX RDF
12	Sven Magg, Andrew Philippides	GasNets and CTRNNs - A Comparison in Terms of Evolvability.	SAB	2006	DBLP DOI BibTeX RDF
12	José Rufino, Paulo Veríssimo, Carlos Almeida 0002, Guilherme Arroz	Integrating Inaccessibility Control and Timer Management in CANELy.	ETFA	2006	DBLP DOI BibTeX RDF
12	Nicola Blefari-Melazzi, Mauro Femminella, F. Pugini	A Layer 3 Movement Detection Algorithm Driving Handovers in Mobile IP.	Wirel. Networks	2005	DBLP DOI BibTeX RDF	Mobile IP handover, movement detection, overlapping coverage areas, cell switching