Works matching DE "COMPUTER software execution"
Results: 218
Towards Automatic Generation and Continuous Improvement of Functional Test Cases: The Case of the Test-Duo Framework and Mutation Testing.
- Published in:
- Journal of Information Science & Engineering, 2015, v. 31, n. 6, p. 2025
- By:
- Publication type:
- Article
Harnessing Cloud Computing for Dynamic Resource Requirement by Database Workloads.
- Published in:
- Journal of Information Science & Engineering, 2013, v. 29, n. 5, p. 793
- By:
- Publication type:
- Article
Energy Consumption Scheduler for Demand Response Systems in the Smart Grid.
- Published in:
- Journal of Information Science & Engineering, 2012, v. 28, n. 5, p. 955
- By:
- Publication type:
- Article
An Efficient Function Inlining Scheme for Resource-Constrained Embedded Systems.
- Published in:
- Journal of Information Science & Engineering, 2012, v. 28, n. 5, p. 859
- By:
- Publication type:
- Article
Oblivious Transfer with Threshold Access Control.
- Published in:
- Journal of Information Science & Engineering, 2012, v. 28, n. 3, p. 555
- By:
- Publication type:
- Article
Incremental execution of model-to-text transformations using property access traces.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 367, doi. 10.1007/s10270-018-0666-5
- By:
- Publication type:
- Article
F-Alloy: a relational model transformation language based on Alloy.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 213, doi. 10.1007/s10270-017-0630-9
- By:
- Publication type:
- Article
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 445, doi. 10.1007/s10270-017-0612-y
- By:
- Publication type:
- Article
The Train Benchmark: cross-technology performance evaluation of continuous model queries.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1365, doi. 10.1007/s10270-016-0571-8
- By:
- Publication type:
- Article
On the automated translational execution of the action language for foundational UML.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1311, doi. 10.1007/s10270-016-0556-7
- By:
- Publication type:
- Article
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 443, doi. 10.1007/s10270-016-0566-5
- By:
- Publication type:
- Article
Toward an execution system for self-healing workflows in cyber-physical systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 551, doi. 10.1007/s10270-016-0551-z
- By:
- Publication type:
- Article
Model-driven performance prediction of systems of systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 415, doi. 10.1007/s10270-016-0547-8
- By:
- Publication type:
- Article
Scalable process discovery and conformance checking.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 599, doi. 10.1007/s10270-016-0545-x
- By:
- Publication type:
- Article
Refinement-based Validation of Event-B Specifications.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 789, doi. 10.1007/s10270-016-0514-4
- By:
- Publication type:
- Article
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 4, p. 1447, doi. 10.1007/s10270-012-0292-6
- By:
- Publication type:
- Article
A metamodel for the compact but lossless exchange of execution traces.
- Published in:
- Software & Systems Modeling, 2012, v. 11, n. 1, p. 77, doi. 10.1007/s10270-010-0180-x
- By:
- Publication type:
- Article
Detection of Cross-Site Scripting Attack under Multiple Scenarios.
- Published in:
- Computer Journal, 2015, v. 58, n. 4, p. 808, doi. 10.1093/comjnl/bxt133
- By:
- Publication type:
- Article
Protection Structures in Multithreaded Systems.
- Published in:
- Computer Journal, 2013, v. 56, n. 4, p. 478, doi. 10.1093/comjnl/bxs138
- 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
SeTPR*-tree: Efficient Buffering for Spatiotemporal Indexes Via Shared Execution.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 115, doi. 10.1093/comjnl/bxs020
- By:
- Publication type:
- Article
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 37, doi. 10.1093/comjnl/bxn075
- By:
- Publication type:
- Article
Object Models for Distributed or Persistent Programming.
- Published in:
- Computer Journal, 1997, v. 40, n. 8, p. 513, doi. 10.1093/comjnl/40.8.513
- By:
- Publication type:
- Article
Policy Feedback for the Refinement of Learned Motion Control on a Mobile Robot.
- Published in:
- International Journal of Social Robotics, 2012, v. 4, n. 4, p. 383, doi. 10.1007/s12369-012-0156-9
- By:
- Publication type:
- Article
Detecting Implicit Security Exceptions Using an Improved Variable-Length Sequential Pattern Mining Method.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 8, p. 1235, doi. 10.1142/S0218194017500462
- By:
- Publication type:
- Article
Supporting Continuous Changes to Business Intents.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 8, p. 1167, doi. 10.1142/S0218194017500449
- By:
- Publication type:
- Article
SyncAS: A Virtual Block Approach to Tame Asynchronous Programming.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 5, p. 887, doi. 10.1142/S0218194015400252
- By:
- Publication type:
- Article
Reconstructing Software High-Level Architecture by Clustering Weighted Directed Class Graph.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 4, p. 701, doi. 10.1142/S0218194015500072
- By:
- Publication type:
- Article
A FAULT LOCALIZATION FRAMEWORK TO ALLEVIATE THE IMPACT OF EXECUTION SIMILARITY.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 7, p. 963, doi. 10.1142/S0218194013500289
- By:
- Publication type:
- Article
An algorithm to find critical execution paths of software based on complex network.
- Published in:
- International Journal of Modern Physics C: Computational Physics & Physical Computation, 2015, v. 26, n. 9, p. -1, doi. 10.1142/S0129183115501016
- By:
- Publication type:
- Article
FAULT TOLERANCE SCHEMES FOR GLOBAL LOAD BALANCING IN X10.
- Published in:
- Scalable Computing: Practice & Experience, 2015, v. 16, n. 2, p. 169, doi. 10.12694/scpe.v16i2.1088
- By:
- Publication type:
- Article
A Research for Aerospace Complex Software System Runtime Fault Detection.
- Published in:
- International Journal of Performability Engineering, 2017, v. 13, n. 7, p. 1057, doi. 10.23940/ijpe.17.07.p7.10571062
- By:
- Publication type:
- Article
Fast NAND Flash Memory System for Instruction Code Execution.
- Published in:
- ETRI Journal, 2012, v. 34, n. 5, p. 787, doi. 10.4218/etrij.12.0211.0472
- By:
- Publication type:
- Article
IMPLEMENTING A NEW DIFFUSION BATTERY FOR RADON PROGENY DOSE DETERMINATION.
- Published in:
- Radiation Protection Dosimetry, 2020, v. 188, n. 3, p. 311, doi. 10.1093/rpd/ncz288
- By:
- Publication type:
- Article
Northrop Grumman Demonstrates Broad Area Maritime Surveillance.
- Published in:
- Microwave Journal, 2007, v. 50, n. 10, p. 43
- Publication type:
- Article
Efficient and Reliable Algorithms for the Computation of Non-Twist Invariant Circles.
- Published in:
- Foundations of Computational Mathematics, 2022, v. 22, n. 3, p. 791, doi. 10.1007/s10208-021-09517-9
- By:
- Publication type:
- Article
Musket: a multistage k-mer spectrum-based error corrector for Illumina sequence data.
- Published in:
- Bioinformatics, 2013, v. 29, n. 3, p. 308, doi. 10.1093/bioinformatics/bts690
- By:
- Publication type:
- Article
nestly—a framework for running software with nested parameter choices and aggregating results.
- Published in:
- Bioinformatics, 2013, v. 29, n. 3, p. 387, doi. 10.1093/bioinformatics/bts696
- By:
- Publication type:
- Article
Middleware for a Distributed and Hot-Redundant Software in Ada 2012.
- Published in:
- Ada User Journal, 2016, v. 37, n. 4, p. 207
- By:
- Publication type:
- Article
Session Summary: Open Issues.
- Published in:
- Ada User Journal, 2013, v. 34, n. 4, p. 242
- Publication type:
- Article
Session Summary: Improvements to Ada.
- Published in:
- Ada User Journal, 2013, v. 34, n. 4, p. 239
- Publication type:
- Article
How to Use the Heap in Real-Time Systems: Panel Report.
- Published in:
- Ada User Journal, 2013, v. 34, n. 3, p. 187
- Publication type:
- Article
Programming With Models: Writing Statistical Algorithms for General Model Structures With NIMBLE.
- Published in:
- Journal of Computational & Graphical Statistics, 2017, v. 26, n. 2, p. 403, doi. 10.1080/10618600.2016.1172487
- By:
- Publication type:
- Article
INTEGRATING PLANNING, EXECUTION, AND LEARNING TO IMPROVE PLAN EXECUTION.
- Published in:
- Computational Intelligence, 2013, v. 29, n. 1, p. 1, doi. 10.1111/j.1467-8640.2012.00447.x
- By:
- Publication type:
- Article
MANAGING TEMPORAL CYCLES IN PLANNING PROBLEMS REQUIRING CONCURRENCY.
- Published in:
- Computational Intelligence, 2013, v. 29, n. 1, p. 111, doi. 10.1111/j.1467-8640.2012.00430.x
- By:
- Publication type:
- Article
USING OPTIMIZER HINTS IN AN ORACLE DATABASE.
- Published in:
- Annals of DAAAM & Proceedings, 2009, p. 1371
- By:
- Publication type:
- Article
TIME-AWARE AND WEIGHTED FAULT SEVERITY BASED METRICS FOR TEST CASE PRIORITIZATION.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2011, v. 21, n. 1, p. 129, doi. 10.1142/S0218194011005116
- By:
- Publication type:
- Article
DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 6, p. 761, doi. 10.1142/S021819401000492X
- By:
- Publication type:
- Article
Complexity and information flow analysis for multi-threaded programs.
- Published in:
- European Physical Journal: Special Topics, 2017, v. 226, n. 10, p. 2375, doi. 10.1140/epjst/e2016-60402-0
- By:
- Publication type:
- Article
NAVIGATING THE NEXUS: DMCA Anti- Circumvention Protection of Computer Software.
- Published in:
- Arizona State Law Journal, 2011, v. 43, n. 3, p. 1081
- By:
- Publication type:
- Article