Works about COMPUTER software correctness

Results: 252

Solving the parity problem in one-dimensional cellular automata.

Published in:

Natural Computing, 2013, v. 12, n. 3, p. 323, doi. 10.1007/s11047-013-9374-9

By:

Betel, Heather;
Oliveira, Pedro;
Flocchini, Paola

Publication type:

Article

Using automated software evaluation to improve the performance of breast radiographers in tomosynthesis screening.

Published in:

European Radiology, 2024, v. 34, n. 7, p. 4738, doi. 10.1007/s00330-023-10457-x

By:

Gennaro, Gisella;
Povolo, Letizia;
Del Genio, Sara;
Ciampani, Lina;
Fasoli, Chiara;
Carlevaris, Paolo;
Petrioli, Maria;
Masiero, Tiziana;
Maggetto, Federico;
Caumo, Francesca

Publication type:

Article

Коректність пласкої класифікації.

Published in:

Èlektronnoe Modelirovanie, 2023, v. 45, n. 2, p. 34, doi. 10.15407/emodel.45.02.034

By:

Ярошинський, М. С.;
Сіроткін, О. В.;
Сінько, Д. П.;
Гунько, С. Б.;
Манолюк, Д. О.

Publication type:

Article

Electromagnetic control based on Lie symmetry transformation.

Published in:

Journal of Engineering Research (2307-1877), 2022, v. 10, n. 3A, p. 240, doi. 10.36909/jer.10909

By:

Zheng Mingliang

Publication type:

Article

Properties and numerical simulation for self-weight consolidation of the dredged material.

Published in:

European Journal of Environmental & Civil Engineering, 2020, v. 24, n. 7, p. 949, doi. 10.1080/19648189.2018.1432508

By:

Wang, Liang;
Sun, Jinshan;
Zhang, Minsheng;
Yang, Lijing;
Li, Lei;
Yan, Jinhui

Publication type:

Article

An architecture refactoring approach to reducing software hierarchy complexity.

Published in:

Journal of Software: Evolution & Process, 2024, v. 36, n. 4, p. 1, doi. 10.1002/smr.2573

By:

Zhao, Yongxin;
Wu, Wenhan;
Fei, Yuan;
Liu, Zhihao;
Li, Yang;
Yang, Yilong;
Shi, Ling;
Zhang, Bo

Publication type:

Article

Quantum software testing: State of the art.

Published in:

Journal of Software: Evolution & Process, 2023, v. 35, n. 4, p. 1, doi. 10.1002/smr.2419

By:

García de la Barrera, Antonio;
García‐Rodríguez de Guzmán, Ignacio;
Polo, Macario;
Piattini, Mario

Publication type:

Article

Empirical studies on software traceability: A mapping study.

Published in:

Journal of Software: Evolution & Process, 2021, v. 33, n. 2, p. 1, doi. 10.1002/smr.2294

By:

Charalampidou, Sofia;
Ampatzoglou, Apostolos;
Karountzos, Evangelos;
Avgeriou, Paris

Publication type:

Article

Spreadsheet guardian: An approach to protecting semantic correctness throughout the evolution of spreadsheets.

Published in:

Journal of Software: Evolution & Process, 2018, v. 30, n. 9, p. 1, doi. 10.1002/smr.1934

By:

Kulesz, Daniel;
Käfer, Verena;
Wagner, Stefan

Publication type:

Article

Extending Category Partition's Base Choice criterion to better support constraints.

Published in:

Journal of Software: Evolution & Process, 2018, v. 30, n. 3, p. 1, doi. 10.1002/smr.1868

By:

Khalsa, Sunint Kaur;
Labiche, Yvan

Publication type:

Article

Red–black trees with constant update time.

Published in:

Acta Informatica, 2019, v. 56, n. 5, p. 391, doi. 10.1007/s00236-019-00335-9

By:

Elmasry, Amr;
Kahla, Mostafa;
Ahdy, Fady;
Hashem, Mahmoud

Publication type:

Article

Verification of heap manipulating programs with ordered data by extended forest automata.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 357, doi. 10.1007/s00236-015-0235-0

By:

Abdulla, Parosh;
Holík, Lukáš;
Jonsson, Bengt;
Lengál, Ondřej;
Trinh, Cong;
Vojnar, Tomáš

Publication type:

Article

Correct hardware synthesis.

Published in:

Acta Informatica, 2011, v. 48, n. 7/8, p. 363, doi. 10.1007/s00236-011-0142-y

By:

Perna, Juan;
Woodcock, Jim;
Sampaio, Augusto;
Iyoda, Juliano

Publication type:

Article

LR error repair using the A* algorithm.

Published in:

Acta Informatica, 2010, v. 47, n. 3, p. 179, doi. 10.1007/s00236-010-0115-6

By:

Kim, Ik-Soon;
Yi, Kwangkeun

Publication type:

Article

SURVEY QUESTIONNAIRE FOR THE STUDY ON OCCUPATIONAL SAFETY CULTURE IN A PRODUCTION PLANT. CONSTRUCTION AND STATISTICAL VERIFICATION OF DATA CORRECTNESS.

