Results 31 to 40 of about 1,696,641 (325)
Scalable and scalably-verifiable sequential synthesis [PDF]
2008 IEEE/ACM International Conference on Computer-Aided Design, 2008 This paper describes an efficient implementation of sequential synthesis that uses induction to detect and merge sequentially-equivalent nodes. State-encoding, scan chains, and test vectors are essentially preserved. Moreover, the sequential synthesis results are sequentially verifiable using an independent inductive prover similar to that used for ...
Alan Mishchenko +3 more
openaire +3 more sources
Scalability and Performance of LiDAR Point Cloud Data Management Systems: A State-of-the-Art Review
Remote Sensing, 2022 Current state-of-the-art point cloud data management (PCDM) systems rely on a variety of parallel architectures and diverse data models. The main objective of these implementations is achieving higher scalability without compromising performance.
Chamin Nalinda Lokugam Hewage +4 more
doaj +1 more source
On the Scalability of the Schwarz Method [PDF]
The SMAI journal of computational mathematics, 2020 Published by Institut Henri Poincaré ...
Ciaramella, Gabriele +2 more
openaire +4 more sources
Scalable Bayesian phylogenetics
Philosophical Transactions of the Royal Society B: Biological Sciences, 2022 Recent advances in Bayesian phylogenetics offer substantial computational savings to accommodate increased genomic sampling that challenges traditional inference methods. In this review, we begin with a brief summary of the Bayesian phylogenetic framework, and then conceptualize a variety of methods to improve posterior approximations via Markov chain ...
Fisher, Alexander A. +5 more
openaire +4 more sources
Scalability of Hydrodynamic Simulations [PDF]
, 2009 Many hydrodynamic processes can be studied in a way that is scalable over a vastly relevant physical parameter space. We systematically examine this scalability, which has so far only briefly discussed in astrophysical literature.
Chevalier +20 more
core +3 more sources
Strategic Interaction Multi-Agent Deep Reinforcement Learning
IEEE Access, 2020 Despite the proliferation of multi-agent deep reinforcement learning (MADRL), most existing typical methods do not scale well to the dynamics of agent populations.
Wenhong Zhou +3 more
doaj +1 more source
Mathematical Biosciences and Engineering, 2022 Private Set Intersection (PSI), which is a hot topic in recent years, has been extensively utilized in credit evaluation, medical system and so on. However, with the development of big data era, the existing traditional PSI cannot meet the application ...
Shuo Qiu +4 more
doaj +1 more source
Scalability in Computing and Robotics [PDF]
IEEE Transactions on Computers, 2022 33 pages, 8 ...
Heiko Hamann, Andreagiovanni Reina
openaire +5 more sources
ZyConChain: A Scalable Blockchain for General Applications
IEEE Access, 2020 Blockchain's popularity has seen a historic rise over the last decade. However, existing blockchain systems have a major issue with scalability, which has become one of the main obstacles in technology's adoption in mainstream.
Nasrin Sohrabi, Zahir Tari
doaj +1 more source