English
Related papers

Related papers: Can Broken Multicore Hardware be Mended?

200 papers

Not long ago, it was thought that only software applications and general purpose digital systems i.e. computers were prone to various types of attacks against their security. The underlying hardware, hardware implementations of these…

Cryptography and Security · Computer Science 2016-10-04 Muhammad Farooq-i-Azam , Muhammad Naeem Ayyaz

The hardware/software boundary in modern heterogeneous multicore computers is increasingly complex, and diverse across different platforms. A single memory access by a core or DMA engine traverses multiple hardware translation and caching…

Operating Systems · Computer Science 2017-03-21 Reto Achermann , Lukas Humbel , David Cock , Timothy Roscoe

To measure the fault diagnosis capability of a multiprocessor system with faulty links, Zhu et al. [Theoret. Comput. Sci. 758 (2019) 1--8] introduced the $h$-edge tolerable diagnosability. This kind of diagnosability is a generalization of…

Combinatorics · Mathematics 2019-04-16 Min Xu , Yulong Wei

It is well-known that two conjugate partitions have the same hook multiset. But two different partitions with the same hook multiset may not be conjugate to each other. In $1977$, Herman and Chung proposed the following question: What are…

Combinatorics · Mathematics 2015-01-08 Huan Xiong

Multi-modality is widely used in medical imaging, because it can provide multiinformation about a target (tumor, organ or tissue). Segmentation using multimodality consists of fusing multi-information to improve the segmentation. Recently,…

Image and Video Processing · Electrical Eng. & Systems 2020-07-17 Tongxue Zhou , Su Ruan , Stéphane Canu

Decomposing complex unitary evolution into a series of constituent components is a cornerstone of practical quantum information processing. While the decompostion of an $n\times n$ unitary into a series of $2\times2$ subunitaries is well…

Quantum Physics · Physics 2023-09-25 Christian Arends , Lasse Wolf , Jasmin Meinecke , Sonja Barkhofen , Tobias Weich , Tim Bartley

With the increasing complexity of software systems, it becomes very difficult to install, configure, adjust, and maintain them. As systems become more interconnected and diverse, system architects are less able to predict and design the…

Software Engineering · Computer Science 2024-03-04 Zahra Yazdanparast

Large number of cores and hardware resource sharing are two characteristics on multicore processors, which bring new challenges for the design of operating systems. How to locate and analyze the speedup restrictive factors in operating…

Operating Systems · Computer Science 2015-12-23 Yan Cui

In this paper the possibility of obtaining polarized beams in a high energy muon collider is discusssed

acc-phys · Physics 2008-11-26 D. Cline , B. Norum , R. Rossmanith

A metric for evaluation of overall metalens performance is presented. It is applied to determination of optimal operating spectral range of a metalens, both theoretically and experimentally. This metric is quite general and can be applied…

Determining whether a configurable software system has a performance bug or it was misconfigured is often challenging. While there are numerous debugging techniques that can support developers in this task, there is limited empirical…

Software Engineering · Computer Science 2022-03-22 Miguel Velez , Pooyan Jamshidi , Norbert Siegmund , Sven Apel , Christian Kästner

Optical fibers containing multiple cores are being developed towards capacity enhancement in space-division multiplexed optical communication networks. In many cases, the fibers are designed for negligible direct coupling of optical power…

Is perfect error correction always worth the trouble? A framework is presented for the analysis of error detection and correction in multi-level systems of communication that takes into account degrees of freedom attended and ignored by…

Information Theory · Computer Science 2020-01-15 Tom Sgouros

In this paper, we study a fault-tolerant control for systems consisting of multiple homogeneous components such as parallel processing machines. This type of system is often more robust to uncertainty compared to those with a single…

Optimization and Control · Mathematics 2020-12-03 Jalal Arabneydi , Amir G. Aghdam

Within the field of numerical multilinear algebra, block tensors are increasingly important. Accordingly, it is appropriate to develop an infrastructure that supports reasoning about block tensor computation. In this paper we establish…

Numerical Analysis · Mathematics 2011-10-04 Stefan Ragnarsson , Charles F. Van Loan

This work introduces a multidimensional generalization of the maximum bisection problem. A mixed integer linear programming formulation is proposed with the proof of its correctness. The numerical tests, made on the randomly generated…

Discrete Mathematics · Computer Science 2015-06-26 Zoran Maksimovic

We generalize the well-known broken stick problem in several ways, including a discrete "brick" analogue and a sequential "pick-up sticks/bricks" version. The limit behavior of the broken brick problem gives a combinatorial proof of the…

Combinatorics · Mathematics 2020-05-21 T. Kyle Petersen , Bridget Eileen Tenner

A full-wave numerical scheme of polarisability tensors evaluation is presented. The method accepts highly conducting bodies of arbitrary shape and explicitly accounts for the radiation as well as ohmic losses. The method is verified on…

Computational Physics · Physics 2017-12-07 L. Jelinek , O. Kratky , M. Capek

Suitable duals of multimodules are introduced and used to provide transposition contravariant right semi-adjunctions (and dualitites under reflexivity). Several additional notions on multimodules are discussed: generalized morphisms and…

Category Theory · Mathematics 2025-08-28 Paolo Bertozzini , Roberto Conti , Chatchai Puttirungroj

A consistently specified halting function may be computed.

Logic in Computer Science · Computer Science 2016-06-29 Eric C. R. Hehner
‹ Prev 1 8 9 10 Next ›