19 papers:
DAC-2015-ThieleAE #analysis #scheduling- Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling (DT, PA, RE), p. 6.
FASE-2015-CanalS #adaptation #communication #modelling- Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
- DAC-2014-SchneiderPP #agile #analysis #multi
- MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis (JS, JP, SP), p. 6.
LCTES-2014-BallabrigaCR #analysis- Cache-related preemption delay analysis for FIFO caches (CB, LKC, AR), pp. 33–42.
DATE-2013-GuanYL0 #analysis #approach #estimation- FIFO cache analysis for WCET estimation: a quantitative approach (NG, XY, ML, WY), pp. 296–301.
- DATE-2013-HelmstetterCGMV #performance #simulation #using
- Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications (CH, JC, BG, MM, PV), pp. 1185–1188.
PODS-2011-ShengT #problem- FIFO indexes for decomposable problems (CS, YT), pp. 25–35.
- DATE-2010-HaquePJP #approach #embedded #named #performance #policy #simulation
- DEW: A fast level 1 cache simulation approach for embedded processors with FIFO replacement policy (MSH, JP, AJ, SP), pp. 496–501.
SAC-2010-SchiperP #algorithm #flexibility #multi #performance- Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms (NS, FP), pp. 418–422.
SAS-2009-GrundR #abstract interpretation- Abstract Interpretation of FIFO Replacement (DG, JR), pp. 120–136.
AdaEurope-2008-Evequoz #concurrent #performance #using #word- Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives (CE), pp. 59–72.
- DATE-2007-DuboisMAWLW #analysis #embedded #quality
- Test quality analysis and improvement for an embedded asynchronous FIFO (TD, EJM, MA, PW, EL, CW), pp. 859–864.
- DATE-2007-WielageMAW #design #embedded #performance
- Design and DfT of a high-speed area-efficient embedded asynchronous FIFO (PW, EJM, MA, CW), pp. 853–858.
VMCAI-2006-GhafariT- Piecewise FIFO Channels Are Analyzable (NG, RJT), pp. 252–266.
- DATE-2001-PintoMEJ #constraints #scheduling
- Constraint satisfaction for storage files with Fifos or stacks during scheduling (CAAP, BM, KvE, JAGJ), p. 824.
CAV-1998-AbdullaBJ #analysis #bound #on the fly- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (PAA, AB, BJ), pp. 305–318.
ICALP-1997-BouajjaniH #analysis #reachability #set- Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract) (AB, PH), pp. 560–570.
- EDAC-1994-AGZS #functional #testing
- Functional Tests for Ring-Address SRAM-type FIFOs (AJvdG, YZ, IS), p. 666.
TOOLS-USA-1993-ChangT #message passing- The Object Support via FIFO-Links on Message-Passing Systems (WTC, CCT), pp. 231–238.
