10 papers · ranked by Valyu relevance
Yoshiharu Ikutani, Takeshi D. Itoh, Takatomi Kubo
The understanding of brain activity during program comprehension have advanced thanks to noninvasive neuroimaging techniques, such as functional magnetic resonance imaging (fMRI). However, individual neuroimaging studies of program comprehension often provided inconsistent results and made it difficult to identify the…
Rasha Omar, Mostafa Abbas, Ahmed El-Mahdy, Erven Rohou + 1 more
'Rafael Sachetto Oliveira'] With the widespread of multicore systems, automatic parallelization becomes more pronounced, particularly for legacy programs, where the source code is not generally available. An essential operation in any parallelization system is detecting data dependence among parallelization candidate…
Jannis Stoppe, Rolf Drechsler, Albert M. K. Cheng
The complexity of hardware designs is still increasing according to Moore's law. With embedded systems being more and more intertwined and working together not only with each other, but also with their environments as cyber physical systems (CPSs), more streamlined development workflows are employed to handle the…
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte + 1 more
Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs, but hitherto there has been no integration of full-scale…
Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi + 2 more
API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single object API protocols. However, the huge number of objects of typical…
Hector Florez, Mario Sánchez, Jorge Villalobos
Enterprise models are created for documenting and communicating the structure and state of Business and Information Technologies elements of an enterprise. After models are completed, they are mainly used to support analysis. Model analysis is an activity typically based on human skills and due to the size and…
Zishuai Wang, Chongxiao Liang, Xiaoai Zhang, Wenkang Wei + 1 more
Genomic breeding has become increasingly data-intensive, yet the practical integration of heterogeneous bioinformatics tools into coherent analytical workflows remains a major bottleneck. To address this, we present BOLE, a knowledge-enhanced multi-agent AI framework for autonomous genomic breeding analysis. By…
Matej Medla, Dušan Žitňan
TickMotion is a Python-based software tool designed for the post hoc analysis of video recordings that capture movements or muscle contractions in insects. It provides a simple, fast, and automated approach for semi-quantitative assessment of motion by measuring the “pixel activity” – changes in pixel intensity or…
Felipe Engelberger, Jonathan D. Zakary, Georg Künze
Recent developments in machine learning have greatly facilitated the design of proteins with improved properties. However, accurately assessing the contributions of an individual or multiple amino acid mutations to overall protein stability to select the most promising mutants remains a challenge. Knowing the specific…
Jeremy Li, Alex Rubinsteyn, Sergey Feldman, Timothy O’Donnell + 18 more
Scientific computing has become a central component of modern scientific discovery. Yet many computational tools are developed by small, specialized teams under incentives that encourage the release of rapidly prototyped tooling without commensurate attention to engineering concerns, including performance and…