Works about COMPUTER software execution

Results: 221

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 549, doi. 10.1007/s10009-016-0415-4

By:

Abdulla, Parosh;
Haziza, Frédéric;
Holík, Lukáš;
Jonsson, Bengt;
Rezine, Ahmed

Publication type:

Article

Combining usage-based and model-based testing for service-oriented architectures in the industrial practice.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 309, doi. 10.1007/s10009-016-0437-y

By:

Herbold, Steffen;
Harms, Patrick;
Grabowski, Jens

Publication type:

Article

Model-based test generation using extended symbolic grammars.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 437, doi. 10.1007/s10009-014-0316-3

By:

Guo, Hai-Feng;
Subramaniam, Mahadevan

Publication type:

Article

Symbolic object code analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 81, doi. 10.1007/s10009-012-0256-8

By:

Mühlberg, Jan;
Lüttgen, Gerald

Publication type:

Article

Formal modeling and validation of Stateflow diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0

By:

Chen, Chunqing;
Sun, Jun;
Liu, Yang;
Dong, Jin;
Zheng, Manchun

Publication type:

Article

Timing analysis of MSC specifications with asynchronous concatenation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 639, doi. 10.1007/s10009-012-0239-9

By:

Pan, Minxue;
Li, Xuandong

Publication type:

Article

Recovery oriented programming: runtime monitoring of safety and liveness.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 4, p. 377, doi. 10.1007/s10009-011-0200-3

By:

Brukman, Olga;
Dolev, Shlomi

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:

Fidge, C.

Publication type:

Article

Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas.

Published in:

Automation & Remote Control, 2016, v. 77, n. 3, p. 473, doi. 10.1134/S0005117916030097

By:

Chivilikhin, D.;
Ulyantsev, V.;
Shalyto, A.

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:

Liu, Yongchao;
Schröder, Jan;
Schmidt, Bertil

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:

McCoy, Connor O.;
Gallagher, Aaron;
Hoffman, Noah G.;
Matsen, Frederick A.

Publication type:

Article

Stateless model checking for TSO and PSO.

Published in:

Acta Informatica, 2017, v. 54, n. 8, p. 789, doi. 10.1007/s00236-016-0275-0

By:

Abdulla, Parosh;
Aronis, Stavros;
Atig, Mohamed;
Jonsson, Bengt;
Leonardsson, Carl;
Sagonas, Konstantinos

Publication type:

Article

Testing Automation of Context-Oriented Programs Using Separation Logic.

Published in:

Applied Computational Intelligence & Soft Computing, 2014, p. 1, doi. 10.1155/2014/930186

By:

El-Zawawy, Mohamed A.

Publication type:

Article

High-Throughput Feeding Bioassay for Lepidoptera Larvae.

Published in:

Journal of Chemical Ecology, 2021, v. 47, n. 7, p. 642, doi. 10.1007/s10886-021-01290-x

By:

Sanané, Inoussa;
Legrand, Judith;
Dillmann, Christine;
Marion-Poll, Frédéric

Publication type:

Article

Compiler Transformations to Enable Synchronous Execution in an RIA Runtine.

Published in:

IEEE Internet Computing, 2010, v. 14, n. 3, p. 13, doi. 10.1109/MIC.2010.65

By:

Narayana Iyer, Anantharaman P.;
Chatterjee, Arijit;
Kishnani, Jyoti

Publication type:

Article

Rich Internet Applications.

Published in:

IEEE Internet Computing, 2010, v. 14, n. 3, p. 9, doi. 10.1109/MIC.2010.76

By:

Fraternali, Piero;
Rossi, Gustavo;
Sánchez-Figueroa, Fernando

Publication type:

Article

Ten simple rules for quick and dirty scientific programming.

Published in:

2021

By:

Balaban, Gabriel;
Grytten, Ivar;
Rand, Knut Dagestad;
Scheffer, Lonneke;
Sandve, Geir Kjetil

Publication type:

Editorial

Analytical Propagation of Runoff Uncertainty Into Discharge Uncertainty Through a Large River Network.

Published in:

Geophysical Research Letters, 2019, v. 46, n. 14, p. 8102, doi. 10.1029/2019GL083342

By:

