Search

Your search keyword '"Execution model"' showing total 2,148 results

Search Constraints

Start Over You searched for: Descriptor "Execution model" Remove constraint Descriptor: "Execution model"
2,148 results on '"Execution model"'

Search Results

2. DRT: A Lightweight Runtime for Developing Benchmarks for a Dataflow Execution Model

3. Using Performance Event Profiles to Deduce an Execution Model of MATLAB with Just-In-Time Compilation

5. Execution Model to Reduce the Interference of Shared Memory in ARINC 653 Compliant Multicore RTOS.

6. Certified Universal Gathering in for Oblivious Mobile Robots

7. Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication

8. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

9. Stateless Model Checking for POWER

12. Chemistry-Inspired Adaptive Stream Processing

14. An Execution Model for Fine-Grained Parallelism in Ada

15. Towards Exascale Co-design in a Runtime System

17. IEC 61499 in a Nutshell

19. SCAC: Weakly-coupled execution model for massively parallel systems.

20. Towards the Transparent Execution of Compound OpenCL Computations in Multi-CPU/Multi-GPU Environments

21. Cellular Programming

22. A Dynamic Execution Model Applied to Distributed Collision Detection

23. Execution Model to Reduce the Interference of Shared Memory in ARINC 653 Compliant Multicore RTOS

25. Runtime Adaptation of Component Based Systems

26. An Implementation of the Codelet Model

27. An Interface Model of Software Components

28. Fork-Join and Data-Driven Execution Models on Multi-core Architectures: Case Study of the FMM

29. Bridging the Chasm between Executable Metamodeling and Models of Computation

33. Event-Driven Ontology Updating

34. Extending SPARQL Algebra to Support Efficient Evaluation of Top-K SPARQL Queries

35. Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study

36. PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications

37. On the Correctness of the SIMT Execution Model of GPUs

38. Deterministic Execution Model on COTS Hardware

39. A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams

40. An Overview of ALIA4J : An Execution Model for Advanced-Dispatching Languages

41. A FUML-Based Distributed Execution Machine for Enacting Software Process Models

43. Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic

44. Taverna, Reloaded

45. A Communication Framework for Fault-Tolerant Parallel Execution

46. Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S

49. StarPU: A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures

50. A Vision for Next Generation Query Processors and an Associated Research Agenda

Catalog

Books, media, physical & digital resources