Works matching DE "COMPUTER software execution"
Results: 220
Context-aware adaptation of multimedia documents for consistent presentations.
- Published in:
- Multimedia Systems, 2011, v. 17, n. 6, p. 465, doi. 10.1007/s00530-011-0230-4
- By:
- Publication type:
- Article
Improving Execution Speed of Models Implemented in NetLogo.
- Published in:
- Journal of Artificial Societies & Social Simulation, 2017, v. 20, n. 1, p. 1, doi. 10.18564/jasss.3282
- By:
- Publication type:
- Article
A Credit-Based Load-Balance-Aware CTA Scheduling Optimization Scheme in GPGPU.
- Published in:
- International Journal of Parallel Programming, 2016, v. 44, n. 1, p. 109, doi. 10.1007/s10766-014-0318-5
- By:
- Publication type:
- Article
Adaptive Task Pools: Efficiently Balancing Large Number of Tasks on Shared-address Spaces.
- Published in:
- International Journal of Parallel Programming, 2011, v. 39, n. 5, p. 553, doi. 10.1007/s10766-010-0156-z
- By:
- Publication type:
- Article
Capturing and Analyzing the Execution Control Flow of OpenMP Applications.
- Published in:
- International Journal of Parallel Programming, 2009, v. 37, n. 3, p. 266, doi. 10.1007/s10766-009-0100-2
- By:
- Publication type:
- Article
A certified lightweight non-interference Java bytecode verifier.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 5, p. 1032, doi. 10.1017/S0960129512000850
- By:
- Publication type:
- Article
On quasi-interpretations, blind abstractions and implicit complexity.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 549, doi. 10.1017/S0960129511000685
- By:
- Publication type:
- Article
Modelling declassification policies using abstract domain completeness.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1253, doi. 10.1017/S096012951100020X
- By:
- Publication type:
- Article
Secure information flow by self-composition.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1207, doi. 10.1017/S0960129511000193
- By:
- Publication type:
- Article
Non-disclosure for distributed mobile code.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1111, doi. 10.1017/S096012951100017X
- By:
- Publication type:
- Article
Design and implementation of a dynamic symbolic execution tool for windows executables.
- Published in:
- Journal of Software: Evolution & Process, 2013, v. 25, n. 12, p. 1249, doi. 10.1002/smr.1601
- By:
- Publication type:
- Article
Single-processor scheduling with time restrictions.
- Published in:
- Journal of Scheduling, 2014, v. 17, n. 4, p. 399, doi. 10.1007/s10951-013-0342-0
- By:
- Publication type:
- Article
Aspectualization of code clones-an algorithmic approach.
- Published in:
- Information Systems Frontiers, 2014, v. 16, n. 5, p. 835, doi. 10.1007/s10796-013-9428-7
- By:
- Publication type:
- Article
Recording Evolution Supervised by a Genetic Algorithm for Quantitative Structure-Activity Relationship Optimization.
- Published in:
- Applied Medical Informatics, 2010, v. 26, n. 1/2, p. 89
- By:
- Publication type:
- Article
USING OPTIMIZER HINTS IN AN ORACLE DATABASE.
- Published in:
- Annals of DAAAM & Proceedings, 2009, p. 1371
- 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
LOAD BALANCING METRICS FOR THE SOAJA FRAMEWORK.
- Published in:
- Scalable Computing: Practice & Experience, 2009, v. 10, n. 4, p. 419
- By:
- Publication type:
- Article
Computational Aspects of Uncertainty Profiles and Angel-Daemon Games.
- Published in:
- Theory of Computing Systems, 2014, v. 54, n. 1, p. 83, doi. 10.1007/s00224-013-9481-0
- By:
- Publication type:
- Article
On the Expressiveness of Single-Pass Instruction Sequences.
- Published in:
- Theory of Computing Systems, 2012, v. 50, n. 2, p. 313, doi. 10.1007/s00224-010-9301-8
- By:
- Publication type:
- Article
Interface Hombre-Máquina para la Estación Neumática PN-2800 de un Centro Integrado de Manufactura utilizando una Pantalla de Interface.
- Published in:
- Información Tecnológica, 2012, v. 23, n. 4, p. 83, doi. 10.4067/S0718-07642012000400010
- By:
- Publication type:
- Article
Execution of a participatory supportive return to work program within the Dutch social security sector: a qualitative evaluation of stakeholders' perceptions.
- Published in:
- 2016
- By:
- Publication type:
- journal article
The Planning Spectrum -- One, Two, Three, Infinity.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 30, p. 101, doi. 10.1613/jair.1909
- By:
- Publication type:
- Article
EMI EXECUTION SERVICE -- THE KEY TO PROVIDE INTEROPERABILITY OF GRID INFRASTRUCTURES.
- Published in:
- 2014
- By:
- Publication type:
- Product Review
Formal Specification of the Assurance Point Web Service Composition Model.
- Published in:
- International Journal of Cooperative Information Systems, 2014, v. 23, n. 4, p. -1, doi. 10.1142/S0218843014500075
- By:
- Publication type:
- Article
Dynamic Transaction Aware Web Service Selection.
- Published in:
- International Journal of Cooperative Information Systems, 2014, v. 23, n. 3, p. -1, doi. 10.1142/S021884301450004X
- By:
- Publication type:
- Article
Explainable dynamic programming.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000083
- 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
The effect of a telerehabilitation virtual reality intervention on functional upper limb activities in people with multiple sclerosis: a study protocol for the TEAMS pilot randomized controlled trial.
- Published in:
- 2020
- By:
- Publication type:
- journal article
RRT*-SMART: A Rapid Convergence Implementation of RRT*.
- Published in:
- International Journal of Advanced Robotic Systems, 2013, v. 10, n. 7, p. 1, doi. 10.5772/56718
- 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
On Safety Properties and Their Monitoring.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 327, doi. 10.7561/SACS.2012.2.327
- By:
- Publication type:
- Article
Standard Type Soundness for Agents and Artifacts.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 267, doi. 10.7561/SACS.2012.2.267
- By:
- Publication type:
- Article
Indirect Jumps Improve Instruction Sequence Performance.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 253, doi. 10.7561/SACS.2012.2.253
- By:
- Publication type:
- Article
Design of a Standard and Programmatically Accessible Interface for Smart Meters to Allow Monitoring Automation of the Energy Consumed by the Execution of Computer Software.
- Published in:
- Sustainability (2071-1050), 2023, v. 15, n. 3, p. 1900, doi. 10.3390/su15031900
- 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
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
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
Parallel task scheduling under multi-Clouds.
- Published in:
- KSII Transactions on Internet & Information Systems, 2017, v. 11, n. 1, p. 39, doi. 10.3837/tiis.2017.01.003
- By:
- Publication type:
- Article
A Pattern-Based Prediction Model for Dynamic Resource Provisioning in Cloud Environment.
- Published in:
- KSII Transactions on Internet & Information Systems, 2011, v. 5, n. 10, p. 1712, doi. 10.3837/tiis.2011.10.002
- By:
- Publication type:
- Article
A Practical Implementation of Fuzzy Fingerprint Vault.
- Published in:
- KSII Transactions on Internet & Information Systems, 2011, v. 5, n. 10, p. 1783, doi. 10.3837/tiis.2011.10.006
- By:
- Publication type:
- Article
Formal change impact analyses for emulated control software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 321, doi. 10.1007/s10009-004-0174-5
- By:
- Publication type:
- Article
Palladio, the Computer Program Source Code and Architectural Principles.
- Published in:
- Dimensions. Journal of Architectural Knowledge, 2023, v. 3, n. 5, p. 207, doi. 10.14361/dak-2023-0512
- By:
- Publication type:
- Article
Underground mining slurry transportation viability.
- Published in:
- International Journal of Coal Science & Technology, 2019, v. 6, n. 3, p. 430, doi. 10.1007/s40789-019-0257-2
- 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