Results 251 to 260 of about 88,794 (289)

A semantic driven approach for requirements consistency verification

International Journal of High Performance Computing and Networking, 2015
Consistency and completeness are the main quality attributes to be guaranteed in software development. Software engineering community has largely studied consistency, together with completeness, in the last decade, to improve quality of software products and to reduce costs. Different approaches have been defined to detect and manage inconsistencies in
Francesco Gargiulo 0003, Gabriella Gigante, Massimo Ficco   +2 more
openaire   +3 more sources

Comparing verification systems: interactive consistency in ACL2

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96, 1997
Achieving interactive consistency among processors in the presence of faults is an important problem in fault tolerant computing, first cleanly formulated by L. Lamport, R. Pease, and M. Shostak (1980; 1982) and solved in selected cases with their Oral Messages (OM) algorithm.
William D. Young
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Automatable Verification of Sequential Consistency

Theory of Computing Systems, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Anne Condon, Alan J. Hu
openaire   +1 more source

Test suite consistency verification

Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), 2008
Test cases are themselves prone to errors, thus techniques and tools to validate tests are needed. In this paper, we suggest a method to check mutual consistency of tests in a test suite.
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich   +2 more
openaire   +1 more source

A comparative study on the consistency of features in on-line signature verification

Pattern Recognition Letters, 2005
A large number of features have been proposed by researchers for on-line signature verification. However, little work has been done in measuring the consistency and discriminative power of these features.
Hansheng Lei, Venu Govindaraju
exaly   +1 more source

Consistency Verification of Specification Rules

2015
This paper focuses on the consistency analysis of specification rules expressing relationships between input and expected output of systems. We identified the link between Minimal Inconsistent Sets (MISes) of rules and Minimal Unsatisfiable Subsets (MUSes) of constraints.
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato   +5 more
openaire   +1 more source

Formal verification of delayed consistency protocols

Proceedings of International Conference on Parallel Processing, 2002
In a cache-coherent shared-memory multiprocessor system, data consistency among cached copies can be delayed until synchronization points under relaxed memory consistency models. Some protocols, called 'delayed consistency protocols', take advantage of this flexibility to reduce cache miss rates and memory traffic.
Fong Pong, Michel Dubois 0001
openaire   +1 more source

SDN verification plane for consistency establishment

2016 IEEE Symposium on Computers and Communication (ISCC), 2016
Software Defined Networking (SDN) is the new promise towards an easily configured and centrally controlled network. Based on this centralized control, SDN technology has proved its positive impact in the world of network communications from different aspects.
Ali Hussein, Imad H. Elhajj, Ali Chehab, Ayman I. Kayssi   +3 more
openaire   +1 more source

A Verification Method for Temporal Consistency of Service Flow

2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Timing constraints verification (such as time consistency) for service flow has become indispensable since many services for e-business are distributed in different places with temporal context. Unfortunately, current researches mainly focus on the modeling, analyzing and verifying of service processes, while ignoring temporal factors.
Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao   +3 more
openaire   +1 more source

SOFTWARE MODEL CHECKING FOR MEMORY CONSISTENCY VERIFICATION

Программирование / Programming and Computer Software
Optimization transformations performed by a compiler may violate memory consistency requirements for a multithreaded program. This leads to errors, when the program behavior will differ from expected. The memory consistency requirements for a particular programming language are called the memory model.
Pavel S. Andrianov, Sergey V. Zelenov, Vadim S. Mutilin, Alexander K. Petrenko   +3 more
openaire   +1 more source