Works matching DE "RUN time systems (Computer science)"
Results: 191
Interruptible Nodes: Reducing Queueing Costs in Irregular Streaming Dataflow Applications on Wide-SIMD Architectures.
- Published in:
- International Journal of Parallel Programming, 2023, v. 51, n. 1, p. 43, doi. 10.1007/s10766-022-00745-2
- By:
- Publication type:
- Article
Automatic Halo Management for the Uintah GPU-Heterogeneous Asynchronous Many-Task Runtime.
- Published in:
- International Journal of Parallel Programming, 2019, v. 47, n. 5/6, p. 1086, doi. 10.1007/s10766-018-0619-1
- By:
- Publication type:
- Article
Performance Evaluation and Enhancement of Process-Based Parallel Loop Execution.
- Published in:
- International Journal of Parallel Programming, 2017, v. 45, n. 1, p. 185, doi. 10.1007/s10766-015-0394-1
- By:
- Publication type:
- Article
The Design and Implementation of TIDeFlow: A Dataflow-Inspired Execution Model for Parallel Loops and Task Pipelining.
- Published in:
- International Journal of Parallel Programming, 2016, v. 44, n. 2, p. 278, doi. 10.1007/s10766-015-0373-6
- By:
- Publication type:
- Article
A Phase Behavior Aware Dynamic Cache Partitioning Scheme for CMPs.
- Published in:
- International Journal of Parallel Programming, 2016, v. 44, n. 1, p. 68, doi. 10.1007/s10766-014-0334-5
- By:
- Publication type:
- Article
Using Dynamic Runtime Testing for Rapid Development of Architectural Simulators.
- Published in:
- International Journal of Parallel Programming, 2014, v. 42, n. 1, p. 119, doi. 10.1007/s10766-012-0208-7
- By:
- Publication type:
- Article
Online Mesh Refinement for Parallel Atmospheric Models.
- Published in:
- International Journal of Parallel Programming, 2013, v. 41, n. 4, p. 552, doi. 10.1007/s10766-012-0235-4
- By:
- Publication type:
- Article
The Smart Cache: An Energy-Efficient Cache Architecture Through Dynamic Adaptation.
- Published in:
- International Journal of Parallel Programming, 2013, v. 41, n. 2, p. 305, doi. 10.1007/s10766-012-0220-y
- By:
- Publication type:
- Article
Optimal enforcement of (timed) properties with uncontrollable events.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 1, p. 169, doi. 10.1017/S0960129517000123
- By:
- Publication type:
- Article
On the expressiveness of π-calculus for encoding mobile ambients.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 202, doi. 10.1017/S0960129516000256
- By:
- Publication type:
- Article
Attribute-based transactions in service oriented computing.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 619, doi. 10.1017/S0960129512000904
- By:
- Publication type:
- Article
Constraining rule-based dynamics with types.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 272, doi. 10.1017/S0960129512000114
- By:
- Publication type:
- Article
Integrating run-time changes into system and software process enactment.
- Published in:
- Journal of Software: Evolution & Process, 2016, v. 28, n. 9, p. 762, doi. 10.1002/smr.1783
- By:
- Publication type:
- Article
A runtime fault survival method for deployed software during production runs.
- Published in:
- Journal of Software: Evolution & Process, 2016, v. 28, n. 2, p. 97, doi. 10.1002/smr.1767
- By:
- Publication type:
- Article
A performance evaluation framework for Web applications.
- Published in:
- Journal of Software: Evolution & Process, 2013, v. 25, n. 8, p. 871, doi. 10.1002/smr.1563
- By:
- Publication type:
- Article
A Generalistic Approach to Machine-Learning-Supported Task Migration on Real-Time Systems †.
- Published in:
- Journal of Low Power Electronics & Applications, 2022, v. 12, n. 2, p. 26, doi. 10.3390/jlpea12020026
- By:
- Publication type:
- Article
Aircraft landing problems with aircraft classes.
- Published in:
- Journal of Scheduling, 2014, v. 17, n. 1, p. 31, doi. 10.1007/s10951-013-0337-x
- By:
- Publication type:
- Article
Absolute approximation ratios for packing rectangles into bins.
- Published in:
- Journal of Scheduling, 2012, v. 15, n. 1, p. 63, doi. 10.1007/s10951-009-0110-3
- By:
- Publication type:
- Article
Incrementally predictive runtime verification.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 4, p. 796, doi. 10.1093/logcom/exad012
- By:
- Publication type:
- Article
Run-time deployment and management of CoAP resources for the Internet of Things.
- Published in:
- International Journal of Distributed Sensor Networks, 2017, v. 13, n. 3, p. 1, doi. 10.1177/1550147717698969
- By:
- Publication type:
- Article
A Context-Driven Worker Selection Framework for Crowd-Sensing.
- Published in:
- International Journal of Distributed Sensor Networks, 2016, p. 1, doi. 10.1155/2016/6958710
- By:
- Publication type:
- Article
A schema aware ETL workflow generator.
- Published in:
- Information Systems Frontiers, 2014, v. 16, n. 3, p. 453, doi. 10.1007/s10796-012-9352-2
- By:
- Publication type:
- Article
MINIMIZING DEADLINE MISSES AND TOTAL RUN-TIME WITH LOAD BALANCING FOR A CONNECTED CAR SYSTEMS IN FOG COMPUTING.
- Published in:
- Scalable Computing: Practice & Experience, 2020, v. 21, n. 1, p. 73
- By:
- Publication type:
- Article
System Monitoring with a Five-valued LTL.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2016, v. 26, n. 1-2, p. 33
- By:
- Publication type:
- Article
Safety and Reliability Estimation of Automatic Train Protection and Block System.
- Published in:
- Quality & Reliability Engineering International, 2014, v. 30, n. 4, p. 463, doi. 10.1002/qre.1498
- By:
- Publication type:
- Article
Hydraulic model evaluation for large-scale flood risk assessments.
- Published in:
- Hydrological Processes, 2013, v. 27, n. 9, p. 1331, doi. 10.1002/hyp.9553
- By:
- Publication type:
- Article
RUN-TIME ANALYSIS FOR SORTING ALGORITHMS.
- Published in:
- Journal of Information Systems & Operations Management, 2015, v. 9, n. 1, p. 1
- By:
- Publication type:
- Article
Hardware Trojan detection for lightweight ciphers implemented on field‐programmable gate arrays using the replay algorithm.
- Published in:
- International Journal of Circuit Theory & Applications, 2021, v. 49, n. 11, p. 3607, doi. 10.1002/cta.3098
- By:
- Publication type:
- Article
Adaptive Runtime Monitoring of Service Level Agreement Violations in Cloud Computing.
- Published in:
- Computers, Materials & Continua, 2022, v. 71, n. 3, p. 4199, doi. 10.32604/cmc.2022.020852
- By:
- Publication type:
- Article
Portable reflection for C++ with Mirror.
- Published in:
- Journal of Information & Organizational Sciences, 2012, v. 36, n. 1, p. 13
- By:
- Publication type:
- Article
Tag-Protector: An Effective and Dynamic Detection of Illegal Memory Accesses through Compile Time Code Instrumentation.
- Published in:
- Advances in Software Engineering, 2016, p. 1, doi. 10.1155/2016/9842936
- By:
- Publication type:
- Article
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes.
- Published in:
- International Journal of Cooperative Information Systems, 2014, v. 23, n. 4, p. -1, doi. 10.1142/S0218843014500038
- By:
- Publication type:
- Article
Preferential Resource Allocation in Stream Processing Systems.
- Published in:
- International Journal of Cooperative Information Systems, 2014, v. 23, n. 4, p. -1, doi. 10.1142/S0218843014500063
- By:
- Publication type:
- Article
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. 612, doi. 10.1017/S0956796815000039
- By:
- Publication type:
- Article
JFP volume 24 issue 6 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. f1, doi. 10.1017/S0956796815000015
- Publication type:
- Article
A run-time representation of scheme record types.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. 675, doi. 10.1017/S0956796814000203
- By:
- Publication type:
- Article
MultiMLton: A multicore-aware runtime for standard ML.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 6, p. 613, doi. 10.1017/S0956796814000161
- By:
- Publication type:
- Article
The Reduceron reconfigured and re-evaluated.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 574, doi. 10.1017/S0956796812000214
- By:
- Publication type:
- Article
A comparison of local search algorithms with population-based algorithms in hybrid flow shop scheduling problems with realistic characteristics.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2016, v. 83, n. 5-8, p. 1135, doi. 10.1007/s00170-015-7650-9
- By:
- Publication type:
- Article
A gradient-based morphological method to produce planar curve offsets.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2015, v. 80, n. 1-4, p. 255, doi. 10.1007/s00170-015-6971-z
- By:
- Publication type:
- Article
Minimizing makespan in a two-machine no-wait flow shop with batch processing machines.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2012, v. 63, n. 1-4, p. 281, doi. 10.1007/s00170-012-3906-9
- By:
- Publication type:
- Article
The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors.
- Published in:
- Acta Cybernetica, 2017, v. 23, n. 2, p. 573, doi. 10.14232/actacyb.23.2.2017.9
- By:
- Publication type:
- Article
Unit Testing in C++ with Compiler Instrumentation and Friends.
- Published in:
- Acta Cybernetica, 2017, v. 23, n. 2, p. 659, doi. 10.14232/actacyb.23.2.2017.14
- By:
- Publication type:
- Article
Formalism for Static Aspects of Dynamic Metamodeling.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 1, p. 34, doi. 10.3311/PPee.9547
- By:
- Publication type:
- Article
Receding horizon H∞ control of time-delay systems.
- Published in:
- Transactions of the Institute of Measurement & Control, 2015, v. 37, n. 5, p. 596, doi. 10.1177/0142331214538089
- By:
- Publication type:
- Article
Model-based Testing Approaches: A Survey.
- Published in:
- Journal of Algebraic Statistics, 2022, v. 13, n. 2, p. 2879
- By:
- Publication type:
- Article
Developing Self-Adaptive Service-Oriented Mobile Applications: A Framework Based on Dynamic Deployment.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 11/12, p. 1537, doi. 10.1142/S0218194018400168
- By:
- Publication type:
- Article
An Adaptation of Context and Trust Aware Workflow Oriented Access Control for Remote Healthcare.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 6, p. 781, doi. 10.1142/S0218194018500225
- By:
- Publication type:
- Article
Towards Dynamic Evolution of Runtime Variability Based on Computational Reflection.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2018, v. 28, n. 3, p. 259, doi. 10.1142/S0218194018500092
- By:
- Publication type:
- Article
A Case Study on Network Status Classification based on Latency Stability.
- Published in:
- KSII Transactions on Internet & Information Systems, 2014, v. 8, n. 11, p. 4016, doi. 10.3837/tiis.2014.11.020
- By:
- Publication type:
- Article