• DiVinE

• Referenced in 55 articles [sw04130]
• checking and reachability analysis of discrete distributed systems. The tool is able to efficiently exploit ... computing power of multiple network-interconnected multi-cored workstations in order to deal with extremely ... tasks. As such it allows to analyse systems whose size is far beyond the size...

• Hom4PS-3

• Referenced in 10 articles [sw08783]
• software package for solving systems of polynomial equations that implements many different numerical homotopy methods ... wide range of hardware architectures including multi-core systems, computer clusters, distributed environments, and GPUs...

• OP2

• Referenced in 5 articles [sw17501]
• scaling on modern multi-core and many-core processor based systems. A key feature ... study on a range of multi-core/many-core systems. These include multi-core CPUs from...

• NDL

• Referenced in 6 articles [sw10433]
• architectures and an MPI version for distributed systems (clusters). The parallel versions exploit the multiprocessing ... computer clusters, as well as modern multi-core systems and due to the independent character...

• CLAIRE

• Referenced in 3 articles [sw30725]
• dimensions. Its performance is optimized for multi-core systems. It uses MPI for data parallelism...

• SuperMatrix

• Referenced in 6 articles [sw20213]
• operations for SMP and/or multi-core architectures. We use this system to demonstrate how code...

• FastFlow

• Referenced in 5 articles [sw15024]
• multi-core. Programming multi-core and many-core computing systems...

• GUIDE

• Referenced in 2 articles [sw02837]
• this transition from single-core to multi-core systems without additional development activity...

• ANNarchy

• Referenced in 2 articles [sw30220]
• simulation on the chosen parallel hardware (multi-core system or graphical processing unit). Several numerical...

• ALPBench

• Referenced in 5 articles [sw13521]
• increasing parallelism supported by emerging multi-core architectures. Designing systems to meet the demands...

• iFEST

• Referenced in 3 articles [sw07300]
• iFEST project (industrial Framework for Embedded Systems Tools) aims at specifying and developing an tool ... design of heterogeneous and multi-core embedded systems. The integration framework will permit tools...

• HSL_MA87

• Referenced in 14 articles [sw13037]
• factorization for real symmetric or complex Hermitian systems that are positive-definite ... designed for top performance on modern multi-core machines, giving superior performance to that...

• SuitSparseQR

• Referenced in 27 articles [sw07592]
• utilised for solving the large linear system of equations. Because of the independence of frequency ... package benefits from parallel computation in multi-core machines. Using MATLAB, codes became more readable...

• ACME

• Referenced in 1 article [sw29727]
• that can be deployed on desktop multi-core systems, or on thousands of CPUs...

• MiniBox

• Referenced in 1 article [sw25458]
• prototype running on recent x86 multi-core systems from Intel or AMD, and we port...

• simpA

• Referenced in 7 articles [sw00863]
• widespread availability of multi-core/parallel architectures and Internet-based systems. This leads...

• TBB

• Referenced in 1 article [sw29299]
• space multi-scale reaction-diffusion systems on multi-core architectures. A new solver featuring time ... numerical solution of stiff reaction-diffusion systems. Based on operator splitting, finite volume adaptive multiresolution ... three dimensions on multi-core and many-core architectures, demonstrating high scalability...

• CHESS

• Referenced in 4 articles [sw23089]
• such as operating systems, databases, and web servers. As multi-core architectures find their...

• Mozart

• Referenced in 20 articles [sw04759]
• development platform for intelligent, distributed applications. The system is the result of a decade ... openness, and fault tolerance. Mozart supports multi-core programming with its network transparent distribution ... many applications including sophisticated collaborative tools, multi-agent systems, and digital assistants, as well...

• ADVANTG

• Referenced in 1 article [sw18292]
• cores and/or processors (e.g., on multi-core desktop systems and clusters). The final variance reduction...