5 of Latest Published Articles:
Operating Systems
#OperatingSystems
π Compact NUMA-Aware Locks
π₯ Dave Dice, Alex Kogan
π PDF
π Time Protection: the Missing OS Abstraction
π₯ Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
π PDF
π T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
π₯ Takumi Shimada, Takeshi Yashiro, Ken Sakamura
π PDF
π Revitalizing Copybacks in Modern SSDs: Why and How
π₯ Duwon Hong, Myungsuk Kim, Jisung Park, Myoungsoo Jung, Jihong Kim
π PDF
π Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
π₯ Mihir Parang Mehta
π PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
π Compact NUMA-Aware Locks
π₯ Dave Dice, Alex Kogan
π PDF
π Time Protection: the Missing OS Abstraction
π₯ Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
π PDF
π T-Visor: A Hypervisor for Mixed Criticality Embedded Real-time System with Hardware Virtualization Support
π₯ Takumi Shimada, Takeshi Yashiro, Ken Sakamura
π PDF
π Revitalizing Copybacks in Modern SSDs: Why and How
π₯ Duwon Hong, Myungsuk Kim, Jisung Park, Myoungsoo Jung, Jihong Kim
π PDF
π Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
π₯ Mihir Parang Mehta
π PDF
#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Performance
#Performance
π OpenCL Performance Prediction using Architecture-Independent Features
π₯ Beau Johnston, Greg Falzon, Josh Milthorpe
π PDF
π Randomized Work Stealing versus Sharing in Large-scale Systems with Non-exponential Job Sizes
π₯ Benny Van Houdt
π PDF
π Splitability Annotations: Optimizing Black-Box Function Composition in Existing Libraries
π₯ Shoumik Palkar, Matei Zaharia
π PDF
π A Comparative Measurement Study of Deep Learning as a Service Framework
π₯ Yanzhao Wu, Ling Liu, Calton Pu, Wenqi Cao, Semih Sahin, Wenqi Wei, Qi Zhang
π PDF
π On Coding for Reliable VNF Chaining in DCNs
π₯ Anna Engelmann, Admela Jukan, Rastin Pries
π PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
π OpenCL Performance Prediction using Architecture-Independent Features
π₯ Beau Johnston, Greg Falzon, Josh Milthorpe
π PDF
π Randomized Work Stealing versus Sharing in Large-scale Systems with Non-exponential Job Sizes
π₯ Benny Van Houdt
π PDF
π Splitability Annotations: Optimizing Black-Box Function Composition in Existing Libraries
π₯ Shoumik Palkar, Matei Zaharia
π PDF
π A Comparative Measurement Study of Deep Learning as a Service Framework
π₯ Yanzhao Wu, Ling Liu, Calton Pu, Wenqi Cao, Semih Sahin, Wenqi Wei, Qi Zhang
π PDF
π On Coding for Reliable VNF Chaining in DCNs
π₯ Anna Engelmann, Admela Jukan, Rastin Pries
π PDF
#Performance
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
π Decidable Verification of Uninterpreted Programs
π₯ Umang Mathur, P. Madhusudan, Mahesh Viswanathan
π PDF
π Making root cause analysis feasible for large code bases: a solution approach for a climate model
π₯ Daniel J. Milroy, Allison H. Baker, Dorit M. Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser
π PDF
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Dynamic Type Inference for Gradual Hindley--Milner Typing
π₯ Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
π PDF
π Trace Abstraction Modulo Probability
π₯ Calvin Smith, Justin Hsu, Aws Albarghouthi
π PDF
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Survey on Vision-based Path Prediction
π₯ Tsubasa Hirakawa, Takayoshi Yamashita, Toru Tamaki, Hironobu Fujiyoshi
π PDF
π Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation
π₯ Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John Duchi, Russ Tedrake
π PDF
π Maintaining Grasps within Slipping Bound by Monitoring Incipient Slip
π₯ Siyuan Dong, Daolin Ma, Elliott Donlon, Alberto Rodriguez
π PDF
π Tilt estimator for 3D non-rigid pendulum based on a tri-axial accelerometer and gyrometer
π₯ Mehdi Benallegue, Abdelaziz Benallegue, Yacine Chitour
π PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Survey on Vision-based Path Prediction
π₯ Tsubasa Hirakawa, Takayoshi Yamashita, Toru Tamaki, Hironobu Fujiyoshi
π PDF
π Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation
π₯ Matthew O'Kelly, Aman Sinha, Hongseok Namkoong, John Duchi, Russ Tedrake
π PDF
π Maintaining Grasps within Slipping Bound by Monitoring Incipient Slip
π₯ Siyuan Dong, Daolin Ma, Elliott Donlon, Alberto Rodriguez
π PDF
π Tilt estimator for 3D non-rigid pendulum based on a tri-axial accelerometer and gyrometer
π₯ Mehdi Benallegue, Abdelaziz Benallegue, Yacine Chitour
π PDF
#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation
π A nearly optimal algorithm to decompose binary forms
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Ludovic Perret, Elias Tsigaridas
π PDF
π Learning Distributed Representations of Symbolic Structure Using Binding and Unbinding Operations
π₯ Shuai Tang, Paul Smolensky, Virginia R. de Sa
π PDF
π Reducing the complexity for class group computations using small defining polynomials
π₯ Alexandre GΓ©lin
π PDF
π On the complexity of class group computations for large degree number fields
π₯ Alexandre GΓ©lin
π PDF
π Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
π₯ Simon Abelard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
π A nearly optimal algorithm to decompose binary forms
π₯ MatΓas Bender, Jean-Charles FaugΓ¨re, Ludovic Perret, Elias Tsigaridas
π PDF
π Learning Distributed Representations of Symbolic Structure Using Binding and Unbinding Operations
π₯ Shuai Tang, Paul Smolensky, Virginia R. de Sa
π PDF
π Reducing the complexity for class group computations using small defining polynomials
π₯ Alexandre GΓ©lin
π PDF
π On the complexity of class group computations for large degree number fields
π₯ Alexandre GΓ©lin
π PDF
π Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus
π₯ Simon Abelard
π PDF
#SymbolicComputation
AI Python & arXiv Channel
5 of Latest Published Articles:
Sound
#Sound
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Truly unsupervised acoustic word embeddings using weak top-down constraints in encoder-decoder models
π₯ Herman Kamper
π PDF
π End-to-end Models with auditory attention in Multi-channel Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Sequence-to-sequence Models for Small-Footprint Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Deep Learning for Tube Amplifier Emulation
π₯ Eero-Pekka DamskΓ€gg, Lauri Juvela, Etienne Thuillier, Vesa VΓ€limΓ€ki
π PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
π Referenceless Performance Evaluation of Audio Source Separation using Deep Neural Networks
π₯ Emad M. Grais, Hagen Wierstorf, Dominic Ward, Russell Mason, Mark D. Plumbley
π PDF
π Truly unsupervised acoustic word embeddings using weak top-down constraints in encoder-decoder models
π₯ Herman Kamper
π PDF
π End-to-end Models with auditory attention in Multi-channel Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Sequence-to-sequence Models for Small-Footprint Keyword Spotting
π₯ Haitong Zhang, Junbo Zhang, Yujun Wang
π PDF
π Deep Learning for Tube Amplifier Emulation
π₯ Eero-Pekka DamskΓ€gg, Lauri Juvela, Etienne Thuillier, Vesa VΓ€limΓ€ki
π PDF
#Sound
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
π Exceptionally Monadic Error Handling
π₯ Jan Malakhovski
π PDF
π Learning to Represent Edits
π₯ Pengcheng Yin, Graham Neubig, Miltiadis Allamanis, Marc Brockschmidt, Alexander L. Gaunt
π PDF
π An Empirical Analysis of Vulnerabilities in Python Packages for Web Applications
π₯ Jukka Ruohonen
π PDF
π SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode
π₯ Martina VitovskΓ‘, Marek Chalupa, Jan StrejΔek
π PDF
π Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study
π₯ Pilar RodrΓguez, Emilia Mendes, Burak Turhan
π PDF
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
π GA Based Q-Attack on Community Detection
π₯ Jinyin Chen, Lihong Chen, Yixian Chen, Minghao Zhao, Shanqing Yu, Qi Xuan, Xiaoniu Yang
π PDF
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Matching Graphs with Community Structure: A Concentration of Measure Approach
π₯ F. Shirani, S. Garg, E. Erkip
π PDF
π A Large-scale Study of Social Media Sources in News Articles
π₯ Md Main Uddin Rony, Mohammad Yousuf, Naeemul Hassan
π PDF
π Birds of a Feather Flock Together? A Study of Developers' Flocking and Migration Behavior in GitHub and Stack Overflow
π₯ Michael Mu Sun, Akash Ghosh, Rajesh Sharma, Sandeep Kaur Kuttal
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
π GA Based Q-Attack on Community Detection
π₯ Jinyin Chen, Lihong Chen, Yixian Chen, Minghao Zhao, Shanqing Yu, Qi Xuan, Xiaoniu Yang
π PDF
π Social Learning with Questions
π₯ Grant Schoenebeck, Shih-Tang Su, Vijay Subramanian
π PDF
π Matching Graphs with Community Structure: A Concentration of Measure Approach
π₯ F. Shirani, S. Garg, E. Erkip
π PDF
π A Large-scale Study of Social Media Sources in News Articles
π₯ Md Main Uddin Rony, Mohammad Yousuf, Naeemul Hassan
π PDF
π Birds of a Feather Flock Together? A Study of Developers' Flocking and Migration Behavior in GitHub and Stack Overflow
π₯ Michael Mu Sun, Akash Ghosh, Rajesh Sharma, Sandeep Kaur Kuttal
π PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
5 of Latest Published Articles:
Systems and Control
#SystemsandControl
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Control Aware Radio Resource Allocation in Low Latency Wireless Control Systems
π₯ Mark Eisen, Mohammad M. Rashid, Konstantinos Gatsis, Dave Cavalcanti, Nageen Himayat, Alejandro Ribeiro
π PDF
π A Two-layer Decentralized Control Architecture for DER Coordination
π₯ Thomas Navidi, Abbas El Gamal, Ram Rajagopal
π PDF
π On finite-time and fixed-time consensus algorithms for dynamic networks switching among disconnected digraphs
π₯ David GΓ³mez-GutiΓ©rrez, Carlos Renato VΓ‘zquez, Sergej ΔelikovskΓ½, Juan Diego SΓ‘nchez-Torres, Javier Ruiz LeΓ³n
π PDF
π Multirobot Coordination with Counting Temporal Logics
π₯ Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
π PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
π Improving the Modularity of AUV Control Systems using Behaviour Trees
π₯ Christopher Iliffe Sprague, Γzer Γzkahraman, Andrea Munafo, Rachel Marlow, Alexander Phillips, Petter Γgren
π PDF
π Control Aware Radio Resource Allocation in Low Latency Wireless Control Systems
π₯ Mark Eisen, Mohammad M. Rashid, Konstantinos Gatsis, Dave Cavalcanti, Nageen Himayat, Alejandro Ribeiro
π PDF
π A Two-layer Decentralized Control Architecture for DER Coordination
π₯ Thomas Navidi, Abbas El Gamal, Ram Rajagopal
π PDF
π On finite-time and fixed-time consensus algorithms for dynamic networks switching among disconnected digraphs
π₯ David GΓ³mez-GutiΓ©rrez, Carlos Renato VΓ‘zquez, Sergej ΔelikovskΓ½, Juan Diego SΓ‘nchez-Torres, Javier Ruiz LeΓ³n
π PDF
π Multirobot Coordination with Counting Temporal Logics
π₯ Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
π PDF
#SystemsandControl
AI Python & arXiv Channel
Forwarded from arXiv
To access articles related to a category, touch the HashTag:
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
π Artificial Intelligence
π #ArtificialIntelligence π
π Hardware Architecture
π #HardwareArchitecture π
π Computational Complexity
π #ComputationalComplexity π
π Computational Engineering, Finance, and Science
π #ComputationalEngineeringFinanceandScience π
π Computational Geometry
π #ComputationalGeometry π
π Computation and Language
π #ComputationandLanguage π
π Cryptography and Security
π #CryptographyandSecurity π
π Computer Vision and Pattern Recognition
π #ComputerVisionandPatternRecognition π
π Computers and Society
π #ComputersandSociety π
π Databases
π #Databases π
π Distributed, Parallel, and Cluster Computing
π #DistributedParallelandClusterComputing π
π Digital Libraries
π #DigitalLibraries π
π Discrete Mathematics
π #DiscreteMathematics π
π Data Structures and Algorithms
π #DataStructuresandAlgorithms π
π Emerging Technologies
π #EmergingTechnologies π
π Formal Languages and Automata Theory
π #FormalLanguagesandAutomataTheory π
π General Literature
π #GeneralLiterature π
π Graphics
π #Graphics π
π Computer Science and Game Theory
π #ComputerScienceandGameTheory π
π Human-Computer Interaction
π #Human-ComputerInteraction π
π Information Retrieval
π #InformationRetrieval π
π Information Theory
π #InformationTheory π
π Learning
π #Learning π
π Logic in Computer Science
π #LogicinComputerScience π
π Multiagent Systems
π #MultiagentSystems π
π Multimedia
π #Multimedia π
π Mathematical Software
π #MathematicalSoftware π
π Numerical Analysis
π #NumericalAnalysis π
π Neural and Evolutionary Computing
π #NeuralandEvolutionaryComputing π
π Networking and Internet Architecture
π #NetworkingandInternetArchitecture π
π Other Computer Science
π #OtherComputerScience π
π Operating Systems
π #OperatingSystems π
π Performance
π #Performance π
π Programming Languages
π #ProgrammingLanguages π
π Robotics
π #Robotics π
π Symbolic Computation
π #SymbolicComputation π
π Sound
π #Sound π
π Software Engineering
π #SoftwareEngineering π
π Social and Information Networks
π #SocialandInformationNetworks π
π Systems and Control
π #SystemsandControl π
β¨οΈ arXiv Channel
This media is not supported in your browser
VIEW IN TELEGRAM
βοΈ ΩΨ²Ψ§Ψ± ΩΩΨ± Ψ΄Ψ―ΫΩ
βοΈ
Ψ³ΩΎΨ§Ψ³ ΩΫΪΩ Ψ§Ψ² Ψ’ΩΨ§Ϋ Ψ§Ω ΫΨ± Ψ¬Ω Ψ§ΨΉΨͺ Ϊ©Ω ΨΨ§Ω Ϋ Ω Ψ§ΩΫ Ω Ψ§ Ψ΄Ψ―ΩΨ― Ω Ψ§Ψ² Ψ΄Ω Ψ§ Ϊ©Ω Ω Ψ·Ψ§ΩΨ¨ Ϊ©Ψ§ΩΨ§Ω Ψ±Ψ§ Ψ―ΩΨ¨Ψ§Ω Ω ΫΪ©ΩΫΨ―.
β¨οΈ arXiv Channel
Ψ³ΩΎΨ§Ψ³ ΩΫΪΩ Ψ§Ψ² Ψ’ΩΨ§Ϋ Ψ§Ω ΫΨ± Ψ¬Ω Ψ§ΨΉΨͺ Ϊ©Ω ΨΨ§Ω Ϋ Ω Ψ§ΩΫ Ω Ψ§ Ψ΄Ψ―ΩΨ― Ω Ψ§Ψ² Ψ΄Ω Ψ§ Ϊ©Ω Ω Ψ·Ψ§ΩΨ¨ Ϊ©Ψ§ΩΨ§Ω Ψ±Ψ§ Ψ―ΩΨ¨Ψ§Ω Ω ΫΪ©ΩΫΨ―.
β¨οΈ arXiv Channel