Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. Special issue: OpenMP. Selected papers based on the presentation at the 2nd international workshop on OpenMP (IWOMP), Reims, France, June 12--15, 2006: Label: en
  2. Concatenation algorithms for parallel numerical simulation of radiation hydrodynamics coupled with neutron transport: Label: en
  3. Automatic array partitioning based on the Smith normal form: Label: en
  4. A polynomial-time algorithm for memory space reduction: Label: en
  5. Efficient techniques for automatic verification-oriented test set optimization: Label: en
  6. Embedded software verification using symbolic execution and uninterpreted functions: Label: en
  7. Verification approach of Metropolis design framework for embedded systems: Label: en
  8. Verification of system level model transformations: Label: en
  9. Dynamic and formal verification of embedded systems: A comparative survey: Label: en
  10. Constructing efficient formal models from high-level descriptions using symbolic simulation: Label: en
  11. Verification of embedded systems based on interval analysis: Label: en
  12. A framework for the functional verification of SystemC models: Label: en
  13. A compositional behavioral modeling framework for embedded system design and conformance checking: Label: en
  14. SMA: A self-monitored adaptive cache warm-up scheme for microprocessor simulation: Label: en
  15. Using the first-level caches as filters to reduce the pollution caused by speculative memory references: Label: en
  16. PEMPIs: A new methodology for modeling and prediction of MPI programs performance: Label: en
  17. Parallel implementation of a Lagrangian stochastic model for pollutant dispersion: Label: en
  18. The ArchC architecture description language and tools: Label: en
  19. Special issue: 17th international conference on supercomputing (ICS'03). Selected papers based on the presentation at the conference, San Francisco, CA, USA, June 21--26, 2003.: Label: en
  20. Special issue: Workshop on application specific processors (WASP 2002). Selected papers based on the presentation at the workshop, Istanbul, Turkey, November 19, 2002.: Label: en
  21. Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems: Label: en
  22. Parallel programming of multi-processor soC: A HW-SW interface perspective: Label: en
  23. Using FORAY models to enable MPSoC memory optimizations: Label: en
  24. Architectural exploration of heterogeneous multiprocessor systems for JPEG: Label: en
  25. QoS-supported on-chip communication for multi-processors: Label: en
  26. A fast and accurate technique for mapping parallel applications on stream-oriented MPSoC platforms with communication awareness: Label: en
  27. High-scalability parallelization of a molecular modeling application: Performance and productivity comparison between OpenMP and MPI implementations: Label: en
  28. Dynamic data migration for structured AMR solvers: Label: en
  29. Nested parallelization with openMP: Label: en
  30. OpenMP implementation of SPICE3 circuit simulator: Label: en
  31. Parallel algorithms development for programmable devices with application from cryptography: Label: en
  32. Asynchronous typed object groups for grid programming: Label: en
  33. A compositional framework for developing parallel programs on two-dimensional arrays: Label: en
  34. Special issue: OpenMP. Selected papers based on the presentation at the 2nd international workshop on OpenMP (IWOMP), Reims, France, June 12--15, 2006: Label: en
  35. Supporting nested OpenMP parallelism in the TAU performance system: Label: en
  36. A proposal for error handling in OpenMP: Label: en
  37. Complete formal specification of the OpenMP memory model: Label: en
  38. Deterministic parallel processing: Label: en
  39. SAC -- a functional array language for efficient multi-threaded execution: Label: en
  40. Supporting microthread scheduling and synchronisation in CMPs: Label: en
  41. Parallel option price valuations with the explicit finite difference method: Label: en
  42. Computing optimised parallel speeded-up robust features (P-SURF) on multi-core processors: Label: en
  43. Parallel nonnegative matrix factorization algorithm on the distributed memory platform: Label: en
  44. Tolerating radiation-induced transient faults in modern processors: Label: en
  45. Run-time spatial mapping of streaming applications to heterogeneous multi-processor systems: Label: en
  46. Asynchronous stream processing with S-Net: Label: en
  47. Compilation techniques for high level parallel code: Label: en
  48. Special issue: OpenMPI. Selected papers based on the presentations at the 5th international workshop on OpenMP (IWOMP 2009), Dresden, germany, June 3--5, 2009.: Label: en
  49. Special issue on instruction-level parallel processing. Part 1. Selected papers of the 27th annual ACM/IEEE international symposium on microarchitecture, San Jose, CA, USA, November 30--December 2, 1994: Label: en
  50. Special issue on parallel architectures and compilation techniques. Part I. Selected papers of the conference on parallel architectures and compilation techniques, PACT '95, Cyprus, June 1995: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q199286"
Powered by MediaWiki