Results 111 to 120 of about 46,626 (281)
Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
, 2019 Recent developments in engineering and algorithms have made real-world applications in quantum computing possible in the near future. Existing quantum programming languages and compilers use a quantum assembly language composed of 1- and 2-qubit (quantum
Chong, Fred T. +6 more
core +1 more source
A Universal Meta‐Heuristic Framework for Influence Maximisation in Hypergraphs
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT Influence maximisation (IM) aims to select a small number of nodes that are able to maximise their influence in a network and covers a wide range of applications. Despite numerous attempts to provide effective solutions in simple networks, higher‐order interactions between entities in various real‐world systems are usually not taken into ...
Ming Xie +5 more
wiley +1 more source
A high-performance tensor computing unit for deep learning acceleration
ChipThe increasing complexity of neural network applications has led to a demand for higher computational parallelism and more efficient synchronization in artificial intelligence (AI) chips. To achieve higher performance and lower power, a comprehensive and
Qiang Zhou +3 more
doaj +1 more source
Proving Skipping Refinement with ACL2s
, 2015 We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification ...
Jain, Mitesh, Manolios, Panagiotis
core +2 more sources
Space-time scheduling of instruction-level parallelism on a raw machine [PDF]
, 1998 Walter Lee +6 more
openalex +3 more sources
International Journal of Urban and Regional Research, EarlyView.Abstract In this article we apply Wacquant's conceptualization of the ghetto to an analysis of interviews conducted with Roma people living in the state‐enforced camps of Turin, Italy. We illustrate how the elements characterizing a ghetto according to Wacquant (i.e.
Vincenzo Romania, Tommaso Bertazzo
wiley +1 more source
Executing matrix multiply on a process oriented data flow machine [PDF]
, 1990 The Process-Oriented Dataflow System (PODS) is an execution model that combines the von Neumann and dataflow models of computation to gain the benefits of each.
Bic, Lubomir +2 more
core
Integrative Zoology, EarlyView.Host species emerge as a significant contributor to interspecies variations in the gut microbiota of desert‐dwelling amphibians and reptiles, illustrating phylosymbiosis among the studied species. Geographical factors partially account for interpopulation variations in the gut microbiota of Bufotes pewzowi and Teratoscincus przewalskii, with parallel ...
Wei Zhu +8 more
wiley +1 more source
MIMD Programs Execution Support on SIMD Machines: A Holistic Survey
IEEE AccessThe Single Instruction Multiple Data (SIMD) architecture, supported by various high-performance computing platforms, efficiently utilizes data-level parallelism.
Dheya Mustafa +3 more
doaj +1 more source
Percolation scheduling with resource constraints [PDF]
, 1989 This paper presents a new approach to resource-constrained compiler extraction of fine-grain parallelism, targeted towards VLIW supercomputers, and in particular, the IBM VLIW (Very Large Instruction Word) processor.
Ebciogiu, Kemal, Nicolau, Alexandru
core