Search results for "Starvation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang	WRR-SCAN: a rate-based real-time disk-scheduling algorithm.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time disk-scheduling, real-time multimedia servers, weighted round-robin
11	Pedro Nuno Miranda de Sousa, Paulo Carvalho 0002, Vasco Freitas	Enhancing Delay Differentiation Semantics of Class-Based IP Networks.	HSNMC	2004	DBLP DOI BibTeX RDF
11	Sanjeewa Athuraliya, Harsha R. Sirisena	Protective Queue Management for TCP Friendly Flows.	HSNMC	2004	DBLP DOI BibTeX RDF
11	Taner Tuncer, Ali Karci	Determination of Packet Priority by Genetic Algorithm in the Packet Switching Networks.	KES	2004	DBLP DOI BibTeX RDF	Packet Priority, Genetic Algorithms, Packet Switching Network
11	Tiantong You, Hossam S. Hassanein, Chi-Hsiang Yeh	Controllable Fair QoS-Based MAC Protocols for Ad Hoc Wireless Networks.	ICPP Workshops	2004	DBLP DOI BibTeX RDF	QoS, fairness, Wireless ad hoc networks, medium access control, differentiated services
11	Mari Carmen Domingo, David Remondo	An interaction model between ad-hoc networks and fixed IP networks for QoS support.	MSWiM	2004	DBLP DOI BibTeX RDF	QoS, ad hoc networks, VoIP, DiffServ
11	Dongmei Wang, K. K. Ramakrishnan, Charles R. Kalmanek, Robert D. Doverspike, Aleksandra Smiljanic	Congestion Control in Resilient Packet Rings.	ICNP	2004	DBLP DOI BibTeX RDF
11	Mari Carmen Domingo, David Remondo	Quality of Service Support in Wireless Ad Hoc Networks Connected to Fixed DiffServ Domains. (PDF / PS)	PWC	2004	DBLP DOI BibTeX RDF
11	Jong-Un Yang, Jeong-Hyun Cho, Sang-Hyun Bae, In-Ho Ra	A TCP-Friendly Congestion Control Scheme Using Hybrid Approach for Reducing Transmission Delay of Real-Time Video Stream.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
11	Ronaldo M. Salles, Javier A. Barria	Fair Bandwidth Allocation for the Integration of Adaptive and Non-adaptive Applications.	SAPIR	2004	DBLP DOI BibTeX RDF
11	Mari Carmen Domingo, David Remondo	A Cooperation Model between Ad Hoc Networks and Fixed Networks for Service Differentiation.	LCN	2004	DBLP DOI BibTeX RDF
11	Pedro Nuno Miranda de Sousa, Paulo Carvalho 0002, Vasco Freitas	Scheduling Time-Sensitive IP Traffic.	MMNS	2003	DBLP DOI BibTeX RDF
11	Steven E. Raasch, Steven K. Reinhardt	The Impact of Resource Partitioning on SMT Processors.	IEEE PACT	2003	DBLP DOI BibTeX RDF
11	Abhik Roychoudhury, Tulika Mitra, S. R. Karri	Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol.	DATE	2003	DBLP DOI BibTeX RDF
11	Haitao Du, Marcos Sánchez-Élez, Nozar Tabrizi, Nader Bagherzadeh, Manuel L. Anido, Milagros Fernández	Interactive Ray Tracing on Reconfigurable SIMD MorphoSys.	DATE	2003	DBLP DOI BibTeX RDF
11	Brad Long, Benjamin W. Long	Formal Specification of Java Concurrency to Assist Software Verification.	IPDPS	2003	DBLP DOI BibTeX RDF
11	Nen-Fu Huang, Han-Chieh Chao, Reen-Cheng Wang, Whai-En Chen, Tzu-Fang Sheu	The Ipv6 Deployment and Projects in Taiwan.	SAINT Workshops	2003	DBLP DOI BibTeX RDF	Security, QoS, Mobility, testbed, IPv6
11	Bin Fu, James Broberg, Zahir Tari	Task Assignment Strategy for Overloaded Systems.	ISCC	2003	DBLP DOI BibTeX RDF
11	Ce-Kuen Shieh, Yu-Ben Miao, Ming-Qi Shieh, Wen-Shyang Hwang	Dynamic Fair Queuing (DFQ): A Novel Fair Scheduler Improving Wireless Transmission over Hybrid LANs.	ISCC	2003	DBLP DOI BibTeX RDF
11	Hsi-Wu Lo, Tei-Wei Kuo, Kam-yiu Lam	Multi-disk Scheduling for High-Performance RAID-0 Devices.	RTCSA	2003	DBLP DOI BibTeX RDF	RAID-0 devices, intelligent I/O, multimedia storage systems, multi-disk scheduling, real-time disk scheduling, I/O subsystems
11	Bahjat Qazzaz, Remo Suppi, Fernando Cores, Ana Ripoll, Porfidio Hernández, Emilio Luque	Providing Interactive Video on Demand Services in Distributed Architecture.	EUROMICRO	2003	DBLP DOI BibTeX RDF
11	Donghyun Kim, Bonghee Hong, Byunggu Yu, Eun Suk Hong	Validation-Based Reprocessing Scheme for Updating Spatial Data in Mobile Computing Environments.	AINA	2003	DBLP DOI BibTeX RDF
11	Milo M. K. Martin, Mark D. Hill, David A. Wood 0001	Token Coherence: Decoupling Performance and Correctness.	ISCA	2003	DBLP DOI BibTeX RDF
11	Alper Buyuktosunoglu, Tejas Karkhanis, David H. Albonesi, Pradip Bose	Energy Efficient Co-Adaptive Instruction Fetch and Issue.	ISCA	2003	DBLP DOI BibTeX RDF
11	Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau	Quasar: A New Tool for Concurrent Ada Programs Analysis.	Ada-Europe	2003	DBLP DOI BibTeX RDF
11	Thomas Arts, Clara Benac Earle, John Derrick	Verifying Erlang Code: A Resource Locker Case-Study.	FME	2002	DBLP DOI BibTeX RDF	Model checking, formal verification, process algebra, telecommunication, Erlang
11	Elvira Baydal, Pedro López 0001, José Duato	Congestion Control Based on Transmission Times.	Euro-Par	2002	DBLP DOI BibTeX RDF
11	Sam C. M. Lee, John C. S. Lui, David K. Y. Yau	Admission control and dynamic adaptation for a proportional-delay diffserv-enabled web server.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
11	Christophe Rippert, Jean-Bernard Stefani	THINK: a secure distributed systems architecture.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
11	Daqing Yang, Gouri Nair, Balaji Sivaramakrishnan, Harishkumar Jayakumar, Arunabha Sen	Round Robin with Look Ahead: A New Scheduling Algorithm for Bluetoot.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
11	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
11	Jiannong Cao 0001, Xianbing Wang, Jie Wu 0001	A Mobile Agent Enabled Fully Distributed Mutual Exclusion Algorithm.	Mobile Agents	2002	DBLP DOI BibTeX RDF
11	Byunghun Song, Kwangsue Chung, Yongtae Shin	SRTP: TCP-Friendly Congestion Control for Multimedia Streaming.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
11	Elisa Bertino, Barbara Catania, Elena Ferrari	A nested transaction model for multilevel secure database management systems.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	multilevel secure database management systems, concurrency control, covert channels, Nested transactions
11	William E. Wright	An Efficient Video-on-Demand Model.	Computer	2001	DBLP DOI BibTeX RDF
11	Mehmet Hakan Karaata	Self-Stabilizing Strong Fairness under Weak Fairness.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	strong fairness, schedulers, Distributed systems, fairness, self-stabilization
11	Bernd Girod, Niko Färber, Eckehard G. Steinbach	Adaptive playout for low latency video streaming.	ICIP (1)	2001	DBLP DOI BibTeX RDF
11	Niklas Johansson, Fredrik Alriksson, Ulf F. Jönsson	JUMP mode---a dynamic window-based scheduling framework for Bluetooth scatternets.	MobiHoc	2001	DBLP DOI BibTeX RDF	scheduling, ad hoc networks, Bluetooth, scatternet
11	Xiao Long Huang, Brahim Bensaou	On max-min fairness and scheduling in wireless ad-hoc networks: analytical framework and implementation.	MobiHoc	2001	DBLP DOI BibTeX RDF	per-link/per-flow fairness, scheduling, ad-hoc networks, distributed algorithms, admission control, max-min fairness
11	Jayadev Misra	A Programming Model for Wide-Area Computing.	FME	2001	DBLP DOI BibTeX RDF
11	Jørgen S. Hansen, Eric Jul	Prioritizing Network Event Handling in Clusters of Workstations.	Euro-Par	2001	DBLP DOI BibTeX RDF
11	Toshihiko Kato, Akira Idoue, Hidetoshi Yokota	Mobile IP Using Private IP Addresses.	ISCC	2001	DBLP DOI BibTeX RDF
11	Lennart Beringer	Typing Assembly Programs with Explicit Forwarding.	TACS	2001	DBLP DOI BibTeX RDF
11	Seok-Kyu Kweon, Kang G. Shin	Transmission of Aggregate VoD Streams Using Playback Rate.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF	playback rate, statistical traffic envelope, Video-on-Demand (VoD), MPEG
11	Wanghong Yuan, Klara Nahrstedt, Kihun Kim	R-EDF: A Reservation-Based EDF Scheduling Algorithm for Multiple Multimedia Task Classes.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
11	María del Carmen Carrión 0001, Gregorio Díaz 0001, María Blanca Caminero	Performance Issues of Deterministic and Adaptive Ghost-Packet Routers.	ICPP	2001	DBLP DOI BibTeX RDF	VLSI router de-sign, routing algorithms, k-ary n-cube networks
11	Michael L. Scott, William N. Scherer III	Scalable queue-based spin locks with timeout.	PPoPP	2001	DBLP DOI BibTeX RDF
11	Rameshbabu Prabagaran, Joseph B. Evans	Experiences with Class of Service (CoS) Translations in IP/MPLS Network.	LCN	2001	DBLP DOI BibTeX RDF
11	Andreas Almquist, Andreas Lindgren, Olov Schelén	Evaluation of Quality of Service Schemes for IEEE 802.11 Wireless LANs .	LCN	2001	DBLP DOI BibTeX RDF
11	Brahim Bensaou, Yu Wang 0007, Chi Chung Ko	Fair medium access in 802.11 based wireless ad-hoc networks.	MobiHoc	2000	DBLP DOI BibTeX RDF
11	Michael Merritt, Gadi Taubenfeld	Computing with Infinitely Many Processes.	DISC	2000	DBLP DOI BibTeX RDF
11	Salil S. Kanhere, Alpa B. Parekh, Harish Sethu	Fair and Efficient Packet Scheduling in Wormhole Networks.	IPDPS	2000	DBLP DOI BibTeX RDF	Fairness, Wormhole, Fair Scheduling, Fair Queuing
11	Anna Liu, Paddy Nixon	Distributed Systems Testing - Introduction.	HICSS	2000	DBLP DOI BibTeX RDF
11	Kourosh Gharachorloo, Madhu Sharma, Simon Steely, Stephen Van Doren	Architecture and design of AlphaServer GS320.	ASPLOS	2000	DBLP DOI BibTeX RDF
11	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
11	Taehyoun Kim, Naehyuck Chang, Namyun Kim, Heonshik Shin	Scheduling Garbage Collector for Embedded Real-Time Systems.	Workshop on Languages, Compilers, and Tools for Embedded Systems	1999	DBLP DOI BibTeX RDF
11	Ch'ng Shi Baw, Roger D. Chamberlain, Mark A. Franklin	Fair Scheduling in an Optical Interconnection Network.	MASCOTS	1999	DBLP DOI BibTeX RDF	Fair Scheduling, Optical Interconnection Networks
11	KyungOh Lee, Jin B. Kwon, Heon Young Yeom	Exploiting Caching for Realtime Multimedia Systems.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	Multimedia on Demand, Caching, Admission Control, Multimedia Server
11	Dmitry N. Zotkin, Peter J. Keleher	Job-Length Estimation and Performance in Backfilling Schedulers.	HPDC	1999	DBLP DOI BibTeX RDF
11	Eungab Kim, Mark P. Van Oyen	Dynamic scheduling to minimize lost sales subject to set-up costs.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	make-to-stock scheduling, CONWIP, set-up costs, heuristic policy, Markov decision process, closed queueing network
11	Nir Shavit, Eli Upfal, Asaph Zemach	A Steady State Analysis of Diffracting Trees.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
11	Lampros Kalampoukas, Anujan Varma, K. K. Ramakrishnan	Improving TCP Throughput over Two-Way Asymmetric Links: Analysis and Solutions.	SIGMETRICS	1998	DBLP DOI BibTeX RDF	TCP/IP
11	KyungOh Lee, Heon Young Yeom	Deciding Round Length and Striping Unit Size for Multimedia Servers.	Multimedia Information Systems	1998	DBLP DOI BibTeX RDF
11	Samir Ranjan Das, Richard Fujimoto	An Empirical Evaluation of Performance-Memory Trade-Offs in Time Warp.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	performance evaluation, Discrete event simulation, memory management, checkpointing, Time Warp, rollback, parallel and distributed simulation, virtual time
11	Albert John Camilleri	A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor.	TPHOLs	1997	DBLP DOI BibTeX RDF
11	Byung S. Yoo, Chita R. Das	Good Processor Management = Fast Allocation + Efficient Scheduling.	ICPP	1997	DBLP DOI BibTeX RDF	Group scheduling policy, processor management, stack-based allocation algorithm, operating systems, mesh-connected multicomputers
11	Xuemin Lin 0001, Jian Chen	An optimal deadlock resolution algorithm in multidatabase systems.	ICPADS	1996	DBLP DOI BibTeX RDF	global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
11	Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi	Semantic Workflow Interoperability.	EDBT	1996	DBLP DOI BibTeX RDF
11	Sumit Ghosh, Meng-Lin Yu	An Asynchronous Distributed Approach for the Simulation of Behavior-Level Models on Parallel Processors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
11	Chao-Ju Hou, Ching-Chih Han, Wun-Chun Chau	Priority-based high-speed switch scheduling for ATM networks.	LCN	1995	DBLP DOI BibTeX RDF	iterated switching networks, priority-based high-speed switch scheduling, AN2 switch, parallel iterative matching algorithm, maximal input-output matching, priority lists, input/output pairs, probability analysis, switch size, high QoS requirements, simulation, scheduling, parallel algorithms, computational complexity, asynchronous transfer mode, probability, local area networks, iterative methods, time complexity, ATM networks, iterations, switches, high-performance distributed computing
11	Yih-Kuen Tsay, Rajive L. Bagrodia	Fault-Tolerant Algorithms for Fair Interprocess Synchronization.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fair interprocess synchronization, binary interaction problem, strong fairness property, binary interactions, message cost, dining philosophers problem, distributed algorithms, fault tolerant computing, concurrency control, embedding, synchronisation, response time, fault-tolerant algorithms, asynchronous processes
11	Paul Ammann, Sushil Jajodia	An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads.	CCS	1994	DBLP DOI BibTeX RDF
11	Yih-Kuen Tsay, Rajive L. Bagrodia	An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem.	WDAG	1994	DBLP DOI BibTeX RDF	Strong, Fault-Tolerance, Synchronization, Resource Allocation, Lower Bounds, Fairness
11	Smaragda Konstantinidou	Segment Router: A Novel Router Design for Parallel Computers.	SPAA	1994	DBLP DOI BibTeX RDF
11	Shiwei Wang, Ugo O. Gagliardi	An Optomized Concurrency Control Algorithm for Transaction Brocessing.	SEKE	1992	DBLP DOI BibTeX RDF
11	Paul C. Attie, Nissim Francez, Orna Grumberg	Fairness and Hyperfairness in Multi-Party Interactions.	POPL	1990	DBLP DOI BibTeX RDF
11	Wenwey Hseush, Gail E. Kaiser	Modeling Concurrency in Parallel Debugging.	PPoPP	1990	DBLP DOI BibTeX RDF	DEBUG
11	Linda Rising	Tasking troubles and tips.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Ada
11	Linda Rising	Tasking troubles and tips (abstract).	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada
11	Ifen Yang, William Moloney	Concurrent reading and writing with replicated data objects.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
11	Asis Goswami, Mathai Joseph	Semancitcs of Real-time Distributed Programs.	Concurrency	1988	DBLP DOI BibTeX RDF
11	Lutz Priese	On the Existence of Fair Schedulers.	CSL	1988	DBLP DOI BibTeX RDF
11	Ziya Aral, Ilya Gertner	High-Level Debugging in Parasight.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
11	Leslie Lamport	The mutual exclusion problem: partII - statement and solutions.	J. ACM	1986	DBLP DOI BibTeX RDF
11	Daniel Lehmann 0001, Michael O. Rabin	On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.	POPL	1981	DBLP DOI BibTeX RDF
11	M. W. Shields, Peter E. Lauer	Verifying Concurrent System Specification in COSY.	MFCS	1980	DBLP DOI BibTeX RDF