Search results for "timers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	André Günther, Christian Hoene	Measuring Round Trip Times to Determine the Distance Between WLAN Nodes.	NETWORKING	2005	DBLP DOI BibTeX RDF
12	Raymond T. Boute, Andreas Schäfer 0001	The Timer Cascade: Functional Modelling and Real Time Calculi.	ICTAC	2005	DBLP DOI BibTeX RDF
12	Yun Li 0001, Weiliang Zhao, Keping Long, Qianbin Chen	A New Backoff Algorithm to Improve the Performance of IEEE 802.11 DCF.	MSN	2005	DBLP DOI BibTeX RDF
12	Javier Munoz Kirschberg, Marta Solera Delgado, Sebastià Sallent Ribes	RCCMP: A TCP-Friendly Reliable Multicast Transport Protocol.	ISCC	2005	DBLP DOI BibTeX RDF
12	Chih-Chieh Han, Ram Kumar 0001, Roy Shea, Eddie Kohler, Mani B. Srivastava	A dynamic operating system for sensor nodes.	MobiSys	2005	DBLP DOI BibTeX RDF
12	Robert Bestak	Performance Analysis of MAC-hs Protocol.	ICN (1)	2005	DBLP DOI BibTeX RDF
12	Michael W. Totaro, Dmitri D. Perkins	Using statistical design of experiments for analyzing mobile ad hoc networks.	MSWiM	2005	DBLP DOI BibTeX RDF	statistical design of experiments, performance evaluation, mobile ad hoc networks
12	Beichuan Zhang 0001, Dan Pei, Daniel Massey, Lixia Zhang 0001	Timer Interaction in Route Flap Damping.	ICDCS	2005	DBLP DOI BibTeX RDF
12	Zhi Li 0013, Yu-Kwong Kwok	A New Approach to Local Route Recovery for Multihop TCP in Ad Hoc Wireless Networks.	NPC	2004	DBLP DOI BibTeX RDF	routing, ad hoc networks, local recovery, wireless TCP, multihop communications
12	Anja Feldmann, Hongwei Kong, Olaf Maennel, Alexander Tudor	Measuring BGP Pass-Through Times.	PAM	2004	DBLP DOI BibTeX RDF
12	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
12	Scott Pakin	Reproducible Network Benchmarks with coNCePTuaL.	Euro-Par	2004	DBLP DOI BibTeX RDF
12	Chandu Visweswariah	Statistical analysis and design: from picoseconds to probabilities.	SBCCI	2004	DBLP DOI BibTeX RDF
12	April Krukowski, Mark Reynolds	Students as service champions: a success story.	SIGUCCS	2004	DBLP DOI BibTeX RDF	second-level, management, support, students, staffing, helpdesk
12	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
12	Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo	An Efficient Time-Based Checkpointing Protocol for Mobile Computing Systems over Mobile IP.	Mob. Networks Appl.	2003	DBLP DOI BibTeX RDF	checkpointing and rollback-recovery, fault tolerance, mobile computing
12	Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne	Hybrid Acceleration Using Real Vector Automata (Extended Abstract).	CAV	2003	DBLP DOI BibTeX RDF
12	Mario Aldea Rivas, Michael González Harbour	Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms.	ECRTS	2003	DBLP DOI BibTeX RDF
12	Ping Ji 0002, Zihui Ge, James F. Kurose, Donald F. Towsley	A comparison of hard-state and soft-state signaling protocols.	SIGCOMM	2003	DBLP DOI BibTeX RDF	hard-state, signaling, soft-state
12	Eddy Caron, Frederic Desprez, Franck Petit, Vincent Villain	A Hierarchical Resource Reservation Algorithm for Network Enabled.	IPDPS	2003	DBLP DOI BibTeX RDF	Network Enabled Servers, Distributed computing, Resource Reservation, hierarchical scheduling
12	Yixin Jin, Beichuan Zhang 0001, Vasileios Pappas, Lixia Zhang 0001, Sugih Jamin	DIP: Distance Information Protocol for IDMaps.	ISCC	2003	DBLP DOI BibTeX RDF
12	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Synchronous Closing and Flow Analysis for Model Checking Timed Systems.	FMCO	2003	DBLP DOI BibTeX RDF
12	Olof Hagsand, Ian Marsh, Kjell Hanson	Sics ophone: A low-delay Internet telephony tool.	EUROMICRO	2003	DBLP DOI BibTeX RDF	Packet voice, playout buffer adaption, operating systems
12	Stephan Bohacek, João P. Hespanha 0001, Junsoo Lee, Chansook Lim, Katia Obraczka	TCP-PR: TCP for Persistent Packet Reorderin.	ICDCS	2003	DBLP DOI BibTeX RDF
12	Rickard Holsmark, Magnus Högberg, Shashi Kumar	Modelling and Evaluation of a Network on Chip Architecture Using SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF
12	Javier Miranda, Michael González Harbour	A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT
12	Aaron Striegel, G. Manimaran	Edge-Based Fault Detection in a DiffServ Network.	DSN	2002	DBLP DOI BibTeX RDF	Multicasting, Fault detection, Differentiated Services, Link state routing
12	Xiaoyuan Gu, Hannes Hartenstein, Stefan Fischer 0001	A Robust Header Compression Simulator & Visualizer.	ARCS	2002	DBLP DOI BibTeX RDF
12	Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo	An Efficient Time-Based Checkpointing Protocol for Mobile Computing Systems over Wide Area Networks (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
12	Luca Abeni, Ashvin Goel, Charles Krasic, Jim Snow, Jonathan Walpole	A Measurement-Based Analysis of the Real-Time Performance of Linux.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF
12	Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman	Observing timed systems by means of message sequence chart graphs.	ICSE	2002	DBLP DOI BibTeX RDF
12	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
12	Vishal Aslot, Rudolf Eigenmann	Performance characteristics of the SPEC OMP2001 benchmarks.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
12	Ho-Yen Chang, Shyhtsun Felix Wu, Y. Frank Jou	Real-time protocol analysis for detecting link-state routing protocol attacks.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	OSPF attacks, knowledge-based IDS, link-state routing protocol security, real-time misuse intrusion detection, real-time network protocol analysis, timed finite state machine, event correlation
12	Natalia Ioustinova, Natalia Sidorova	A Transformation of SDL Specifications - A Step towards the Verification.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
12	Joseph V. Elarde, Gregory B. Brewster	WEBARM: Mobile Code Based Agent for Web Application Response Measurement - Software Implementations and Analysis.	MMNS	2001	DBLP DOI BibTeX RDF
12	Aaron G. Cass, Leon J. Osterweil	Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper.	EWSPT	2001	DBLP DOI BibTeX RDF
12	Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat	A New UML Profile for Real-Time System Formal Design and Validation.	UML	2001	DBLP DOI BibTeX RDF
12	Jörg Widmer, Mark Handley	Extending equation-based congestion control to multicast applications.	SIGCOMM	2001	DBLP DOI BibTeX RDF	single-rate, suppression, multicast, congestion control, feedback, TCP-friendliness
12	Anindya Basu, Jon G. Riecke	Stability issues in OSPF routing.	SIGCOMM	2001	DBLP DOI BibTeX RDF
12	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
12	Chi Zhang 0006, Vassilios Tsaoussidis	TCP-real: improving real-time capabilities of TCP over heterogeneous networks.	NOSSDAV	2001	DBLP DOI BibTeX RDF
12	Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente	Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.	Ada-Europe	2001	DBLP DOI BibTeX RDF
12	Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins	An Algorithm for Tolerating Crash Failures in Distributed Systems.	ECBS	2000	DBLP DOI BibTeX RDF	Fault Tolerance, Distributed Systems, Distributed Algorithms, Software-Implemented Fault Tolerance
12	Markus Rehfeldt, Klaus Turowski	Business Models for Coordinating Next Generation Enterprises.	AIWoRC	2000	DBLP DOI BibTeX RDF	Inter-company coordination, Softcomputing, business to business E-Commerce, software component, production network, intelligent software agent
12	Angelika Mader, Hanno Wupper	Timed automaton models for simple programmable logic controllers.	ECRTS	1999	DBLP DOI BibTeX RDF
12	Nisse Husberg, Tapio Manner	Emma: Developing an Industrial Reachability Analyser for SDL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
12	Yoshitomo Ikkai, Kazuhisa Ikeda, Norihisa Komoda, Akira Yamane, Isao Tone	Sequential Control Logic Inferring Method from Observed Plant I/O Data.	IDA	1999	DBLP DOI BibTeX RDF
12	Mario Gerla, Ken Tang, Rajive L. Bagrodia	TCP Performance in Wireless Multi-hop Networks.	WMCSA	1999	DBLP DOI BibTeX RDF	FAMA, MACAW, GloMoSim, TCP Performance in Wireless Multi-hop Networks, ad-hoc network, wireless, TCP, multi-hop, CSMA, capture
12	Wanjiun Liao, De-Nian Yang	Receiver-Initiated Group Membership Protocol (RGMP): A New Group Management Protocol for IP Multicasting.	ICNP	1999	DBLP DOI BibTeX RDF	group management protocol, RGMP, IP multicast, IGMP
12	George Apostolopoulos, Roch Guérin, Sanjay Kamat, Satish K. Tripathi	Quality of Service Based Routing: A Performance Perspective.	SIGCOMM	1998	DBLP DOI BibTeX RDF	path pre-computation, performance evaluation, QoS routing, link state routing
12	Suchitra Raman, Steven McCanne, Scott Shenker	Asymptotic Behavior of Global Recovery in SRM.	SIGMETRICS	1998	DBLP DOI BibTeX RDF
12	Thierry Cattel	Modeling and Verification of SC++ Applications.	TACAS	1998	DBLP DOI BibTeX RDF
12	Piotr Kosiuczenko	Time in Message Sequence Charts: A Formal Approach (Extended Abstract).	Euro-Par	1997	DBLP DOI BibTeX RDF
12	Ching-Chuan Chiang, Mario Gerla, Lixia Zhang 0001	Shared Tree Wireless Network Multicast.	ICCCN	1997	DBLP DOI BibTeX RDF	Hard state, Soft Stat, Clustering, Routing, Multicast, Multihop Wireless Networks
12	Lifan Gu, J. J. Garcia-Luna-Aceves	New Error Recovery Structures for Reliable Multicasting.	ICCCN	1997	DBLP DOI BibTeX RDF	Tree NAK avoidance, Hybrid Structure, Ring, Reliable Multicast
12	Ernst-Rüdiger Olderog, Henning Dierks	Decomposing Real-Time Specifications.	COMPOS	1997	DBLP DOI BibTeX RDF
12	David Cypher, Shukri Wakid	Nomadic Computing and CDMA.	FTDCS	1997	DBLP DOI BibTeX RDF
12	Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho	Using On-The-Fly Verification Techniques for the Generation of test Suites.	CAV	1996	DBLP DOI BibTeX RDF
12	Vijay S. Iyengar, Louise Trevillyan, Pradip Bose	Representative Traces for Processor Models with Infinite Cache.	HPCA	1996	DBLP DOI BibTeX RDF	dynamic traces, performance evaluation, timer, processor design
12	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
12	David Lee 0001, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar	Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme.	ICNP	1996	DBLP DOI BibTeX RDF
12	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Context-Free Timed Systems Using Linear Hybrid Observers.	CAV	1994	DBLP DOI BibTeX RDF
12	Kin K. Leung	An Execution/Sleep Scheduling Policy for Serving an Additional Job in Priority Queueing Systems.	J. ACM	1993	DBLP DOI BibTeX RDF	server vacation models, time-limited service, performance evaluation, response times, priority queues, waiting times
12	Bernhard Steffen, Carsten Weise	Deciding Testing Equivalence for Real-Time Processes with Dense Time.	MFCS	1993	DBLP DOI BibTeX RDF
12	Gerard Tel	Assertional Verification of a Timer Based Protocol.	ICALP	1988	DBLP DOI BibTeX RDF	protocol skeleton, assertional proof, time, connection management, end-to-end protocol