5 of Latest Published Articles:
Operating Systems
#OperatingSystems
🗒 Parallel Architecture Hardware and General Purpose Operating System Co-design
👥 Oskar Schirmer
📗 PDF
🗒 Integrating Proactive Mode Changes in Mixed Criticality Systems
👥 Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
📗 PDF
🗒 LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
👥 Julian Stecklina, Thomas Prescher
📗 PDF
🗒 Blocking time under basic priority inheritance: Polynomial bound and exact computation
👥 Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
📗 PDF
🗒 Minimizing Event-Handling Latencies in Secure Virtual Machines
👥 Janis Danisevskis, Michael Peter, Jan Nordholz
📗 PDF
#OperatingSystems
AI Python & arXiv Channel
Operating Systems
#OperatingSystems
🗒 Parallel Architecture Hardware and General Purpose Operating System Co-design
👥 Oskar Schirmer
🗒 Integrating Proactive Mode Changes in Mixed Criticality Systems
👥 Flavio R Massaro Jr., Paulo S. Martins, Edson L. Ursini
🗒 LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels
👥 Julian Stecklina, Thomas Prescher
🗒 Blocking time under basic priority inheritance: Polynomial bound and exact computation
👥 Paolo Torroni, Zeynep Kiziltan, Eugenio Faldella
🗒 Minimizing Event-Handling Latencies in Secure Virtual Machines
👥 Janis Danisevskis, Michael Peter, Jan Nordholz
#OperatingSystems
AI Python & arXiv Channel
5 of Latest Published Articles:
Performance
#Performance
🗒 A Comparative Study of Containers and Virtual Machines in Big Data Environment
👥 Qi Zhang, Ling Liu, Calton Pu, Qiwei Dou, Liren Wu, Wei Zhou
📗 PDF
🗒 Restructuring Batch Normalization to Accelerate CNN Training
👥 Daejin Jung, Wonkyung Jung, and Byeongho Kim, Sunjung Lee, Wonjong Rhee, Jung Ho Ahn
📗 PDF
🗒 Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
👥 Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
📗 PDF
🗒 A Survey on Agent-based Simulation using Hardware Accelerators
👥 Jiajian Xiao, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois Knoll
📗 PDF
🗒 Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
👥 Ricardo Nobre, Luís Reis, João M. P. Cardoso
📗 PDF
#Performance
AI Python & arXiv Channel
Performance
#Performance
🗒 A Comparative Study of Containers and Virtual Machines in Big Data Environment
👥 Qi Zhang, Ling Liu, Calton Pu, Qiwei Dou, Liren Wu, Wei Zhou
🗒 Restructuring Batch Normalization to Accelerate CNN Training
👥 Daejin Jung, Wonkyung Jung, and Byeongho Kim, Sunjung Lee, Wonjong Rhee, Jung Ho Ahn
🗒 Best-Effort FPGA Programming: A Few Steps Can Go a Long Way
👥 Jason Cong, Zhenman Fang, Yuchen Hao, Peng Wei, Cody Hao Yu, Chen Zhang, Peipei Zhou
🗒 A Survey on Agent-based Simulation using Hardware Accelerators
👥 Jiajian Xiao, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois Knoll
🗒 Compiler Phase Ordering as an Orthogonal Approach for Reducing Energy Consumption
👥 Ricardo Nobre, Luís Reis, João M. P. Cardoso
#Performance
AI Python & arXiv Channel
5 of Latest Published Articles:
Programming Languages
#ProgrammingLanguages
🗒 Datalog-based Scalable Semantic Diffing of Concurrent Programs
👥 Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
📗 PDF
🗒 Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
👥 Robert Atkey, Sam Lindley
📗 PDF
🗒 Competitive Parallelism: Getting Your Priorities Right
👥 Stefan K. Muller, Umut A. Acar, Robert Harper
📗 PDF
🗒 Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
👥 Martin Sulzmann, Kai Stadtmueller
📗 PDF
🗒 A modelling language for the effective design of Java annotations
👥 Irene Córdoba, Juan de Lara
📗 PDF
#ProgrammingLanguages
AI Python & arXiv Channel
Programming Languages
#ProgrammingLanguages
🗒 Datalog-based Scalable Semantic Diffing of Concurrent Programs
👥 Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
🗒 Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
👥 Robert Atkey, Sam Lindley
🗒 Competitive Parallelism: Getting Your Priorities Right
👥 Stefan K. Muller, Umut A. Acar, Robert Harper
🗒 Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
👥 Martin Sulzmann, Kai Stadtmueller
🗒 A modelling language for the effective design of Java annotations
👥 Irene Córdoba, Juan de Lara
#ProgrammingLanguages
AI Python & arXiv Channel
5 of Latest Published Articles:
Robotics
#Robotics
🗒 CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving
👥 Xiaodan Liang, Tairui Wang, Luona Yang, Eric Xing
📗 PDF
🗒 Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics
👥 Nabil Simaan, Rashid M. Yasin, Long Wang
📗 PDF
🗒 Parallax Bundle Adjustment on Manifold with Convexified Initialization
👥 Liyang Liu, Teng Zhang, Yi Liu, Brenton Leighton, Liang Zhao, Shoudong Huang, Gamini Dissanayake
📗 PDF
🗒 A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
👥 Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
📗 PDF
🗒 Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video Demonstration
👥 De-An Huang, Suraj Nair, Danfei Xu, Yuke Zhu, Animesh Garg, Li Fei-Fei, Silvio Savarese, Juan Carlos Niebles
📗 PDF
#Robotics
AI Python & arXiv Channel
Robotics
#Robotics
🗒 CIRL: Controllable Imitative Reinforcement Learning for Vision-based Self-driving
👥 Xiaodan Liang, Tairui Wang, Luona Yang, Eric Xing
🗒 Medical Technologies and Challenges of Robot Assisted Minimally Invasive Intervention and Diagnostics
👥 Nabil Simaan, Rashid M. Yasin, Long Wang
🗒 Parallax Bundle Adjustment on Manifold with Convexified Initialization
👥 Liyang Liu, Teng Zhang, Yi Liu, Brenton Leighton, Liang Zhao, Shoudong Huang, Gamini Dissanayake
🗒 A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
👥 Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
🗒 Neural Task Graphs: Generalizing to Unseen Tasks from a Single Video Demonstration
👥 De-An Huang, Suraj Nair, Danfei Xu, Yuke Zhu, Animesh Garg, Li Fei-Fei, Silvio Savarese, Juan Carlos Niebles
#Robotics
AI Python & arXiv Channel
5 of Latest Published Articles:
Symbolic Computation
#SymbolicComputation
🗒 Orbits of monomials and factorization into products of linear forms
👥 Pascal Koiran, Nicolas Ressayre
📗 PDF
🗒 Multistationarity for Fewnomial Chemical Reaction Networks
👥 Elisenda Feliu, Martin Helmer
📗 PDF
🗒 A Purely Functional Computer Algebra System Embedded in Haskell
👥 Hiromi Ishii
📗 PDF
🗒 Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
👥 David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
📗 PDF
🗒 Fast Hermite interpolation and evaluation over finite fields of characteristic two
👥 Nicholas Coxon
📗 PDF
#SymbolicComputation
AI Python & arXiv Channel
Symbolic Computation
#SymbolicComputation
🗒 Orbits of monomials and factorization into products of linear forms
👥 Pascal Koiran, Nicolas Ressayre
🗒 Multistationarity for Fewnomial Chemical Reaction Networks
👥 Elisenda Feliu, Martin Helmer
🗒 A Purely Functional Computer Algebra System Embedded in Haskell
👥 Hiromi Ishii
🗒 Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
👥 David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
🗒 Fast Hermite interpolation and evaluation over finite fields of characteristic two
👥 Nicholas Coxon
#SymbolicComputation
AI Python & arXiv Channel
5 of Latest Published Articles:
Sound
#Sound
🗒 Phase reconstruction from amplitude spectrograms based on von-Mises-distribution deep neural network
👥 Shinnosuke Takamichi, Yuki Saito, Norihiro Takamune, Daichi Kitamura, Hiroshi Saruwatari
📗 PDF
🗒 Interpreting and Explaining Deep Neural Networks for Classification of Audio Signals
👥 Sören Becker, Marcel Ackermann, Sebastian Lapuschkin, Klaus-Robert Müller, Wojciech Samek
📗 PDF
🗒 On Training Recurrent Networks with Truncated Backpropagation Through Time in Speech Recognition
👥 Hao Tang, James Glass
📗 PDF
🗒 Foreign English Accent Adjustment by Learning Phonetic Patterns
👥 Fedor Kitashov, Elizaveta Svitanko, Debojyoti Dutta
📗 PDF
🗒 Approximate k-space models and Deep Learning for fast photoacoustic reconstruction
👥 Andreas Hauptmann, Ben Cox, Felix Lucka, Nam Huynh, Marta Betcke, Paul Beard, Simon Arridge
📗 PDF
#Sound
AI Python & arXiv Channel
Sound
#Sound
🗒 Phase reconstruction from amplitude spectrograms based on von-Mises-distribution deep neural network
👥 Shinnosuke Takamichi, Yuki Saito, Norihiro Takamune, Daichi Kitamura, Hiroshi Saruwatari
🗒 Interpreting and Explaining Deep Neural Networks for Classification of Audio Signals
👥 Sören Becker, Marcel Ackermann, Sebastian Lapuschkin, Klaus-Robert Müller, Wojciech Samek
🗒 On Training Recurrent Networks with Truncated Backpropagation Through Time in Speech Recognition
👥 Hao Tang, James Glass
🗒 Foreign English Accent Adjustment by Learning Phonetic Patterns
👥 Fedor Kitashov, Elizaveta Svitanko, Debojyoti Dutta
🗒 Approximate k-space models and Deep Learning for fast photoacoustic reconstruction
👥 Andreas Hauptmann, Ben Cox, Felix Lucka, Nam Huynh, Marta Betcke, Paul Beard, Simon Arridge
#Sound
AI Python & arXiv Channel
5 of Latest Published Articles:
Software Engineering
#SoftwareEngineering
🗒 Datalog-based Scalable Semantic Diffing of Concurrent Programs
👥 Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
📗 PDF
🗒 Rule- and context-based dynamic business process modelling and simulation
👥 Olegas Vasilecas, Diana Kalibatiene, Dejan Lavbič
📗 PDF
🗒 A modelling language for the effective design of Java annotations
👥 Irene Córdoba, Juan de Lara
📗 PDF
🗒 Practical Program Repair via Bytecode Mutation
👥 Ali Ghanbari, Lingming Zhang
📗 PDF
🗒 CANAL: A Cache Timing Analysis Framework via LLVM Transformation
👥 Chungha Sung, Brandon Paulsen, Chao Wang
📗 PDF
#SoftwareEngineering
AI Python & arXiv Channel
Software Engineering
#SoftwareEngineering
🗒 Datalog-based Scalable Semantic Diffing of Concurrent Programs
👥 Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
🗒 Rule- and context-based dynamic business process modelling and simulation
👥 Olegas Vasilecas, Diana Kalibatiene, Dejan Lavbič
🗒 A modelling language for the effective design of Java annotations
👥 Irene Córdoba, Juan de Lara
🗒 Practical Program Repair via Bytecode Mutation
👥 Ali Ghanbari, Lingming Zhang
🗒 CANAL: A Cache Timing Analysis Framework via LLVM Transformation
👥 Chungha Sung, Brandon Paulsen, Chao Wang
#SoftwareEngineering
AI Python & arXiv Channel
5 of Latest Published Articles:
Social and Information Networks
#SocialandInformationNetworks
🗒 Network Classification in Temporal Networks Using Motifs
👥 Kun Tu, Jian Li, Don Towsley, Dave Braines, Liam D. Turner
📗 PDF
🗒 Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System
👥 Lucas Lima, Julio C. S. Reis, Philipe Melo, Fabricio Murai, Leandro Araújo, Pantelis Vikatos, Fabrício Benevenuto
📗 PDF
🗒 Event Detection and Retrieval on Social Media
👥 Manos Schinas, Symeon Papadopoulos, Yiannis Kompatsiaris, Pericles Mitkas
📗 PDF
🗒 Threshold $q$-voter model
👥 Allan R. Vieira, Celia Anteneodo
📗 PDF
🗒 On a Class of Stochastic Multilayer Networks
👥 Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
📗 PDF
#SocialandInformationNetworks
AI Python & arXiv Channel
Social and Information Networks
#SocialandInformationNetworks
🗒 Network Classification in Temporal Networks Using Motifs
👥 Kun Tu, Jian Li, Don Towsley, Dave Braines, Liam D. Turner
🗒 Inside the Right-Leaning Echo Chambers: Characterizing Gab, an Unmoderated Social System
👥 Lucas Lima, Julio C. S. Reis, Philipe Melo, Fabricio Murai, Leandro Araújo, Pantelis Vikatos, Fabrício Benevenuto
🗒 Event Detection and Retrieval on Social Media
👥 Manos Schinas, Symeon Papadopoulos, Yiannis Kompatsiaris, Pericles Mitkas
🗒 Threshold $q$-voter model
👥 Allan R. Vieira, Celia Anteneodo
🗒 On a Class of Stochastic Multilayer Networks
👥 Bo Jiang, Philippe Nain, Don Towsley, Saikat Guha
#SocialandInformationNetworks
AI Python & arXiv Channel
5 of Latest Published Articles:
Systems and Control
#SystemsandControl
🗒 Kernel-Based Learning for Smart Inverter Control
👥 Aditie Garg, Mana Jalali, Vassilis Kekatos, Nikolaos Gatsis
📗 PDF
🗒 A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
👥 Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
📗 PDF
🗒 On Controller Design for Systems on Manifolds in Euclidean Space
👥 Dong Eui Chang
📗 PDF
🗒 Effects of Load-Based Frequency Regulation on Distribution Network Operation
👥 Stephanie C. Ross, Gabrielle Vuylsteke, Johanna L. Mathieu
📗 PDF
🗒 Learning Functions in Large Networks requires Modularity and produces Multi-Agent Dynamics
👥 C. H. Huck Yang, Rise Ooi, Tom Hiscock, Victor Eguiluz, Jesper Tegner
📗 PDF
#SystemsandControl
AI Python & arXiv Channel
Systems and Control
#SystemsandControl
🗒 Kernel-Based Learning for Smart Inverter Control
👥 Aditie Garg, Mana Jalali, Vassilis Kekatos, Nikolaos Gatsis
🗒 A Reinforcement Learning Approach to Jointly Adapt Vehicular Communications and Planning for Optimized Driving
👥 Mayank K. Pal, Rupali Bhati, Anil Sharma, Sanjit K. Kaul, Saket Anand, P. B. Sujit
🗒 On Controller Design for Systems on Manifolds in Euclidean Space
👥 Dong Eui Chang
🗒 Effects of Load-Based Frequency Regulation on Distribution Network Operation
👥 Stephanie C. Ross, Gabrielle Vuylsteke, Johanna L. Mathieu
🗒 Learning Functions in Large Networks requires Modularity and produces Multi-Agent Dynamics
👥 C. H. Huck Yang, Rise Ooi, Tom Hiscock, Victor Eguiluz, Jesper Tegner
#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