Published in:

Management & Production Engineering Review (MPER), 2019, v. 10, n. 2, p. 101, doi. 10.24425/mper.2019.129573

By:

Krupa, Patryk;
Gabryelewicz, Izabela;
Edl, Milan;
Pantya, Peter;
Patalas-Maliszewska, Justyna

Publication type:

Article

Back-stepping stabilization of chaotic systems based on triangular form.

Published in:

Modern Physics Letters B, 2019, v. 33, n. 12, p. N.PAG, doi. 10.1142/S0217984919501537

By:

Peng, Chenchen

Publication type:

Article

Controllability of fractional-order directed complex networks.

Published in:

Modern Physics Letters B, 2014, v. 28, n. 27, p. 1, doi. 10.1142/S021798491450211X

By:

Hao Zhang;
Di-Yi Chen;
Bei-Bei Xu;
Run-Fan Zhang

Publication type:

Article

Weak vs. Self vs. Probabilistic Stabilization.

Published in:

International Journal of Foundations of Computer Science, 2015, v. 26, n. 3, p. 293, doi. 10.1142/S0129054115500173

By:

Devismes, Stéphane;
Tixeuil, Sébastien;
Yamashita, Masafumi

Publication type:

Article

Analysis of Errors in Priority Vector Estimation and Their Relationship with the Correctness of the Final Ranking of Decision Alternatives.

Published in:

IAENG International Journal of Applied Mathematics, 2019, v. 49, n. 3, p. 381

By:

Grzybowski, Andrzej Z.;
Starczewski, Tomasz

Publication type:

Article

WiLE: Leader Election in Wireless Networks.

Published in:

Adhoc & Sensor Wireless Networks, 2019, v. 44, n. 1/2, p. 59

By:

SHESHASHAYEE, ABHIMANYU VENKATRAMAN;
BASAGNI, STEFANO

Publication type:

Article

THE NEED FOR PARALLEL SPEED.

Published in:

2017

By:

Cooper, Martin

Publication type:

Interview

Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlights.

Published in:

Software & Systems Modeling, 2019, v. 18, n. 2, p. 1079, doi. 10.1007/s10270-017-0618-5

By:

Jošt, Gregor;
Heričko, Marjan;
Polančič, Gregor

Publication type:

Article

Translation of ATL to AGT and application to a code generator for Simulink.

Published in:

Software & Systems Modeling, 2019, v. 18, n. 1, p. 321, doi. 10.1007/s10270-017-0607-8

By:

Richa, Elie;
Borde, Etienne;
Pautet, Laurent

Publication type:

Article

Decentralized tube‐based model predictive control of uncertain nonlinear multiagent systems.

Published in:

International Journal of Robust & Nonlinear Control, 2019, v. 29, n. 10, p. 2799, doi. 10.1002/rnc.4522

By:

Nikou, Alexandros;
Dimarogonas, Dimos V.

Publication type:

Article

An extended schema and its production rule-based algorithms for assembly data exchange using IGES.

Published in:

International Journal of Advanced Manufacturing Technology, 2012, v. 58, n. 9-12, p. 1155, doi. 10.1007/s00170-011-3434-z

By:

Hu, Kai-Mo;
Wang, Bin;
Liu, Yong;
Huang, Jing;
Yong, Jun-Hai

Publication type:

Article

Determining basic characteristics of stars from evolutionary computations.

Published in:

Astronomy Reports, 2017, v. 61, n. 3, p. 193, doi. 10.1134/S1063772917030076

By:

Sichevskij, S.

Publication type:

Article

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.

Published in:

IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 109, doi. 10.1109/TSE.2010.23

By:

Chen, T.Y.;
Tse, T.H.;
Zhou, Zhi Quan

Publication type:

Article

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.

Published in:

IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 178, doi. 10.1109/TSE.2008.101

By:

Carnevali, Laura;
Grassi, Leonardo;
Vicario, Enrico

Publication type:

Article

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.

Published in:

IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 608, doi. 10.1109/TSE.2006.83

By:

Andrews, James .H.;
Namin, Akbar Siami;
Briand, Lionel .C;
Labiche, Yvan

Publication type:

Article

Runtime Analysis of Atomicity for Multithreaded Programs.

Published in:

IEEE Transactions on Software Engineering, 2006, v. 32, n. 2, p. 93, doi. 10.1109/TSE.2006.1599419

By:

Wang, Liqiang;
Stoller, Scott D.

Publication type:

Article

Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 11, p. 1031, doi. 10.1109/TSE.2003.1245304

By:

Bailey, Mark W.;
Davidson, Jack W.

Publication type:

Article

Incremental Integration Testing of Concurrent Programs.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 6, p. 607, doi. 10.1109/TSE.2002.1010062

By:

Koppol, Pramod V.;
Carver, H.;
Kuo-Chung Tai

Publication type:

Article

Simplifying and Isolating Failure-Inducing Input.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 183, doi. 10.1109/32.988498

