Works matching DE "RUN time systems (Computer science)"
Results: 190
A model-based architecture for interactive run-time monitoring.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 4, p. 959, doi. 10.1007/s10270-020-00780-y
- By:
- Publication type:
- Article
Toward live domain-specific languages.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 195, doi. 10.1007/s10270-017-0608-7
- By:
- Publication type:
- Article
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 1, p. 31, doi. 10.1007/s10270-013-0394-9
- By:
- Publication type:
- Article
Modeling and enforcing invariants of dynamic software architectures.
- Published in:
- Software & Systems Modeling, 2012, v. 11, n. 1, p. 127, doi. 10.1007/s10270-010-0162-z
- By:
- Publication type:
- Article
A switchable approach to large object allocation in real-time Java.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2016, v. 24, n. 2, p. 398, doi. 10.3906/elk-1304-206
- 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
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
TAKING TURNS TO SAVE POWER.
- Published in:
- Intel Technology Journal, 2012, v. 16, n. 3, p. 72
- By:
- Publication type:
- Article
Research-paper recommender systems: a literature survey.
- Published in:
- International Journal on Digital Libraries, 2016, v. 17, n. 4, p. 305, doi. 10.1007/s00799-015-0156-0
- By:
- Publication type:
- Article
Low Power Array (4x4) with Low Leakage, High Performance MTCMOS Based 7TSRAM Cell.
- Published in:
- Journal of Active & Passive Electronic Devices, 2015, v. 10, n. 3-4, p. 247
- By:
- Publication type:
- Article
Designing JavaScript Objects by Type Extension.
- Published in:
- International Review on Computers & Software, 2012, v. 7, n. 6, p. 3062
- By:
- Publication type:
- Article
Streaming fragment assignment for real-time analysis of sequencing experiments.
- Published in:
- Nature Methods, 2013, v. 10, n. 1, p. 71, doi. 10.1038/nmeth.2251
- By:
- Publication type:
- Article
HTQC: a fast quality control toolkit for Illumina sequencing data.
- Published in:
- BMC Bioinformatics, 2013, v. 14, n. 1, p. 1, doi. 10.1186/1471-2105-14-33
- 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
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 954, doi. 10.1109/TSE.2012.84
- By:
- Publication type:
- Article
Evaluating Dynamic Software Update Safety Using Systematic Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1340, doi. 10.1109/TSE.2011.101
- By:
- Publication type:
- Article
Analyzing the Effect of Gain Time on Soft-Task Scheduling Policies in Real-Time Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1305, doi. 10.1109/TSE.2011.95
- By:
- Publication type:
- Article
Compile-Time Checked Reflection API.
- Published in:
- GSTF Journal on Computing, 2011, v. 1, n. 3, p. 3
- By:
- Publication type:
- Article
How Powerful Are Run-Time Monitors with Static Information?
- Published in:
- Computer Journal, 2016, v. 59, n. 11, p. 1623, doi. 10.1093/comjnl/bxw022
- By:
- Publication type:
- Article
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime†.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 87, doi. 10.1093/comjnl/bxs019
- By:
- Publication type:
- Article
A Flexible Algorithm for Multiprocessor Ray Tracing.
- Published in:
- Computer Journal, 1998, v. 41, n. 7, p. 503, doi. 10.1093/comjnl/41.7.503
- By:
- Publication type:
- Article
Programming Replicated Systems in Ada 95.
- Published in:
- Computer Journal, 1996, v. 39, n. 5, p. 361, doi. 10.1093/comjnl/39.5.361
- By:
- Publication type:
- Article
AN EFFECTIVE WAY TO CONTROL CONGESTION FOR RTI WITH HYBRID ARCHITECTURE.
- Published in:
- International Journal of Modeling, Simulation & Scientific Computing, 2014, v. 5, n. 1, p. -1, doi. 10.1142/S1793962313400072
- By:
- Publication type:
- Article
On Task Tree Executor Architectures Based on Intel Parallel Building Blocks.
- Published in:
- Computer Science & Information Systems, 2013, v. 10, n. 1, p. 369, doi. 10.2298/CSIS120519008P
- 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
Dynamic Task Distribution Model for On-Chip Reconfigurable High Speed Computing System.
- Published in:
- International Journal of Reconfigurable Computing, 2015, p. 1, doi. 10.1155/2015/783237
- By:
- Publication type:
- Article
Operating System for Runtime Reconfigurable Multiprocessor Systems.
- Published in:
- International Journal of Reconfigurable Computing, 2011, p. 1, doi. 10.1155/2011/121353
- 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
Rapid runtime learning by curating small datasets of high-quality items obtained from memory.
- Published in:
- PLoS Computational Biology, 2023, v. 19, n. 10, p. 1, doi. 10.1371/journal.pcbi.1011445
- By:
- Publication type:
- Article
A Novel Time Synchronization Method for Dynamic Reconfigurable Bus.
- Published in:
- VLSI Design, 2016, p. 1, doi. 10.1155/2016/5752080
- By:
- Publication type:
- Article
Adaptivity Support for MPSoCs Based on Process Migration in Polyhedral Process Networks.
- Published in:
- VLSI Design, 2012, p. 1, doi. 10.1155/2012/987209
- By:
- Publication type:
- Article
FastRoute: An Efficient and High-Quality Global Router.
- Published in:
- VLSI Design, 2012, p. 1, doi. 10.1155/2012/608362
- By:
- Publication type:
- Article
Enabling Fast ASIP Design Space Exploration: An FPGA-Based Runtime Reconfigurable Prototyper.
- Published in:
- VLSI Design, 2012, p. 1, doi. 10.1155/2012/580584
- By:
- Publication type:
- Article
A Python framework to create and simulate models with variable structure in common simulation environments.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2014, v. 20, n. 6, p. 566, doi. 10.1080/13873954.2013.861854
- 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
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
Real-time Auditing of the Runtime Environment for Cloud Computing Platforms.
- Published in:
- Journal of Information Science & Engineering, 2019, v. 35, n. 2, p. 323, doi. 10.6688/JISE.201903_35(2).0005
- By:
- Publication type:
- Article
A Brouwerian Model of the Run-Time Memory.
- Published in:
- Journal of Information Science & Engineering, 2015, v. 31, n. 6, p. 2103
- By:
- Publication type:
- Article
Principles of Data Flow Integrity: Specification and Enforcement.
- Published in:
- Journal of Information Science & Engineering, 2015, v. 31, n. 2, p. 529
- By:
- Publication type:
- Article
Chinese Wall Security Model for Workflow Management Systems with Dynamic Security Policy.
- Published in:
- Journal of Information Science & Engineering, 2013, v. 29, n. 3, p. 417
- 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
Efficent and highly portable deterministic multithreading (DetLock).
- Published in:
- Computing, 2014, v. 96, n. 12, p. 1131, doi. 10.1007/s00607-013-0370-9
- By:
- Publication type:
- Article
The PEPPHER composition tool: performance-aware composition for GPU-based systems.
- Published in:
- Computing, 2014, v. 96, n. 12, p. 1195, doi. 10.1007/s00607-013-0371-8
- By:
- Publication type:
- Article
An integrated fine-grain runtime system for MPI.
- Published in:
- Computing, 2014, v. 96, n. 4, p. 293, doi. 10.1007/s00607-013-0329-x
- By:
- Publication type:
- Article
A sharing-based approach to supporting adaptation in service compositions.
- Published in:
- Computing, 2013, v. 95, n. 6, p. 453, doi. 10.1007/s00607-012-0230-z
- By:
- Publication type:
- Article