Search results for "FIFO "

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Wei Sun, Kang G. Shin	Coordinated aggregate scheduling for improving end-to-end delay performance.	IWQoS	2004	DBLP DOI BibTeX RDF
9	Jiannong Cao 0001, Jingyang Zhou, Daoxu Chen, Jie Wu 0001	An Efficient Distributed Mutual Exclusion Algorithm Based on Relative Consensus Voting.	IPDPS	2004	DBLP DOI BibTeX RDF
9	Adnan Agbaria, William H. Sanders	Distributed Snapshots for Mobile Computing Systems.	PerCom	2004	DBLP DOI BibTeX RDF
9	Tsang-Ling Sheu, Bing-Chi Kuo	End-to-end jitter minimization with TCM for real-time multimedia traffic in DiffServ networks.	ISCC	2004	DBLP DOI BibTeX RDF
9	Charlie Ross, A. P. Wim Böhm	Using FIFOs in Hardware-Software Co-Design for FPGA Based Embedded Systems.	FCCM	2004	DBLP DOI BibTeX RDF
9	Marc Geilen, Twan Basten	Reactive process networks.	EMSOFT	2004	DBLP DOI BibTeX RDF	signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
9	Marc Bourcerie, Jean-Yves Morel	On the analysis and synthesis of coloured Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
9	Hamada Alshaer, Eric Horlait	Expedited Forwarding End to End Delay Jitter in the Differentiated Services Networks.	HSNMC	2004	DBLP DOI BibTeX RDF	Expedited forwarding, e2e jitter, Playout buffers, DiffServ
9	Idris A. Rai, Guillaume Urvoy-Keller, Ernst W. Biersack	LAS Scheduling to Avoid Bandwidth Hogging in Heterogeneous TCP Networks.	HSNMC	2004	DBLP DOI BibTeX RDF
9	Jin Seek Choi, BongSue Suh	Design and Analysis of a Virtual Output Queueing Based Windowing Scheduling Scheme for IP Switching System.	HSNMC	2004	DBLP DOI BibTeX RDF
9	Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir	Bringing practical lock-free synchronization to 64-bit applications.	PODC	2004	DBLP DOI BibTeX RDF	64-bit-clean software, freelists, load-linked/store-conditional (LL/SC), population-oblivious, space-adaptive, multiprocessors, memory management, queues, lock-free, compare-and-swap (CAS), nonblocking synchronization, 64-bit architectures
9	Hamada Alshaer, Eric Horlait	Expedited Forwarding End to End Delay Variations.	ICT	2004	DBLP DOI BibTeX RDF
9	Jean Fanchon, Khalil Drira, Saúl E. Pomares Hernández	Abstract Channels as Connectors for Software Components in Group Communication Services.	ENC	2004	DBLP DOI BibTeX RDF	Ordering Protocols, Software Components, Group Communication
9	Myung-Sub Lee, Chang-Hyeon Park, Young-Ho Sohn	Differentiated Web Service System through Kernel-Level Realtime Scheduling and Load Balancing.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	Differentiated QoS, masquerading, load balancer, tunneling
9	Geunhyung Kim, Cheeha Kim	Deterministic Edge-to-Edge Delay Bounds for a Flow in a DiffServ Network Domain.	ICOIN	2004	DBLP DOI BibTeX RDF
9	Benedikt Bollig, Martin Leucker	Message-Passing Automata Are Expressively Equivalent to EMSO Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
9	Michael R. Liu, Q. L. Zhang, Lionel M. Ni, Mitchell M. Tseng	An RFID-Based Distributed Control System for Mass Customization Manufacturing.	ISPA	2004	DBLP DOI BibTeX RDF
9	Shuvendu K. Lahiri, Randal E. Bryant	Constructing Quantified Invariants via Predicate Abstraction.	VMCAI	2004	DBLP DOI BibTeX RDF
9	Harold W. Cain, Mikko H. Lipasti	Memory Ordering: A Value-Based Approach.	ISCA	2004	DBLP DOI BibTeX RDF
9	Vinay Kolar, Sameer Tilak, Nael B. Abu-Ghazaleh	Avoiding Head of Line Blocking in Directional Antenna.	LCN	2004	DBLP DOI BibTeX RDF
9	Attahiru Sule Alfa	Combined Elapsed Time and Matrix-Analytic Method for the Discrete Time GI/G/1 and GIX/G/1 Systems.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	elapsed time, GI/G/1, GI X /G/1, QBD, infinite blocks, waiting time, busy period, matrix-analytic method, queue length, matrix-geometric method
9	Marco Ajmone Marsan, Andrea Bianco, Paolo Giaccone, Emilio Leonardi, Fabio Neri	Multicast traffic in input-queued switches: optimal scheduling and maximum throughput.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	scheduling, switching, input queued switches, multicast traffic
9	Valentin Puente, José A. Gregorio, Ramón Beivide, Cruz Izu	On the Design of a High-Performance Adaptive Router for CC-NUMA Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	hardware router design, Interconnection networks, shared memory multiprocessors, adaptive routing
9	Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni	Efficient Causality-Tracking Timestamping.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	message-passing, causality, timestamp, vector clock, Asynchronous distributed computation
9	Monaldo Mastrolilli	Notes on Max Flow Time Minimization with Controllable Processing Times.	Computing	2003	DBLP DOI BibTeX RDF	Scheduling, approximation algorithms, parallel machines, controllable processing times
9	Abdoulaye Gamatié, Thierry Gautier	The SIGNAL Approach to the Design of System Architectures.	ECBS	2003	DBLP DOI BibTeX RDF
9	Michal Karczmarek, William Thies, Saman P. Amarasinghe	Phased scheduling of stream programs.	LCTES	2003	DBLP DOI BibTeX RDF	cyclo-static dataflow, phased scheduling, DSP, buffer size, synchronous dataflow, stream programming, code size, StreamIt
9	Matthew W. Heath, Ian G. Harris	A Deterministic Globally Asynchronous Locally Synchronousy Microprocessor Architecture.	MTV	2003	DBLP DOI BibTeX RDF
9	Kyeong Keol Ryu, Vincent John Mooney	Automated Bus Generation for Multiprocessor SoC Design.	DATE	2003	DBLP DOI BibTeX RDF
9	Alexander Kesselman, Yishay Mansour, Rob van Stee	Improved Competitive Guarantees for QoS Buffering.	ESA	2003	DBLP DOI BibTeX RDF
9	Alexander Kesselman, Zvi Lotker, Yishay Mansour, Boaz Patt-Shamir	Buffer Overflows of Merging Streams.	ESA	2003	DBLP DOI BibTeX RDF
9	Alexander Moshe Rabinovich	Quantitative Analysis of Probabilistic Lossy Channel Systems.	ICALP	2003	DBLP DOI BibTeX RDF
9	Nathalie Bertrand 0001, Philippe Schnoebelen	Model Checking Lossy Channels Systems Is Probably Decidable.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Parosh Aziz Abdulla, Alexander Moshe Rabinovich	Verification of Probabilistic Systems with Faulty Communication.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Kaixin Xu, Mario Gerla, Lantao Qi, Yantai Shu	Enhancing TCP fairness in ad hoc wireless networks using neighborhood RED.	MobiCom	2003	DBLP DOI BibTeX RDF	NRED, TCP fairness, neighborhood RED, ad hoc network
9	Long Le, Jay Aikat, Kevin Jeffay, F. Donelson Smith	The effects of active queue management on web performance.	SIGCOMM	2003	DBLP DOI BibTeX RDF	congestion control, active queue management, web performance
9	Nir Andelman, Yishay Mansour	Competitive Management of Non-preemptive Queues with Multiple Values.	DISC	2003	DBLP DOI BibTeX RDF
9	Ju Hui Li, Meng-Hiot Lim	Evolvable Fuzzy System for ATM Cell Scheduling.	ICES	2003	DBLP DOI BibTeX RDF
9	Torgny Holmberg, Johan M. Karlsson	Scheduling Deadline Driven Packet Flows in HiperAccess.	ISCC	2003	DBLP DOI BibTeX RDF
9	Miguel Ángel Ruiz-Sánchez, Walid Dabbous	Controlling Bursts in Best-effort Routers for Flow Isolation.	ISCC	2003	DBLP DOI BibTeX RDF
9	Tara Salih, Kemal M. Fidanboylu	Performance Analysis and Modeling of Two-Tier Cellular Networks with Queuing Handoff Calls.	ISCC	2003	DBLP DOI BibTeX RDF
9	Pradeep Varma	Wait-Free Publish/Subscribe Using Atomic Registers.	PPAM	2003	DBLP DOI BibTeX RDF
9	Piyush Maheshwari	A Job Scheduling Strategy for Heterogeneous Multiprogrammed Systems.	PPAM	2003	DBLP DOI BibTeX RDF
9	Ilkka Saastamoinen, M. Alho, Jari Nurmi	Buffer implementation for Proteo network-on-chip.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
9	Mohd. Hasan, Tughrul Arslan	A triple port RAM based low power commutator architecture for a pipelined FFT processor.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
9	Atanu Chattopadhyay, Zeljko Zilic	A globally asynchronous locally dynamic system for ASICs and SoCs.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	all-digital clock generation, dynamic clock manager, globally asynchronous locally synchronous system, asynchronous design
9	W. Kuang, J. S. Yuan	An Adaptive Supply-Voltage Scheme for Low Power Self-Timed CMOS Digital Design.	VLSI Design	2003	DBLP DOI BibTeX RDF
9	Abdallah Kassem, J. Wang, Abdelhakim Khouas, Mohamad Sawan, Mounir Boukadoum	Pipelined Sampled-Delay Focusing CMOS Implementation for Ultrasonic Digital Beamforming.	IWSOC	2003	DBLP DOI BibTeX RDF
9	Claudio Basile, Long Wang 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Group Communication Protocols under Errors.	SRDS	2003	DBLP DOI BibTeX RDF
9	Byung-Gon Chun, Mary Baker	Evaluation of packet scheduling algorithms in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF
9	Chengzhi Li, Edward W. Knightly	Coordinated multihop scheduling: a framework for end-to-end services.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF
9	Girija J. Narlikar	Scheduling Threads for Low Space Requirement and Good Locality.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
9	Ahmed Khoumsi	A Temporal Approach for Testing Distributed Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	distributed systems, controllability, observability, Conformance testing, waiting time, reaction time
9	Vikram Kanodia, Ashutosh Sabharwal, Bahareh Sadeghi, Edward W. Knightly	Ordered packet scheduling in wireless ad hoc networks: mechanisms and performance analysis.	MobiHoc	2002	DBLP DOI BibTeX RDF
9	Victor Varshavsky, Vyacheslav Marakhovsky	GALA (Globally Asynchronous - Locally Arbitrary) Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
9	Walid G. Aref, Khaled El-Bassyouni, Ibrahim Kamel, Mohamed F. Mokbel	Scalable QoS-Aware Disk-Scheduling.	IDEAS	2002	DBLP DOI BibTeX RDF
9	Pawel Siwak	Filtrons of Automata.	UMC	2002	DBLP DOI BibTeX RDF
9	Harald Räcke, Christian Sohler, Matthias Westermann	Online Scheduling for Sorting Buffers.	ESA	2002	DBLP DOI BibTeX RDF
9	Alvin C. Valera, Winston Khoon Guan Seah, S. V. Rao 0002	CHAMP: a highly-resilient and energy-efficient routing protocol for mobile ad hoc networks.	MWCN	2002	DBLP DOI BibTeX RDF
9	Benedikt Bollig, Martin Leucker, Thomas Noll 0001	Generalised Regular MSC Languages.	FoSSaCS	2002	DBLP DOI BibTeX RDF
9	Benoît Masson, Philippe Schnoebelen	On Verifying Fair Lossy Channel Systems.	MFCS	2002	DBLP DOI BibTeX RDF
9	Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue	MoCha: A Middleware Based on Mobile Channels.	COMPSAC	2002	DBLP DOI BibTeX RDF
9	Dimitrios Koukopoulos, Marios Mavronicolas, Sotiris E. Nikoletseas, Paul G. Spirakis	On the Stability of Compositions of Universally Stable, Greedy Contention-Resolution Protocols.	DISC	2002	DBLP DOI BibTeX RDF
9	Alain Girault, Clément Ménier	Automatic Production of Globally Asynchronous Locally Synchronous Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF	Globally synchronous-locally asynchronous (GALS), asynchronous communications, hardware/software codesign, distributed architectures, synchronous circuits, automatic distribution
9	Fethi Filali, Walid Dabbous	A Simple and Scalable Fair Bandwidth Sharing Mechanism for Multicast Flows.	ICNP	2002	DBLP DOI BibTeX RDF
9	Jin Yang 0006, Carl-Johan H. Seger	Generalized Symbolic Trajectory Evaluation - Abstraction in Action.	FMCAD	2002	DBLP DOI BibTeX RDF
9	Dirk Stichling, Bernd Kleinjohann	CV-SDF - A model for Real-Time Computer Vision Applications.	WACV	2002	DBLP DOI BibTeX RDF
9	Lisa Noordergraaf, Robert Zak	SMP system interconnect instrumentation for performance analysis.	SC	2002	DBLP DOI BibTeX RDF
9	Ilkka Saastamoinen, David A. Sigüenza-Tortosa, Jari Nurmi	Interconnect IP Node for Future System-on-Chip Designs.	DELTA	2002	DBLP DOI BibTeX RDF	System-on-Chip, reuse, on-chip communication, packet network
9	Ho-Seop Kim, James E. Smith 0001	An Instruction Set and Microarchitecture for Instruction Level Distributed Processing.	ISCA	2002	DBLP DOI BibTeX RDF
9	Zvi Lotker, Boaz Patt-Shamir, Adi Rosén	New stability results for adversarial queuing.	SPAA	2002	DBLP DOI BibTeX RDF	adversarial queuing theory
9	Ahmed Aslam, Kenneth J. Christensen	Parallel Packet Switching Using Multiplexors with Virtual Input Queues.	LCN	2002	DBLP DOI BibTeX RDF
9	Irfan Darmawan, W. T. Hartono, Eril Mozef, Sarwono Sutikno, Kuspriyanto	VHDL design and simulation of MAM memory for LAPCAM parallel architecture for image processing.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
9	Hassan Rabah, Hervé Mathias, Eril Mozef, Domingo Torres, Serge Weber	Linear array processors with multiple access modes memory for real-time image processing.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
9	Ohad Rodeh, Kenneth P. Birman, Danny Dolev	The architecture and performance of security protocols in the ensemble group communication system: Using diamonds to guard the castle.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	security, Group communication
9	R. Radhakrishna Pillai	A distributed overload control algorithm for delay-bounded call setup.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	Call overload control, signaling performance, distributed algorithm, communication networks
9	Michael Mitzenmacher	The Power of Two Choices in Randomized Load Balancing.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	limiting systems, distributed systems, Load balancing, queuing theory, choices
9	Giuseppe Anastasi, Alberto Bartoli, Francesco Spadoni	A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	dynamic membership, Mobile computing, reliable multicast, total ordering, causal ordering
9	Matthew Andrews, Baruch Awerbuch, Antonio Fernández 0001, Frank Thomson Leighton, Zhiyong Liu, Jon M. Kleinberg	Universal-stability results and performance bounds for greedy contention-resolution protocols.	J. ACM	2001	DBLP DOI BibTeX RDF	adversarial queuing theory, packet scheduling, end-to-end delay, network stability
9	Krishnan Kumaran, Debasis Mitra 0001	Performance and fluid simulations of a novel shared buffer management system.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	virtual partitioning, buffer management, fluid simulations
9	Marco Listanti, Fabio Ricciato, Stefano Salsano	An Upper Bound to the Loss Probability in the Multiplexing of Jittered Flows.	QoS-IP	2001	DBLP DOI BibTeX RDF
9	Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu	TReX: A Tool for Reachability Analysis of Complex Systems.	CAV	2001	DBLP DOI BibTeX RDF
9	Mark Brehob, Richard J. Enbody, Eric Torng, Stephen Wagner	On-line restricted caching.	SODA	2001	DBLP BibTeX RDF
9	Kyeong Keol Ryu, Eung S. Shin, Vincent John Mooney III	A Comparison of Five Different Multiprocessor SoC Bus Architectures.	DSD	2001	DBLP DOI BibTeX RDF
9	Christian Stangier, Ulrich Holtmann	Applying Formal Verification with Protocol Compiler.	DSD	2001	DBLP DOI BibTeX RDF
9	D. Manjunath, Biplab Sikdar 0001	Variable Length Packet Switches: Input Queued Fabrics with Finite Buffers, Speedup, and Parallelism.	HiPC	2001	DBLP DOI BibTeX RDF
9	Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani	Effective Lossy Queue Languages.	ICALP	2001	DBLP DOI BibTeX RDF
9	Loo Hay Lee, Loon Ching Tang, Soon Chee Chan	Dispatching heuristic for wafer fabrication.	WSC	2001	DBLP DOI BibTeX RDF
9	Lisa Higham, Zhiying Liang	Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks.	DISC	2001	DBLP DOI BibTeX RDF
9	Malolan Chetlur, Philip A. Wilsey	Causality representation and cancellation mechanism in time warp simulations.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF	time warp, vector clocks, virtual time, logical time
9	Hiroto Aida, Yoshito Tobe, Masato Saito, Hideyuki Tokuda	A software approach to channel-state dependent scheduling for wireless LANs.	WOWMOM	2001	DBLP DOI BibTeX RDF
9	Hajer Tounsi, Farouk Kamoun, Laurent Toutain	Small Packets Aggregation in an IP Domain.	ISCC	2001	DBLP DOI BibTeX RDF
9	Hala M. Mokhtar, Rubem Pereira, Madjid Merabti	Resource Allocation Scheme for Deterministic Services of Video Streams.	ISCC	2001	DBLP DOI BibTeX RDF
9	Pinai Linwong, Akihiro Fujii, Yoshiaki Nemoto	Buffer-Size Approximation for the Geo/D/1/K Queue.	ICN (2)	2001	DBLP DOI BibTeX RDF
9	Taghrid Asfour, Ahmed Serhrouchni	The Coexistence of Multicast and Unicast over a GPS Capable Network.	ICN (1)	2001	DBLP DOI BibTeX RDF
9	Philippe Schnoebelen	Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems.	TACS	2001	DBLP DOI BibTeX RDF
9	J. Robert Heath, Andrew Tan	Modeling, Design, Virtual and Physical Prototyping, Testing, and Verification of a Multifunctional Processor Queue for a Single-Chip Multiprocessor Architecture.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Real-time reconfigurable architecture, analytic functional modeling, real-time testing and functional/performance verification, design, FPGA prototyping
9	Hyunyoung Lee, Jennifer L. Welch	Randomized shared queues.	PODC	2001	DBLP DOI BibTeX RDF
9	Andrew Sohn, Yuetsu Kodama, Jui-Yuan Ku, Mitsuhisa Sato, Yoshinori Yamaguchi	Tolerating Communication Latency through Dynamic Thread Invocation in a Multithreaded Architecture.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
9	Ralph Etienne-Cummings, Matthew A. Clapp	Architecture for source localization with a linear ultrasonic array.	ISCAS (3)	2001	DBLP DOI BibTeX RDF