22 papers:
- CIAA-2014-Ibarra #ambiguity #on the #problem #transducer
- On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers (OHI), pp. 211–225.
- DATE-2012-MuradoreQF #network #predict
- Predictive control of networked control systems over differentiated services lossy networks (RM, DQ, PF), pp. 1245–1250.
- ICPR-2010-ChenXF
- Optimized Entropy-constrained Vector Quantization of lossy Vector Map Compression (MC, MX, PF), pp. 722–725.
- FoSSaCS-2008-AbdullaHAMS #game studies #probability
- Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
- STOC-2008-DaitchS #algorithm #approximate #performance
- Faster approximate lossy generalized flow via interior point algorithms (SID, DAS), pp. 451–460.
- STOC-2008-PeikertW
- Lossy trapdoor functions and their applications (CP, BW), pp. 187–196.
- LICS-2008-ChambartS #complexity #recursion
- The Ordinal Recursive Complexity of Lossy Channel Systems (PC, PS), pp. 205–216.
- DATE-2007-AnisN #architecture #debugging #interactive #low cost #using
- Interactive presentation: Low cost debug architecture using lossy compression for silicon debug (EA, NN), pp. 225–230.
- CIKM-2004-ChundiR #documentation #on the
- On lossy time decompositions of time stamped documents (PC, DJR), pp. 437–445.
- FoSSaCS-2003-BertrandS #decidability #model checking
- Model Checking Lossy Channels Systems Is Probably Decidable (NB, PS), pp. 120–135.
- ICALP-2003-Rabinovich #analysis #probability
- Quantitative Analysis of Probabilistic Lossy Channel Systems (AMR), pp. 1008–1021.
- DATE-2002-KhazakaN #megamodelling
- Compact Macromodel for Lossy Coupled Transmission Lines (RK, MSN), p. 1114.
- ICALP-2001-AbdullaBB #effectiveness #queue
- Effective Lossy Queue Languages (PAA, LB, AB), pp. 639–651.
- TACAS-1999-AbdullaAB #bound #protocol #verification
- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol (PAA, AA, AB), pp. 208–222.
- ICPR-1998-Maeder #image
- Lossy compression effects on digital image matching (AJM), pp. 1626–1629.
- 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.
- DAC-1994-Nguyen #performance #simulation
- Efficient Simulation of Lossy and Dispersive Transmission Lines (TVN), pp. 622–627.
- FSE-1994-CeceFI #communication #fault
- Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
- DAC-1993-SriramK #approximate #performance
- Fast Approximation of the Transient Response of Lossy Transmision Line Trees (MS, SMK), pp. 691–696.
- DAC-1992-LinK #simulation
- Transient Simulation of Lossy Interconnect (SL, ESK), pp. 81–86.
- DAC-1992-RoychowdhuryNP #linear #simulation
- Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time (JSR, ARN, DOP), pp. 75–80.
- DAC-1991-RoychowdhuryP #performance #simulation
- Efficient Transient Simulation of Lossy Interconnect (JSR, DOP), pp. 740–745.