By:

Zeller, Andreas;
Hildebrandt, Ralf

Publication type:

Article

Test Case Prioritization: A Family of Empirical Studies.

Published in:

IEEE Transactions on Software Engineering, 2002, v. 28, n. 2, p. 159, doi. 10.1109/32.988497

By:

Elbaum, Sebastian;
Malishevsky, Alexey G.;
Rothermel, Gregg

Publication type:

Article

基于Bell 态纠缠交换的身份认证协议.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 4, p. 1125, doi. 10.19734/j.issn.1001-3695.2017.11.1000

By:

熊金鑫;
方杰;
昌燕;
张仕斌

Publication type:

Article

适用于多密级环境的移动存储设备互认证与密钥协商协议.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 4, p. 1115, doi. 10.19734/j.issn.1001-3695.2017.11.1003

By:

冯力;
郁滨;
龚碧;
周伟伟

Publication type:

Article

利用帕累托非支配关系实现高效三目标差分进化的方法.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 3, p. 817, doi. 10.19734/j.issn.1001-3695.2017.09.0909

By:

许玉龙;
潘旭;
王忠义;
盛梦园;
王林景

Publication type:

Article

面向车载容迟网络的连通性建模与仿真研究.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 2, p. 580, doi. 10.19734/j.issn.1001-3695.2017.10.0952

By:

毕俊蕾;
李致远

Publication type:

Article

一种水下群机器人路径规划算法的形式化研究.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 2, p. 490, doi. 10.19734/j.issn.1001-3695.2017.08.0695

By:

张杰;
刘耕阳;
关永

Publication type:

Article

一种改进的R-LWE同态掩码方案.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2019, v. 36, n. 1, p. 243, doi. 10.19734/j.issn.1001-3695.2017.07.0703

By:

李子臣;
孙亚飞;
杨亚涛;
梁斓;
曹广灿

Publication type:

Article

基于不可区分混淆的定时释放密码方案.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2017, v. 34, n. 9, p. 2795, doi. 10.3969/j.issn.1001-3695.2017.09.051

By:

王通;
何宇帆;
李磊

Publication type:

Article

Ancilla-driven universal blind quantum computation.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 3, p. 829, doi. 10.3969/j.issn.1001-3695.2014.03.046

By:

YANG Chen;
LI Shun-dong;
XUE Dan

Publication type:

Article

Deniable attribute-based designated confirmer signature.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 1, p. 213, doi. 10.3969/j.issn.1001-3695.2014.01.050

By:

REN Yan;
TANG Chun-ming

Publication type:

Article

“So my program doesn't run!” Definition, origins, and practical expressions of students' (mis)conceptions of correctness.

Published in:

Computer Science Education, 2008, v. 18, n. 2, p. 135, doi. 10.1080/08993400802156400

By:

Ben-David Kolikant, Y.;
Mussai, M.

Publication type:

Article

An Intelligent Approach for Handling Complexity by Migrating from Conventional Databases to Big Data.

Published in:

Symmetry (20738994), 2018, v. 10, n. 12, p. 698, doi. 10.3390/sym10120698

By:

Ramzan, Shabana;
Bajwa, Imran Sarwar;
Kazmi, Rafaqut

Publication type:

Article

Mechanism Analysis of the Effect of the Equivalent Proportional Coefficient of Inertia Control for a Doubly Fed Wind Generator on Frequency Stability in Extreme Environments.

Published in:

Sustainability (2071-1050), 2024, v. 16, n. 12, p. 4965, doi. 10.3390/su16124965

By:

Zhang, Haopeng;
Zhai, Xiangyu;
Zhang, Jiahui;
Bai, Xiang;
Li, Zening

Publication type:

Article

4FP-Structure: A Robust Local Region Feature Descriptor.

Published in:

Photogrammetric Engineering & Remote Sensing, 2017, v. 83, n. 12, p. 813, doi. 10.14358/PERS.83.12.813

By:

Jiayuan Li;
Qingwu Hu;
Mingyao Ai

Publication type:

Article

Comparison Between First Pulse and Last Pulse Laser Scanner Data in the Automatic Detection of Buildings.

Published in:

Photogrammetric Engineering & Remote Sensing, 2009, v. 75, n. 2, p. 133, doi. 10.14358/PERS.75.2.133

By:

Matikainen, Leena;
Hyyppä, Juha;
Kaartinen, Harri

Publication type:

Article

Formal Specification and Verification of Mobile Agent Systems.

Published in:

International Journal of Computers, Communications & Control, 2014, v. 9, n. 3, p. 292, doi. 10.15837/ijccc.2014.3.116

By:

Kahloul, Laid;
Grira, Messaouda

Publication type:

Article

An Improvement of The Gibbs-Poole-Stockmeyer Algorithm.

Published in:

Journal of Algorithms & Computational Technology, 2010, v. 4, n. 3, p. 325, doi. 10.1260/1748-3018.4.3.325

By:

Feng, Gu

Publication type:

Article