David, Cédric H.;
Hobbs, Jonathan M.;
Turmon, Michael J.;
Emery, Charlotte M.;
Reager, John T.;
Famiglietti, James S.

Publication type:

Article

Dispatching stream operators in parallel execution of continuous queries.

Published in:

Journal of Supercomputing, 2012, v. 61, n. 3, p. 619, doi. 10.1007/s11227-011-0621-5

By:

Safaei, Ali;
Haghjoo, Mostafa

Publication type:

Article

Power-aware register assignment for large register file design.

Published in:

Journal of Supercomputing, 2012, v. 61, n. 3, p. 719, doi. 10.1007/s11227-011-0633-1

By:

Shieh, Wann-Yun;
Wang, Bo-Syun

Publication type:

Article

An energy-efficient protocol for data gathering and aggregation in wireless sensor networks.

Published in:

Journal of Supercomputing, 2008, v. 43, n. 2, p. 107, doi. 10.1007/s11227-007-0122-8

By:

Liu, Ming;
Cao, Jiannong;
Zheng, Yuan;
Gong, Haigang;
Wang, Xiaomin

Publication type:

Article

A Static Approach to Prioritizing JUnit Test Cases.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1258, doi. 10.1109/TSE.2011.106

By:

Mei, Hong;
Hao, Dan;
Zhang, Lingming;
Zhang, Lu;
Zhou, Ji;
Rothermel, Gregg

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:

Búrdalo, Luis;
Terrasa, Andrés;
Espinosa, Agustín;
García-Fornes, Ana

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:

Chen, Ting;
Zhang, Xiao‐song;
Zhu, Cong;
Ji, Xiao‐li;
Guo, Shi‐ze;
Wu, Yue

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

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

Coalesced Redundant Block Synchronization on GPGPU.

Published in:

International Journal of Advanced Research in Computer Science, 2016, v. 7, n. 1, p. 33

By:

S., Suma

Publication type:

Article

Acumen of Column-Store Architecture Approaches and Challenges.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 3, p. 804

By:

Nair, Sanil. S.;
Pund, Bhruthari G.;
Deshmukh, Prajakta P.

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:

Argall, Brenna;
Browning, Brett;
Veloso, Manuela

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:

Chen, Jinfu;
Cai, Saihua;
Towey, Dave;
Zhu, Lili;
Huang, Rubing;
Ackah-Arthur, Hilary;
Omari, Michael

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:

Silvander, Johan;
Wilson, Magnus;
Wnuk, Krzysztof;
Svahnberg, Mikael

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:

Fukuda, Hiroaki;
Leger, Paul

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:

Qiu, Dehong;
Zhang, Qifeng;
Fang, Shaohong

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:

ZHAO, LEI;
ZHANG, ZHENYU;
WANG, LINA;
YIN, XIAODAN

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:

MARY, S. A. SAHAAYA ARUL;
KRISHNAMOORTHI, R.

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:

SARTIPI, KAMRAN;
SAFYALLAH, HOSSEIN

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

Performance Monitoring and Analysis of Task-Based OpenMP.

Published in:

PLoS ONE, 2013, v. 8, n. 10, p. 1, doi. 10.1371/journal.pone.0077742

By:

Ding, Yi;
Hu, Kai;
Wu, Kai;
Zhao, Zhenlong

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

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:

Ramírez, Erika J.;
Enríquez, Martín;
Villanueva, Francisco J.;
Hernández, Alfonso

Publication type:

Article

Novel techniques for enhancing performance of genetic algorithms.

Published in:

AI Communications, 2016, v. 29, n. 4, p. 545, doi. 10.3233/AIC-150661

By:

Sivaraj, R.

Publication type:

Article

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

Log-based middleware server recovery with transaction support.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2011, v. 20, n. 3, p. 347, doi. 10.1007/s00778-010-0199-1

By:

Rui Wang;
Salzberg, Betty;
Lomet, David

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:

Miranda Carranza, Pablo

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:

Railsback, Steven;
Ayllon, Daniel;
Berger, Uta;
Grimm, Volker;
Lytinen, Steven;
Sheppard, Colin;
Thiele, Jan

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

Middleware for a Distributed and Hot-Redundant Software in Ada 2012.

Published in:

Ada User Journal, 2016, v. 37, n. 4, p. 207

By:

Monfort, Vincent

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