Methodological monotheism across fields of science in contemporary quantitative research

no code yet • 10 Aug 2022

In relative terms, three patterns suggest linear models are hegemonic among Social Sciences.

Digital Libraries

TWEETS

Accelerating Task-based Iterative Applications

no code yet • 12 Aug 2022

By giving application programmers a way to express that a specific loop is creating the same task pattern on each iteration, we can create a single task DAG once and transform it into a cyclic graph.

Distributed, Parallel, and Cluster Computing

TWEETS

Modeling Task Mapping for Data-intensive Applications in Heterogeneous Systems

no code yet • 12 Aug 2022

We show how this model can be utilized in different system design phases and present two novel mixed-integer linear programs to demonstrate the usage of the model.

Distributed, Parallel, and Cluster Computing Optimization and Control

TWEETS

Hypergraph reconstruction from noisy pairwise observations

no code yet • 12 Aug 2022

The network reconstruction task aims to estimate a complex system's structure from various data sources such as time series, snapshots, or interaction counts.

Social and Information Networks Physics and Society Applications

TWEETS

A Comparison of Spatiotemporal Visualizations for 3D Urban Analytics

no code yet • 10 Aug 2022

Although different visual strategies have been used in 3D urban visual analytics, the question of how effective these visual designs are at supporting spatiotemporal analysis on building surfaces remains open.

Human-Computer Interaction Computers and Society Graphics

TWEETS

ECI: a Customizable Cache Coherency Stack for Hybrid FPGA-CPU Architectures

no code yet • 15 Aug 2022

Unlike other accelerators, FPGAs are capable of supporting cache coherency, thereby turning them into a more powerful architectural option than just a peripheral accelerator.

Hardware Architecture Distributed, Parallel, and Cluster Computing

TWEETS

Exact Separation Logic

no code yet • 15 Aug 2022

In contrast, under-approximating (UX) program logics, such as incorrectness separation logic, are used to find true results and bugs: reported results and errors are reachable, but not all behaviour can be characterised.

Logic in Computer Science Programming Languages

TWEETS

Optimizing Irregular-Shaped Matrix-Matrix Multiplication on Multi-Core DSPs

no code yet • 11 Aug 2022

The experiments show that ftIMM can get better performance than the traditional GEMM implementations on multi-core DSPs in FT-m7032, yielding on up to 7. 2x performance improvement, when performing on irregular-shaped GEMMs.

Distributed, Parallel, and Cluster Computing

TWEETS

A Reflection on the Organic Growth of the Internet Protocol Stack

no code yet • 10 Aug 2022

In this paper we present a reflection around these changes, and attempt to formalize them by adding two additional protocol headers to the TCP/IP stack: one for security, and another for new functionalities.

Networking and Internet Architecture C.2.1; C.2.6

TWEETS

SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis

no code yet • 11 Aug 2022

MBA (mixed boolean and arithmetic) expressions are hard to simplify, so used for malware obfuscation to hinder analysts' diagnosis.

Cryptography and Security Programming Languages

TWEETS