ベスト会議論文

学術会議のベスト / 受賞論文を年別にまとめています。
5,817 件中 1,831 から 1,860 までを表示しています。
時間会議ベスト ペーパー
2020MMSysPC-MCU: point cloud multipoint control unit for multi-user holoconferencing systems
2020MMSysA pipeline for multiparty volumetric video conferencing: transmission of point clouds over low latency DASH
2020MMSysQuRate: power-efficient mobile immersive video streaming
2020MobiComHummingbird: Energy Efficient GPS Receiver for Small Satellites
2020MobiComM-Cube: a millimeter-wave massive MIMO software radio
2020MobiComSniffing visible light communication through walls
2020MobisysSonicPrint: a generally adoptable and secure fingerprint biometrics in smart devices
2020MODELSPapyrus for gamers, let's play modeling
2020MODELSModel-based fleet deployment of edge computing applications
2020MODELSInteractive metamodel/model co-evolution using unsupervised learning and multi-objective search
2020MODELSSemantic comparisons of Alloy models
2020NeurIPSNo-Regret Learning Dynamics for Extensive-Form Correlated Equilibrium
2020NeurIPSImproved guarantees and a multiple-descent curve for Column Subset Selection and the Nystrom method
2020NeurIPSLanguage Models are Few-Shot Learners
2020NSDILearning in situ: a randomized experiment in video streaming
2020NSDIAmphiLight: Direct Air-Water Communication with Laser Light
2020NSDIUnderstanding, Detecting and Localizing Partial Failures in Large System Software
2020OSDIhXDP: Efficient Software Packet Processing on FPGA NICs
2020OSDIByzantine Ordered Consensus without Byzantine Oligarchy
2020OSDIVirtual Consensus in Delos
2020PADSPrecise Virtual Time Advancement for Network Emulation
2020PASCPerformance Evaluation of a Two-Dimensional Flood Model on Heterogeneous High-Performance Computing Architectures
2020PLDIFrom folklore to fact: comparing implementations of stacks and continuations
2020PLDIFast graph simplification for interleaved Dyck-reachability
2020PLDIFrom folklore to fact: comparing implementations of stacks and continuations Authors: Kavon Farvardin, John Reppy
2020PLDIValidating SMT solvers via semantic fusion
2020PLDIArmada: low-effort verification of high-performance concurrent programs
2020PLDIData-driven inference of representation invariants
2020PODSA Framework for Adversarially Robust Streaming Algorithms
2020QRSHave it Your Way: Generating Customized Log Datasets with a Model-Driven Simulation Testbed