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
4. AIMES Final Technical Report
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
10. Autonomous Weaponry: Conceptual Issues
11. New Solutions for Useful Execution Models of Communicating Adaptive RA2DL
12. Chemistry-Inspired Adaptive Stream Processing
13. Foundations for Reliable and Flexible Interactive Multimedia Scores
14. An Execution Model for Fine-Grained Parallelism in Ada
15. Towards Exascale Co-design in a Runtime System
16. EXTOLL and Data Movements in Heterogeneous Computing Environments
17. IEC 61499 in a Nutshell
18. Quality-of-Service in Data Center Stream Processing for Smart City Applications
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
24. A Multi-threaded Execution Model for the Agent-Based SEMSim Traffic Simulation
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
30. 00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods
31. Getting Started
32. On the Modeling and Verification of Security-Aware and Process-Aware Information Systems
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
42. Dual-Execution Processor Architecture for Embedded Computing
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
47. Adaptive Computing Systems and Their Design Tools
48. Embedded Operating Systems in Wireless Sensor Networks
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.