Search results for "FIFO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Tetsuo Hironaka, Takashi Hashimoto, Keizo Okazaki, Kazuaki J. Murakami, Shinji Tomita	Benchmarking a vector-processor prototype based on multithreaded streaming/FIFO vector (MSFV) architecture.	ICS	1992	DBLP DOI BibTeX RDF
34	Hagit Attiya	Implementing FIFO Queus and Stacks (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
34	Thierry Jéron	Testing for Unboundedness of FIFO Channels.	STACS	1991	DBLP DOI BibTeX RDF
34	Christoph Roser, Masaru Nakano	Guidelines for the Selection of FIFO Lanes and Supermarkets for Kanban-Based Pull Systems - When to Use a FIFO and When to Use a Supermarket.	APMS (2)	2015	DBLP DOI BibTeX RDF
34	Josef Schneider, Jorgen Peddersen, Sri Parameswaran	MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis.	DAC	2014	DBLP DOI BibTeX RDF
34	Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer	How FIFO is your concurrent FIFO queue?	RACES@SPLASH	2012	DBLP DOI BibTeX RDF
34	Gérard Memmi, Alain Finkel	An Introduction to Fifo Nets-Monogeneous Nets: A Subclass of Fifo Nets.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
33	Debora Matos, Caroline Concatto, Luigi Carro, Fernanda Lima Kastensmidt, Altamiro Amadeu Susin	The Need for Reconfigurable Routers in Networks-on-Chip.	ARC	2009	DBLP DOI BibTeX RDF	heterogeneous NoC, reconfigurable router, buffer, FIFO
33	Guangzhong Sun, Yipeng Zhou, Yu Huang 0002, Yinghua Zhou	Adaptive Scheduling Strategy for Data Stream Management System.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	chain scheduling, scheduling, FIFO, Data stream management system, adaptive strategy
33	Suman Roy 0001	Symbolic Verification of Infinite Systems using a Finite Union of DFAs.	SEFM	2004	DBLP DOI BibTeX RDF	Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues
33	Montek Singh, Steven M. Nowick	High-Throughput Asynchronous Pipelines for Fine-Grain Dynamic Datapaths.	ASYNC	2000	DBLP DOI BibTeX RDF	fine-grain pipelining, VLSI, pipelines, asynchronous, dynamic logic, FIFO, high-throughput, digital design
33	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
33	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
33	Jin Li, Chuan-lin Wu	A novel architecture for an ATM switch.	ICCD	1995	DBLP DOI BibTeX RDF	multicast function, shared-buffer ATM switch, first-in and first-out shared buffer, FIFO address queue, cell-loss performance, performance evaluation, asynchronous transfer mode, ATM switch, B-ISDN, control logic, buffer utilization
33	Ilias Iliadis, Steve W. Fuhrmann	Moment relationships for queues with Poisson input.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	server vacations, priorities, Moments, polling, FIFO, LIFO
33	Daniel Grund, Jan Reineke 0001	Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection.	ECRTS	2010	DBLP DOI BibTeX RDF	FIFO Replacement, Abstract LRU Stack, Static Phase Detection, Cache Analysis
33	Matthew Andrews	Instability of FIFO in the permanent sessions model at arbitrarily small network loads.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	FIFO scheduling, network stability
33	Ben Lauwens, Jan Potemans, Bart Scheers, Antoine Van de Capelle	Hybrid simulation of a FIFO queuing system with trace-driven background traffic.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	FIFO queuing system, trace-driven, simulation, large deviations, hybrid simulation
33	Leïla Azouz Saïdane, Slim Ben Ayed, Pascale Minet, Antoine Mercier 0001	Deterministic and Probabilistic QoS Guarantees in a Bluetooth Piconet with 1-RR/FIFO Scheduling.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	1-RR/FIFO, quantitative guarantee, QoS, Bluetooth
33	Emmanouel A. Varvarigos, Vishal Sharma	The ready-to-go virtual circuit protocol: a loss-free protocol for multigigabit networks using FIFO buffers.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	FIFO buffers, flow control protocols, switch design
33	Jacob van den Berg, Donald F. Towsley	Properties of the Miss Ratio for a 2-Level Storage Model with LRU or FIFO Replacement Strategy and Independent References.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	2-level storage model, FIFO replacement strategy, independent references, Schur-convex function, reference probabilities, storage management, LRU, convex function, miss ratio, least recently used, steady-state probability
26	Maruf Ahmed, Sharif M. H. Chowdhury, Masud Hasan	List Heuristic Scheduling Algorithms for Distributed Memory Systems with Improved Time Complexity.	ICDCN	2008	DBLP DOI BibTeX RDF
26	Yijun Li, Magdy A. Bayoumi	A Three-Level Parallel High-Speed Low-Power Architecture for EBCOT of JPEG 2000.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
26	Alexander Kesselman, Yishay Mansour, Rob van Stee	Improved Competitive Guarantees for QoS Buffering.	Algorithmica	2005	DBLP DOI BibTeX RDF	QoS Buffering, Competitive analysis
26	Jennifer E. McNeill, John W. Fowler, Gerald T. Mackulak, Barry L. Nelson	Cycle-time quantile estimation in manufacturing systems employing dispatching rules.	WSC	2005	DBLP DOI BibTeX RDF
26	Khaled Hadj Youssef, Christian van Delft, Yves Dallery	Efficient Scheduling Rules in a Combined Make-to-Stock and Make-to-Order Manufacturing System.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	make-to-order (MTO), make-to-stock (MTS), first-in-first-out, heterogeneous multi-product queueing system, priority
26	Vikas Chandra, Herman Schmit, Anthony Xu, Lawrence T. Pileggi	A power aware system level interconnect design methodology for latency-insensitive systems.	ICCAD	2004	DBLP DOI BibTeX RDF
26	Vikas Chandra, Anthony Xu, Herman Schmit	A low power approach to system level pipelined interconnect design.	SLIP	2004	DBLP DOI BibTeX RDF	pipelined interconnect, low power, voltage scaling
26	K. Gopinath, Anil K. Pugalia, K. V. M. Naidu	Formal Proof of Impossibility of Reliability in Crashing Protocols.	IWDC	2004	DBLP DOI BibTeX RDF
26	Nir Andelman, Yishay Mansour, An Zhu	Competitive queueing policies for QoS switches.	SODA	2003	DBLP BibTeX RDF
26	Mikkel Christiansen, Kevin Jeffay, David E. Ott, F. Donelson Smith	Tuning RED for Web traffic.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	congestion control, HTTP, active queue management, random early detection, experimental methodology
26	Alexander Kesselman, Zvi Lotker, Yishay Mansour, Boaz Patt-Shamir, Baruch Schieber, Maxim Sviridenko	Buffer overflow management in QoS switches.	STOC	2001	DBLP DOI BibTeX RDF
26	Mikkel Christiansen, Kevin Jeffay, David E. Ott, F. Donelson Smith	Tuning RED for web traffic.	SIGCOMM	2000	DBLP DOI BibTeX RDF
26	Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre	Well-Abstracted Transition Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
26	Maury Bramson	State space collapse with application to heavy traffic limits for multiclass queueing networks.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	heavy traffic limits, first-in first-out, queueing networks, fluid models, processor sharing
26	Jo C. Ebergen, Scott Fairbanks, Ivan E. Sutherland	Predicting Performance of Micropipelines Using Charlie Diagrams.	ASYNC	1998	DBLP DOI BibTeX RDF
26	Rohit Goyal, Raj Jain, Sonia Fahmy, Bobby Vandalore	Providing Rate Guarantees to TCP over the ATM GFR Service.	LCN	1998	DBLP DOI BibTeX RDF
26	Kenneth Y. Yun, Ryan P. Donohue	Pausible Clocking: A First Step Toward Heterogeneous Systems.	ICCD	1996	DBLP DOI BibTeX RDF
26	Ted H. Szymanski, Chien Fang	Design and analysis of buffered crossbars and banyans with cut-through switching.	SC	1990	DBLP DOI BibTeX RDF
26	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
25	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
25	Frank K. H. A. Dehne, Masoud T. Omran, Jörg-Rüdiger Sack	Shortest paths in time-dependent FIFO networks using edge load forecasts.	GIS-IWCTS	2009	DBLP DOI BibTeX RDF
25	Pierre Chambart, Philippe Schnoebelen	Mixing Lossy and Perfect Fifo Channels.	CONCUR	2008	DBLP DOI BibTeX RDF
25	Xiao-Jing Zhu, Hongbo Zeng, Kun Huang, Ge Zhang	Round-robin based scheduling algorithms for FIFO IQ switch.	ICNSC	2008	DBLP DOI BibTeX RDF
25	Leïla Azouz Saïdane, Skander Azzaz, Steven Martin 0001, Pascale Minet	FP/FIFO Scheduling: Deterministic Versus Probabilistic QoS Guarantees and P-Schedulability.	ICC	2007	DBLP DOI BibTeX RDF
25	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron	Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.	AMAST	2006	DBLP DOI BibTeX RDF
25	Ari Kulmala, Timo D. Hämäläinen, Marko Hännikäinen	Reliable GALS Implementation of MPEG-4 Encoder with Mixed Clock FIFO on Standard FPGA.	FPL	2006	DBLP DOI BibTeX RDF
25	Jennifer McNeill Bekki, Gerald T. Mackulak, John W. Fowler	Indirect cycle-time quantile estimation for non-FIFO dispatching policies.	WSC	2006	DBLP DOI BibTeX RDF
25	Antoine Mercier 0001, Pascale Minet, Laurent George 0001	Worst case response times for 1-RR/FIFO and 1-RR/EDF in a Bluetooth piconet.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
25	Deng Pan, Yuanyuan Yang 0001	FIFO-Based Multicast Scheduling Algorithm for Virtual Output Queued Packet Switches.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	virtual output queued (VOQ) switch, head of line (HOL) blocking, scheduling, Multicast, crossbar switch, multicast switch
25	Bruno Gaujal, Nicolas Navet, Cormac Walsh	Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	scheduling, Real-time systems, low-power design, voltage scaling
25	Kai Engelhardt, Yoram Moses	Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.	DISC	2005	DBLP DOI BibTeX RDF
25	Cheng-Shang Chang, Duan-Shin Lee, Chao-Kai Tu	Recursive construction of FIFO optical multiplexers with switched delay lines.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
25	Yaqing Huang, Roch Guérin	A simple FIFO-based scheme for differentiated loss guarantees.	IWQoS	2004	DBLP DOI BibTeX RDF
25	Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea	A Methodology for Deriving Per-Flow End-to-End Delay Bounds in Sink-Tree DiffServ Domains with FIFO Multiplexing.	ISCIS	2004	DBLP DOI BibTeX RDF
25	Deng Pan, Yuanyuan Yang	FIFO Based Multicast Scheduling Algorithm for VOQ Packet Switches.	ICPP	2004	DBLP DOI BibTeX RDF
25	Luciano Lenzini, Enzo Mingozzi, Giovanni Stea	Delay Bounds for FIFO Aggregates: A Case Study.	QofIS	2003	DBLP DOI BibTeX RDF
25	Kyoungseok Rha, Kiyoung Choi	Area-efficient buffer binding based on a novel two-port FIFO structure.	CODES	2001	DBLP DOI BibTeX RDF	buffer binding, buffer sharing, scheduling, SDF
25	Philippas Tsigas, Yi Zhang 0004	A simple, fast and scalable non-blocking concurrent FIFO queue for shared memory multiprocessor systems.	SPAA	2001	DBLP DOI BibTeX RDF
25	Arrigo Benedetti, Andrea Prati 0001, Nello Scarabottolo	Image Convolution on FPGAs: The Implementation of a Multi-FPGA FIFO Structure.	EUROMICRO	1998	DBLP DOI BibTeX RDF
25	Ahmed Bouajjani, Peter Habermehl	Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
25	Heman Khanna, M. Balakrishnan	Allocation of FIFO Structures in RTL Data Paths.	VLSI Design	1997	DBLP DOI BibTeX RDF
25	Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin	Distributed FIFO Allocation of Identical Resources Using Small Shared Space.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
25	Amina Al-Sawaai, Irfan Awan, Rod J. Fretwell	Performance Evaluation of Weighted Fair Queuing System Using Matrix Geometric Method.	Networking	2009	DBLP DOI BibTeX RDF	Markov chain, First Inter First Out (FIFO), Weighted Fair Queuing (WFQ)
25	Kazunori Shimizu, Nozomu Togawa, Takeshi Ikenaga, Satoshi Goto	Power-efficient LDPC code decoder architecture.	ISLPED	2007	DBLP DOI BibTeX RDF	FIFO buffer, LDPC decoder, intermediate message compression technique, message-passing schedule, clock gating
25	Chia-Li Wang, Ronald W. Wolff	Work-Conserving Tandem Queues.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	single server, work conservation, dependent service times, optimal control, FIFO, tandem queue, sample path
25	Y. Morihiro, T. Toneda	Formal verification of data-path circuits based on symbolic simulation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	data-path circuits, symbolic values, transition relation extraction, state graph, input vector sequences, FIFO circuits, LIFO circuits, formal verification, formal verification, graph theory, specification, logic simulation, logic simulation, symbol manipulation, symbolic simulation, Unix workstation
25	Anna Charny, Jean-Yves Le Boudec	Delay Bounds in a Network with Aggregate Scheduling.	QofIS	2000	DBLP DOI BibTeX RDF	aggregate scheduling, priority queuing, delay, Diffserv, jitter, FIFO, Guaranteed Service
25	Chengzhi Li, Edward W. Knightly	Coordinated Network Scheduling: A Framework for End-to-End Services.	ICNP	2000	DBLP DOI BibTeX RDF	coordinated network scheduling, end-to-end services, downstream nodes, upstream nodes, low delays, FIFO+, inter-node coordination, CEDF, work-conserving CJVC, distributed theory, traffic envelopes, statistical admission control, traffic distortion, efficient resource utilization, modified first-in-first-out, coordinated earliest-deadline-first, core-jitter virtual clock, delays, congestion control, queueing theory, packet switching, packet schedulers, telecommunication network routing, telecommunication traffic, telecommunication congestion control, telecommunication services, multi-hop networks, network routers, end-to-end performance
25	Jimmie L. Davis, Kavitha Chandra, Charles Thompson	Nonlinear Time-Series Model for VBR Video Traffic.	LCN	2000	DBLP DOI BibTeX RDF	nonlinear time-series model, VBR video traffic, H.261 encoded video traffic, threshold autoregressive process, TAR model, statistical characteristics, multiplexed video sources, buffer occupancy, first-in first-out deterministic service queue, FIFO deterministic service queue, Markov chain based processes, time series, queueing theory, telecommunication traffic, visual communication, autoregressive processes, variable bit rate traffic
25	Joseph Kee-Yin Ng, Shibin Song, Wei Zhao 0001	Integrated delay analysis of regulated ATM switch.	RTSS	1997	DBLP DOI BibTeX RDF	integrated delay analysis, regulated ATM switch, worst case delay, hard real-time connection, real-time connection traffic, arrival functions, priority driven scheduling, FIFO scheduling, admission probability, cell delay estimation, performance, asynchronous transfer mode, deadline, simulation experiments, service functions, piecewise linear functions
25	Byung Kook Kim, Kang G. Shin	Scalable hardware earliest-deadline-first scheduler for ATM switching networks.	RTSS	1997	DBLP DOI BibTeX RDF	scalable hardware earliest deadline first link scheduler, ATM switching networks, fast hardware solution, switching speed, minimum size EDF priority queue, variable size FIFO queues, two port memory buffer, deadline folding technique, deadline resolution, asynchronous transfer mode, real time scheduler, simulation studies, EDF scheduler, clock cycles
25	Leïla Azouz Saïdane, Farouk Kamoun	Performance evaluation of scheduling algorithm in a real-time distributed transactional system.	FTDCS	1997	DBLP DOI BibTeX RDF	real-time distributed transactional system, circulating multisequencer algorithm, global system view, average stay time, bulk arrival M/G/I station, FIFO discipline, simulation, performance evaluation, customers, scheduling algorithm, software performance evaluation, mathematical model, servers
25	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
25	Keun-Bae Kim, Hyup Jong Kim	Back-Pressure Buffering Scheme to Improve the Cell Loss Property on the Output Buffered ATM Switch.	LCN	1996	DBLP DOI BibTeX RDF	back-pressure buffering, cell loss property, output buffered ATM switch, input cells, push-out mechanism, selective pressure mechanism, small sized memory, asynchronous transfer mode, shared memory, queueing theory, simulation results, computer simulation, performance comparison, FIFO, switch fabric, output buffer
25	Josep R. Casas, Philippe Salembier, Luis Torres	Morphological interpolation for texture coding.	ICIP	1995	DBLP DOI BibTeX RDF	morphological interpolation, texture coding, sketch-based image compression, geodesic dilation, maximum curvature lines, interpolation, data compression, image coding, image coding, mathematical morphology, image texture, FIFO queues, watershed algorithm, very low bit-rate
25	Antonio J. Acosta 0001, Manuel J. Bellido, Manuel Valencia-Barrero, Angel Barriga, Raúl Jiménez, José L. Huertas	New CMOS VLSI linear self-timed architectures.	ASYNC	1995	DBLP DOI BibTeX RDF	semiconductor storage, CMOS VLSI linear self-timed architectures, digital signal processor circuits, self-timed techniques, synchronous VLSI circuits, FIFO memories, VLSI, asynchronous circuits, asynchronous circuits, digital signal processing chips, CMOS memory circuits, hardware resources
25	Carlos Juiz, Ramón Puigjaner	Improved performance model of a real-time software element: the producer-consumer.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time software element, producer-consumer, decomposition-aggregation approximate model, real-time components, performance evaluation, software engineering, real-time systems, real-time systems, real-time system, debugging, performance model, performance models, queueing theory, program debugging, running times, queueing network modelling, FIFO queue
25	Young-Keun Park, Gyungho Lee	ATM cell scheduling with queue length-based priority scheme.	ICCCN	1995	DBLP DOI BibTeX RDF	ATM cell scheduling, queue length based priority scheme, nonblocking switch, optimal input bypass queueing method, switch throughput maximisation, cell delay variations, delay variance, cell loss rate, neural network, asynchronous transfer mode, asynchronous transfer mode, ATM switches, buffer size, B-ISDN, FIFO queueing, nonuniform traffic, head-of-line blocking, input queues, cell loss probabilities
25	Kenneth Y. Yun, David L. Dill	A high-performance asynchronous SCSI controller.	ICCD	1995	DBLP DOI BibTeX RDF	peripheral interfaces, high-performance asynchronous SCSI controller, small computer systems interface, asynchronous pipeline, extended burst-mode machines, CMOS standard cell, data transfer throughput, distributed control scheme, extended burst-mode state machines, synchronisation, distributed control, CMOS integrated circuits, FIFO
25	Mark R. Greenstreet	Implementing a STARI chip.	ICCD	1995	DBLP DOI BibTeX RDF	STARI chip, high-speed signaling technique, MOSIS 2/spl mu/ CMOS process, self-timed FIFO, robust compensation, clock skew, digital signal processing chips, CMOS digital integrated circuits, self-timed circuits, synchronous circuits, 2 micron, timing circuits
25	Ashok K. Agrawala, Bijendra N. Jain	Deterministic Model and Transient Analysis of Virtual Circuits.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	transit delay, tandem of servers, transit time constraints, minimum transit delay, opensystems, delays, congestion control, computer networks, computer networks, throughput, transient analysis, FIFO, virtual circuits, service times, maximum throughput, deterministic model
25	Emilio L. Zapata, Francisco Argüello	A VLSI Constant Geometry Architecture for the Fast Hartley and Fourier Transforms.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	fast Hartley transform, VLSI constant geometryarchitecture, parallel calculation, constant geometry algorithm, perfect unshuffle permutation, processormemory, systolic data flow, multiplexing operations, hardwired control, parallel algorithms, VLSI, parallel architecture, parallel architectures, fast Fourier transform, fast Fourier transforms, butterflies, FIFO queues, application-specific architecture, computationalcomplexity
25	Anthony Chung, Deepinder P. Sidhu	On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines
17	Maury Bramson, Yi Lu 0001, Balaji Prabhakar	Randomized load balancing with general service time distributions.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	asymptotic independence, load balancing, randomized algorithms
17	George L. Yuan, Ali Bakhoda, Tor M. Aamodt	Complexity effective memory access scheduling for many-core accelerator architectures.	MICRO	2009	DBLP DOI BibTeX RDF	graphics processors, on-chip interconnection networks, memory controller
17	Ingo Sander, Jun Zhu 0011, Axel Jantsch, Andreas Herrholz, Philipp A. Hartmann, Wolfgang Nebel	High-level estimation and trade-off analysis for adaptive real-time systems.	IPDPS	2009	DBLP DOI BibTeX RDF
17	Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas	Diastolic arrays: throughput-driven reconfigurable computing.	ICCAD	2008	DBLP DOI BibTeX RDF
17	Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms	Correct-by-construction microarchitectural pipelining.	ICCAD	2008	DBLP DOI BibTeX RDF
17	Guillaume Urvoy-Keller, André-Luc Beylot	Improving flow level fairness and interactivity in WLANs using size-based scheduling policies.	MSWiM	2008	DBLP DOI BibTeX RDF	TCP, 802.11, LAS, size-based scheduling
17	Franck Bimbard, Laurent George 0001	EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK System.	ICONS	2008	DBLP DOI BibTeX RDF	Real-time dimensioning, OSEK, Earliest Dealine First, kernel overheads, feasibility condition
17	Rosario Giuseppe Garroppo, Stefano Giordano, Stefano Lucetti, Luca Tavanti	Providing air-time usage fairness in IEEE 802.11 networks with the deficit transmission time (DTT) scheduler.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Channel-aware scheduler, Traffic flows isolation, IEEE 802.11, Max-min fairness, Proportional fairness, Performance anomaly
17	Alex Chow, William S. Coates, David Hopkins 0001	A Configurable Asynchronous Pseudorandom Bit Sequence Generator.	ASYNC	2007	DBLP DOI BibTeX RDF
17	El maati Chabbar, Mohamed Bouhdadi	On Verification of Communicating Finite State Machines Using Residual Languages.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
17	Vipul Mathur, Varsha Apte	An overhead and resource contention aware analytical model for overloaded web servers.	WOSP	2007	DBLP DOI BibTeX RDF	model, Markov chain, queueing theory, web server, resource sharing, overload, analytical, LIFO
17	Changhua Sun, Lei Shi 0002, Chengchen Hu, Bin Liu 0001	DRR-SFF: A Practical Scheduling Algorithm to Improve the Performance of Short Flows.	ICNS	2007	DBLP DOI BibTeX RDF
17	Hassan Ghasemzadeh 0001, Sepideh Mazrouee, Mohammad Reza Kakoee	Modified Pseudo LRU Replacement Algorithm.	ECBS	2006	DBLP DOI BibTeX RDF
17	Manuel Baclet, Claire Pagetti	Around Hopcroft's Algorithm.	CIAA	2006	DBLP DOI BibTeX RDF	Hopcroft’s algorithm, Finite automata, minimization
17	Juan Echagüe, Vicent Cholvi	Worst case burstiness increase due to arbitrary aggregate multiplexing.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	aggregate scheduling, differentiated services, network calculus
17	Hung-Chi Fang, Yu-Wei Chang, Tu-Chih Wang, Chung-Jr Lian, Liang-Gee Chen	Parallel embedded block coding architecture for JPEG 2000.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF