Results 1 to 10 of about 593,318 (265)
Multi-core Symbolic Bisimulation Minimisation [PDF]
International Journal on Software Tools for Technology Transfer, 2016 We introduce parallel symbolic algorithms for bisimulation minimisation, to combat the combinatorial state space explosion along three different paths. Bisimulation minimisation reduces a transition system to the smallest system with equivalent behaviour.
van Dijk, Tom, von de Pol, Jaco
openaire +2 more sources
AMMC: Advanced Multi-Core Memory Controller [PDF]
2014 International Conference on Field-Programmable Technology (FPT), 2014 In this work, we propose an efficient scheduler and intelligent memory manager known as AMMC (Advanced Multi-Core Memory Controller), which proficiently handles data movement and computational tasks. The proposed AMMC system improves performance by managing complex data transfers at run-time and scheduling multi-cores without the intervention of a ...
Tassadaq Hussain +6 more
openaire +2 more sources
Neural Simulations on Multi-Core Architectures [PDF]
Frontiers in Neuroinformatics, 2009 Neuroscience is witnessing increasing knowledge about the anatomy and electrophysiological properties of neurons and their connectivity, leading to an ever increasing computational complexity of neural simulations. At the same time, a rather radical change in personal computer technology emerges with the establishment of multi-cores: high-density ...
Eichner, H., Klug, T., Borst, A.
openaire +4 more sources
Sylvan: Multi-Core Decision Diagrams [PDF]
, 2015 Decision diagrams such as binary decision diagrams and multi-valued decision diagrams play an important role in various fields, including symbolic model checking. An ongoing challenge is to develop datastructures and algorithms for modern multi-core architectures.
van Dijk, Tom, van de Pol, Jan Cornelis
openaire +1 more source
Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation, 2014 We describe the utilization of on-chip multiple CPU architectures to automatically evolve parallel computer programs. These programs have the capability of exploiting the computational efficiency of the modern multi-core machines. This is significantly different from other parallel EC approaches because not only do we produce individuals that, in their
Azad, R. Muhammad Atif +2 more
openaire +1 more source
FPGA-BASED MULTI-CORE PROCESSOR
Computer Science, 2013 The paper presents the results of investigations concerning the possibilities of using programmable logic devices (FPGA) for building virtual multi-core processors dedicated to the chosen application. The paper shows the designed architecture of multi-core processor specialized for performing a particular task and discuss its computation efficiency ...
Wojciech Wójcik, Jacek Długopolski
openaire +3 more sources
Energy Efficient Multi-Core Processing
Electronics ETF, 2014 This paper evaluates the present state of the art of energy-efficient embedded processor design techniques and demonstrates, how small, variable-architecture embedded processors may exploit a run-time minimal architectural synthesis technique to achieve greater energy and area efficiency whilst maintaining performance.
Leech, Charles, Kazmierski, T J
openaire +5 more sources
PMG: Multi-core Metabolite Identification
Electronic Notes in Theoretical Computer Science, 2013 AbstractDistributed computing has been considered for decades as a promising way of speeding up software execution, resulting in a valuable collection of safe and efficient concurrent algorithms. With the pervasion of multi-core processors, parallelization has moved to the center of attention with new challenges, especially regarding scalability to ...
Jaghoori, M.M. +6 more
openaire +5 more sources
, 2021 Traditional single-mode fiber capacity issues will be mitigated by using space-division multiplexing in future 5G, IoT, and M2M networks. Multi-core fibers are expected as a good candidate for overcoming the capacity limit of a current optical communication system.
Irfan, Anis, Muhammad, Hamdan, Ali,
openaire +3 more sources
Multi-core Nested Depth-First Search
, 2011 The LTL Model Checking problem is reducible to finding accepting cycles in a graph. The Nested Depth-First Search (Ndfs) algorithm detects accepting cycles efficiently: on-the-fly, with linear-time complexity and negligible memory overhead. The only downside of the algorithm is that it relies on an inherently-sequential, depth-first search.
Laarman, Alfons +4 more
openaire +1 more source