Works about COMPUTER software execution

Results: 221

Special issue on best papers of VLDB 2016.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2018, v. 27, n. 5, p. 593, doi. 10.1007/s00778-018-0520-y

By:

Chaudhuri, Surajit;
Haritsa, Jayant R.

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:

Samanta, Binay;
Samaddar, Arun Baran

Publication type:

Article

Proposed Leadership Structure for Joint Acquisition Programs.

Published in:

Defense Acquisition Research Journal: A Publication of the Defense Acquisition University, 2012, v. 19, n. 1, p. 33

By:

Harris, Howard;
Lewis, Mark

Publication type:

Article

A Formal Approach to Testing Programs in Practice.

Published in:

Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1469, doi. 10.2298/CSIS120301050L

By:

Shaoying Liu;
Wuwei Shen;
Shin Nakajima

Publication type:

Article

SMP-SIM: an SMP-based Discrete-event Execution-driven Performance Simulator.

Published in:

Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1361, doi. 10.2298/CSIS120118046L

By:

Yufei Lin;
Xinhai Xu;
Yuhua Tang;
Xin Zhang;
Xiaowei Guo

Publication type:

Article

Parallel Processing on Block-based Gauss- Jordan Algorithm for Desktop Grid.

Published in:

Computer Science & Information Systems, 2011, v. 8, n. 3, p. 739, doi. 10.2298/CSIS100907026S

By:

Yizi Shang;
Guiming Lu;
Ling Shang;
Guangqian Wang

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:

ROŞU, Grigore

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:

DAMIANI, Ferruccio;
GIANNIN, Paola;
RICCI, Alessandro;
VIROLI, Mirko

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:

Bergstra, J. A.;
Middelburg, C. A.

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:

Ajila, Samuel;
Gakhar, Angad;
Lung, Chung-Horng

Publication type:

Article

ASPECT MINING. PAST, PRESENT, FUTURE.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 4, p. 85

By:

COJOCAR, GRIGORETA S.

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:

Huang, Guoyan;
Zhang, Bing;
Ren, Rong;
Ren, Jiadong

Publication type:

Article

A new flexible plug and play scheme for modeling, simulating, and predicting gastric emptying.

Published in:

Theoretical Biology & Medical Modelling, 2014, v. 11, n. 1, p. 1, doi. 10.1186/1742-4682-11-28

By:

Krishnan, Shaji;
van Avesaat, Mark;
Troost, Freddy J.;
Hendriks, Henk F. J.;
de Graaf, Albert A.

Publication type:

Article

An Efficient Method to Synthesize Reversible Logic by Using Positive Davio Decision Diagrams.

Published in:

Circuits, Systems & Signal Processing, 2014, v. 33, n. 10, p. 3107, doi. 10.1007/s00034-014-9789-2

By:

Pang, Yu;
Yan, Yafeng;
Lin, Jinzhao;
Huang, Huawei;
Wu, Wei

Publication type:

Article

A fault tolerant election-based deadlock detection algorithm in distributed systems.

Published in:

Software Quality Journal, 2018, v. 26, n. 3, p. 991, doi. 10.1007/s11219-017-9379-1

By:

Lu, Wei;
Yang, Yong;
Wang, Liqiang;
Xing, Weiwei;
Che, Xiaoping;
Chen, Lei

Publication type:

Article

A survey on dynamic mobile malware detection.

Published in:

Software Quality Journal, 2018, v. 26, n. 3, p. 891, doi. 10.1007/s11219-017-9368-4

By:

Yan, Ping;
Yan, Zheng

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:

BARTHE, GILLES;
D'ARGENIO, PEDRO R.;
REZK, TAMARA

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:

MATOS, ANA ALMEIDA;
CEDERQUIST, JAN

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:

MASTROENI, ISABELLA;
BANERJEE, ANINDYA

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:

DAS, DEBASISH;
SHARMA, UTPAL;
BHATTACHARYYA, D. K.

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:

Lopriore, Lanfranco

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:

Serral, Estefanía;
Valderas, Pedro;
Pelechano, Vicente

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:

Nguyen, Thi;
He, Zhen;
Chen, Yi-Ping Phoebe

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:

