Search results for "FIFO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis	The Impact of Network Structure on the Stability of Greedy Protocols.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
17	Idris A. Rai, Ernst W. Biersack, Guillaume Urvoy-Keller	Size-based scheduling to improve the performance of short TCP flows.	IEEE Netw.	2005	DBLP DOI BibTeX RDF
17	Olivier Beaumont, Loris Marchal, Yves Robert	Scheduling Divisible Loads with Return Messages on Heterogeneous Master-Worker Platforms.	HiPC	2005	DBLP DOI BibTeX RDF
17	Tin Wai Kwan, Maitham Shams	Design of High-Performance Power-Aware Asynchronous Pipelined Circuits in MOS Current Mode Logic.	ASYNC	2005	DBLP DOI BibTeX RDF
17	Gereon Frahling, Jens Krokowski	Online Occlusion Culling.	ESA	2005	DBLP DOI BibTeX RDF
17	Ajay D. Kshemkalyani, Bin Wu 0014	Nonintrusive Snapshots Using Thin Slices.	EUC	2005	DBLP DOI BibTeX RDF
17	Tin Wai Kwan, Maitham Shams	Design of Multi-GHz Asynchronous Pipelined Circuits in MOS Current-Mode Logic.	VLSI Design	2005	DBLP DOI BibTeX RDF
17	Kai Engelhardt, Yoram Moses	Single-Bit Messages Are Insufficient in the Presence of Duplication.	IWDC	2005	DBLP DOI BibTeX RDF
17	Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson 0001	Using Forward Reachability Analysis for Verification of Lossy Channel Systems.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	model checking, automata, protocol verification, infinite-state systems
17	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Learning to Verify Safety Properties.	ICFEM	2004	DBLP DOI BibTeX RDF
17	Kyle J. Nesbit, James E. Smith 0001	Data Cache Prefetching Using a Global History Buffer.	HPCA	2004	DBLP DOI BibTeX RDF
17	Venkata Syam P. Rapaka, Emil Talpes, Diana Marculescu	Mixed-clock issue queue design for energy aware, high-performance cores.	ASP-DAC	2004	DBLP DOI BibTeX RDF
17	Li Li 0008, Fei Qiao, Hua Jiang, Qidi Wu	The research on dispatching rule for improving on-time delivery for semiconductor wafer fab.	ICARCV	2004	DBLP DOI BibTeX RDF
17	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
17	Hwa-Young Jeong, Young-Jae Song	Component Composition Tools: Process Call Scheduling According to the Priority in Connector.	EUC	2004	DBLP DOI BibTeX RDF
17	Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Practical Lock-Free Queue Algorithm.	FORTE	2004	DBLP DOI BibTeX RDF
17	Karthik Lakshminarayanan, Venkata N. Padmanabhan, Jitendra Padhye	Bandwidth estimation in broadband access networks.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	capacity, network measurement, available bandwidth, broadband networks
17	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
17	Ajanta Chakraborty, Mark R. Greenstreet	Efficient Self-Timed Interfaces for Crossing Clock Domains.	ASYNC	2003	DBLP DOI BibTeX RDF
17	Idris A. Rai, Guillaume Urvoy-Keller, Ernst W. Biersack	Analysis of LAS scheduling for job size distributions with high variance.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	high variability property, least attained service, web objects response time, size-based scheduling
17	Carme Àlvarez, Maria J. Blesa, Josep Díaz, Antonio Fernández 0001, Maria J. Serna	Adversarial Models for Priority-Based Networks.	MFCS	2003	DBLP DOI BibTeX RDF
17	Monaldo Mastrolilli	Scheduling to Minimize Max Flow Time: Offline and Online Algorithms.	FCT	2003	DBLP DOI BibTeX RDF
17	Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis	The Impact of Network Structure on the Stability of Greedy Protocols.	CIAC	2003	DBLP DOI BibTeX RDF
17	Shiva Murthi, Sundararajan Sankaranarayanan, Bo Xia, Jeffrey J. Rodríguez, David W. Galbraith	Improved data acquisition system for digital flow cytometry.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
17	Werner Damm, Bengt Jonsson 0001	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
17	Susanne Albers, Lene M. Favrholdt, Oliver Giel	On paging with locality of reference.	STOC	2002	DBLP DOI BibTeX RDF
17	Rong Pan, Lee Breslau, Balaji Prabhakar, Scott Shenker	A Flow Table-Based Design to Approximate Fairness.	Hot Interconnects	2002	DBLP DOI BibTeX RDF
17	David Gamarnik	On deciding stability of constrained random walks and queueing systems.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
17	Antonio Corral, Michael Vassilakopoulos, Yannis Manolopoulos	The Impact of Buffering on Closest Pairs Queries Using R-Trees.	ADBIS	2001	DBLP DOI BibTeX RDF
17	Yan Hu, GuangZhao Zhang	A Stateless Active Queue Management Scheme for Approximating Fair Bandwidth Allocation and Stabilized Buffer Occupation.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
17	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.	APAQS	2001	DBLP DOI BibTeX RDF
17	Saso Stojanovski, Maurice Gagnaire, Rudy Hoebeke	Probiding GFR Guarantees for TCP/IP Traffic over APON Access Systems.	NETWORKING	2000	DBLP DOI BibTeX RDF
17	Kenneth Y. Yun, Ayoob E. Dooply	Pausible clocking-based heterogeneous systems.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
17	Bengt Jonsson 0001, Amir Pnueli, Camilla Rump	Proving Refinement Using Transduction.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction
17	Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech	Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.	CAV	1999	DBLP DOI BibTeX RDF
17	Roch Guérin, Sanjay Kamat, Vinod G. J. Peris, Raju Rajan	Scalable QoS Provision Through Buffer Management.	SIGCOMM	1998	DBLP DOI BibTeX RDF	rate guarantees, scheduling, fairness, sharing, buffer management
17	Lars W. Hagen, Dennis J.-H. Huang, Andrew B. Kahng	On implementation choices for iterative improvement partitioning algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
17	Seokjin Kim, Ramalingam Sridhar	Self-Timed Mesochronous Interconnection for High-Speed VLSI Systems.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
17	Dan Picker, Ronald D. Fellman	A VLSI priority packet queue with inheritance and overwrite.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
17	José Barahona da Fonseca	Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data.	EUROCAST	1995	DBLP DOI BibTeX RDF
17	Smaragda Konstantinidou	Segment Router: A Novel Router Design for Parallel Computers.	SPAA	1994	DBLP DOI BibTeX RDF
17	Shlomi Dolev, Jennifer L. Welch	Crash Resilient Communication in Dynamic Networks (Preliminary Version).	WDAG	1993	DBLP DOI BibTeX RDF
17	Takashi Hashimoto, Kazuaki J. Murakami, Tetsuo Hironaka, Hiroto Yasuura	A Micro-Vectorprocessor Architecture: Performance Modeling and Benchmarking.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
17	Susan S. Owicki, Anna R. Karlin	Factors in the Performance of the AN1 Computer Network.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
17	A. Prasad Sistla, Lenore D. Zuck	Automatic Temporal Verification of Buffer Systems.	CAV	1991	DBLP DOI BibTeX RDF
17	Scott Shenker	A Theoretical Analysis of Feedback Flow Control.	SIGCOMM	1990	DBLP DOI BibTeX RDF
17	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF
17	Panagiota Fatourou, Nikos Giachoudis, George Mallis	Highly-Efficient Persistent FIFO Queues.	CoRR	2024	DBLP DOI BibTeX RDF
17	Ying Wang, Angran Liu, Yiyang Ni, Yingjie Hong, Lin Chen	Analysis of mean delay in small cell networks with dynamic traffic and FIFO scheduling.	Int. J. Ad Hoc Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
17	Gerhard Hasslinger, Konstantinos Ntougias, Frank Hasslinger, Oliver Hohlfeld	Scope and Accuracy of Analytic and Approximate Results for FIFO, Clock-Based and LRU Caching Performance.	Future Internet	2023	DBLP DOI BibTeX RDF
17	Tim Zeitz	NP-hardness of shortest path problems in networks with non-FIFO time-dependent travel times.	Inf. Process. Lett.	2023	DBLP DOI BibTeX RDF
17	Hayoung Seong, Junseon Kim, Won-Yong Shin, Howon Lee	FiFo: Fishbone Forwarding in Massive IoT Networks.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
17	Fabien Geyer, Alexander Scheffler, Steffen Bondorf	Network Calculus With Flow Prolongation - A Feedforward FIFO Analysis Enabled by ML.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
17	Patrick Steil	Optimal FIFO grouping in public transit networks.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shugang Liu, Jiangtao Liu, Qiangguo Yu, Jie Zhan	An enhanced reconfigurable dual-clock FIFO for inter-IP data transmission.	IEICE Electron. Express	2023	DBLP DOI BibTeX RDF
17	James Ju Heon Lee, Chanyeol Yoo, Stuart Anstee, Robert Fitch	Efficient Optimal Planning in non-FIFO Time-Dependent Flow Fields.	ICRA	2023	DBLP DOI BibTeX RDF
17	Shareef Ahmed, James H. Anderson	Optimal Multiprocessor Locking Protocols Under FIFO Scheduling.	ECRTS	2023	DBLP DOI BibTeX RDF
17	Juncheng Yang, Yazhuo Zhang, Ziyue Qiu, Yao Yue, Rashmi Vinayak	FIFO queues are all you need for cache eviction.	SOSP	2023	DBLP DOI BibTeX RDF
17	Daniel J. Elson, Yuta Wakayama, Noboru Yoshikane, Takehiro Tsuritani	Performance Requirements for FIFO-less Multicore Fibre Repeaters in Transatlantic-class Transmission.	OFC	2023	DBLP DOI BibTeX RDF
17	Vijay Patel, Vimal Mer, Jignesh J. Patoliya, Bhavesh Soni	Design & Implementation of Novel Asynchronous FIFO.	iSES	2023	DBLP DOI BibTeX RDF
17	Marija L. Petrovic, Vladimir M. Milovanovic	A Hardware Design Generator of High-Performance FIFO-Based Linear Insertion Streaming Sorters.	MIXDES	2023	DBLP DOI BibTeX RDF
17	Juncheng Yang, Ziyue Qiu, Yazhuo Zhang, Yao Yue, K. V. Rashmi	FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion.	HotOS	2023	DBLP DOI BibTeX RDF
17	Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, Yuri Hérouard	Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
17	Louis Bal dit Sollier, Alain Ourghanlian, Saïd Amari	Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems - Application to a FIFO Queue.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
17	Oliver Giersch, Jörg Nolte	Fast and Portable Concurrent FIFO Queues With Deterministic Memory Reclamation.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
17	Steven Finch	M/G/1-FIFO Queue with Uniform Service Times.	CoRR	2022	DBLP DOI BibTeX RDF
17	Fabien Geyer, Alexander Scheffler, Steffen Bondorf	Network Calculus with Flow Prolongation - A Feedforward FIFO Analysis enabled by ML.	CoRR	2022	DBLP BibTeX RDF
17	Hayoung Seong, Junseon Kim, Won-Yong Shin, Howon Lee	FiFo: Fishbone Forwarding in Massive IoT Networks.	CoRR	2022	DBLP DOI BibTeX RDF
17	Sohyun Lee, Taeyoung Son, Suha Kwak	FIFO: Learning Fog-invariant Features for Foggy Scene Segmentation.	CoRR	2022	DBLP DOI BibTeX RDF
17	Benedikt Bollig, Alain Finkel, Amrita Suresh 0001	Bounded Reachability Problems are Decidable in FIFO Machines.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Anne Bouillard	Trade-off between accuracy and tractability of Network Calculus in FIFO networks.	Perform. Evaluation	2022	DBLP DOI BibTeX RDF
17	Yiyao Zhu, Yongquan Chen, Zhang-Hua Fu	Knowledge-guided two-stage memetic search for the pickup and delivery traveling salesman problem with FIFO loading.	Knowl. Based Syst.	2022	DBLP DOI BibTeX RDF
17	Alexander Scheffler, Jens B. Schmitt, Steffen Bondorf	Searching for Upper Delay Bounds in FIFO Multiplexing Feedforward Networks.	RTNS	2022	DBLP DOI BibTeX RDF
17	Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, Yuri Hérouard	Scheduling Offset-Free Systems Under FIFO Priority Protocol.	ECRTS	2022	DBLP DOI BibTeX RDF
17	Francisco Castro, Hongyao Ma, Hamid Nazerzadeh, Chiwei Yan	Randomized FIFO Mechanisms.	EC	2022	DBLP DOI BibTeX RDF
17	Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg	From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling.	RTSS	2022	DBLP DOI BibTeX RDF
17	Sohyun Lee, Taeyoung Son, Suha Kwak	FIFO: Learning Fog-invariant Features for Foggy Scene Segmentation.	CVPR	2022	DBLP DOI BibTeX RDF
17	Debarshi Chatterjee, Parth Lathigara, Siddhanth Dhodhi, Chad Parsons	FIFO Topology Aware Stalling for Accelerating Coverage Convergence of Stalling Regressions.	VTS	2022	DBLP DOI BibTeX RDF
17	Gal Mendelson	A lower bound on the stability region of redundancy-d with FIFO service discipline.	Oper. Res. Lett.	2021	DBLP DOI BibTeX RDF
17	Saleh Abdel-Hafeez, Ann Gordon-Ross	Reconfigurable FIFO memory circuit for synchronous and asynchronous communication.	Int. J. Circuit Theory Appl.	2021	DBLP DOI BibTeX RDF
17	Benedikt Bollig, Alain Finkel, Amrita Suresh 0001	Bounded Reachability Problems are Decidable in FIFO Machines.	CoRR	2021	DBLP BibTeX RDF
17	Francisco Castro, Hongyao Ma, Hamid Nazerzadeh, Chiwei Yan	Randomized FIFO Mechanisms.	CoRR	2021	DBLP BibTeX RDF
17	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels.	CoRR	2021	DBLP BibTeX RDF
17	Bo Jiang 0003, Philippe Nain, Don Towsley	Covert Cycle Stealing in a Single FIFO Server.	ACM Trans. Model. Perform. Evaluation Comput. Syst.	2021	DBLP DOI BibTeX RDF
17	Vineet Panchbhaiyye, Tokunbo Ogunfunmi	An Efficient FIFO Based Accelerator for Convolutional Neural Networks.	J. Signal Process. Syst.	2021	DBLP DOI BibTeX RDF
17	Alexander Scheffler, Steffen Bondorf	Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems.	QEST	2021	DBLP DOI BibTeX RDF
17	Saeid Dehnavi, Dip Goswami, Kees Goossens	Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications.	MCSoC	2021	DBLP DOI BibTeX RDF
17	Rosysella Izaguirre-Malasquez, Lucia Muñoz-Gonzales, Jhonatan Cabel-Pozo, Carlos Raymundo	Inventory Optimization Model Applying the FIFO Method and the PHVA Methodology to Improve the Stock Levels of Olive Products in SMEs of the Agro-Industrial Sector in Peru.	IHIET (Paris)	2021	DBLP DOI BibTeX RDF
17	Bjoern Tauer, Laura Vargas Koch	FIFO and Randomized Competitive Packet Routing Games.	WAOA	2021	DBLP DOI BibTeX RDF
17	Fabien Geyer, Alexander Scheffler, Steffen Bondorf	Tightening Network Calculus Delay Bounds by Predicting Flow Prolongations in the FIFO Analysis.	RTAS	2021	DBLP DOI BibTeX RDF
17	Yuta Wakayama, Noboru Yoshikane, Takehiro Tsuritani	FIFO-less Core-pump Combiner for Multicore Fiber Amplifier.	OFC	2021	DBLP BibTeX RDF
17	Mikhail Konovalov, Rostislav Razumchik	Minimizing Mean Response Time In Batch-Arrival Non-Observable Systems With Single-Server FIFO Queues Operating In Parallel.	ECMS	2021	DBLP DOI BibTeX RDF
17	Colette Johnen, Luciana Arantes, Pierre Sens 0001	FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems.	SRDS	2021	DBLP DOI BibTeX RDF
17	Junchang Wang, Yangfeng Tian, Xiong Fu	EQueue: Elastic Lock-Free FIFO Queue for Core-to-Core Communication on Multi-Core Processors.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Jeeun Kang, Pilsu Kim, Changhan Yoon, Yang-Mo Yoo, Tai-Kyong Song	Efficient Parallel-Beamforming Based on Shared FIFO for Ultra-Compact Ultrasound Imaging Systems.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Guo-Ming Sung, Li-Fen Tung, Hsin-Kwang Wang, Jhih-Hao Lin	USB Transceiver With a Serial Interface Engine and FIFO Queue for Efficient FPGA-to-FPGA Communication.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Dimitrios Konstantinou, Anastasios Psarras, Chrysostomos Nicopoulos, Giorgos Dimitrakopoulos	The Mesochronous Dual-Clock FIFO Buffer.	IEEE Trans. Very Large Scale Integr. Syst.	2020	DBLP DOI BibTeX RDF
17	Di Han 0001, Wei Chen 0002	QoS Differential Scheduling of URLLC Under FIFO Service Discipline: A Cross-Layer Approach.	IEEE Wirel. Commun. Lett.	2020	DBLP DOI BibTeX RDF
17	Guo-Ming Sung, Yen-Shih Shen, Chih-Ping Yu, Cheng-Syuan Jian	Two-port-two-port SI between RS485 and Ethernet with an FIFO queue for efficient PC-to-PC communication.	IET Networks	2020	DBLP DOI BibTeX RDF
17	Bo Jiang 0003, Philippe Nain, Don Towsley	Covert Cycle Stealing in a Single FIFO Server.	CoRR	2020	DBLP BibTeX RDF