XUEJUN YANG;
JI WANG;
XIAODONG YI

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:

Cahill, V.;
Nixon, P.;
Tangney, B.;
Rabhi, F.

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:

Jiménez, Sergio;
Fernández, Fernando;
Borrajo, Daniel

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:

Cooper, Martin C.;
Maris, Frédéric;
Régnier, Pierre

Publication type:

Article

Executable Images: The Enactment and Distribution of Movies in Computer Networks.

Published in:

Velvet Light Trap: A Critical Journal of Film & Television, 2012, n. 70, p. 49, doi. 10.7560/VLT7005

By:

Gonring, Gabriel Menotti

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:

Chenjing Yan;
Wei Zhang;
Xiaochuan Jing;
Hui Ge;
Xiaoyin Wang

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:

Lammerts, Lieke;
Schaafsma, Frederieke G.;
Mechelen, Willem van;
Anema, Johannes R.;
van Mechelen, Willem

Publication type:

journal article

Effectiveness of Program Visualization: A Case Study with the ViLLE Tool.

Published in:

Journal of Information Technology Education: Research, 2008, v. 7, p. IIP15

By:

Rajala, Teemu;
Laakso, Mikko-Jussi;
Kaila, Erkki;
Salakoski, Tapio

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:

Ogunyomi, Babajide;
Rose, Louis M.;
Kolovos, Dimitrios S.

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:

Gammaitoni, Loïc;
Kelsen, Pierre

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:

Birch, Geoff;
Fischer, Bernd;
Poppleton, Michael

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:

Szárnyas, Gábor;
Izsó, Benedek;
Ráth, István;
Varró, Dániel

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:

Ciccozzi, Federico

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:

Vögele, Christian;
van Hoorn, André;
Schulz, Eike;
Hasselbring, Wilhelm;
Krcmar, Helmut

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:

Seiger, Ronny;
Huber, Steffen;
Schlegel, Thomas

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:

Falkner, Katrina;
Szabo, Claudia;
Chiprianov, Vanea;
Puddy, Gavin;
Rieckmann, Marianne;
Fraser, Dan;
Aston, Cathlyn

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:

Leemans, Sander J. J.;
Fahland, Dirk;
van der Aalst, Wil M. P.

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:

Mashkoor, Atif;
Yang, Faqing;
Jacquot, Jean-Pierre

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:

Guerra, Esther;
Lara, Juan

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:

Hamou-Lhadj, Abdelwahab;
Lethbridge, Timothy

Publication type:

Article

On-Line PEMFC Control Using Parameterized Nonlinear Model-Based Predictive Control.

Published in:

Fuel Cells, 2014, v. 14, n. 6, p. 886, doi. 10.1002/fuce.201400080

By:

Damour, C.;
Benne, M.;
Kadjo, J.-J. A.;
Deseure, J.;
Grondin-Perez, B.

Publication type:

Article

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:

Abdelli, Abdelkrim;
Badache, Nadjib

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:

de Valpine, Perry;
Turek, Daniel;
Paciorek, Christopher J.;
Anderson-Bergman, Clifford;
Lang, Duncan Temple;
Bodik, Rastislav

Publication type:

Article

Formal Verification of an Incremental Garbage Collector.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 6, p. 815, doi. 10.1093/logcom/13.6.815

By:

Coupet-Grimal, Solange;
Nouvet, Catherine

Publication type:

Article

An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 6, p. 801, doi. 10.1093/logcom/13.6.801

By:

Coupet-Grimal, Solange

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:

Jäntschi, Lorentz;
Bolboaca, Sorana D.;
Sestraş, Radu E.

Publication type:

Article

HYBRID JAVA COMPILATION OF JUST-IN-TIME AND AHEAD-OF TIME FOR EMBEDDED SYSTEMS.

Published in:

Journal of Circuits, Systems & Computers, 2012, v. 21, n. 2, p. 1240001-1, doi. 10.1142/S0218126612400014

By:

OH, HYEONG-SEOK;
MOON, SOO-MOOK;
JUNG, DONG-HEON

Publication type:

Article