Search Results

Applied Science & Technology Full Text (H.W. Wilson)

Record details

Boolean Satisfiability: Theory and Engineering.

• Authors : Vardi, Moshe Y. (AUTHOR)

Subjects: *SOFTWARE engineering; *COMPUTER software; COMPUTATIONAL complexity

• Source: Communications of the ACM. Mar2014, Vol. 57 Issue 3, p5-5. 1p.

Record details

Presentation of Repeated Phrases in a Computer-Assisted Abstracting Tool Kit.

• Authors : Craven, Timothy C.

Subjects: Abstracting; Automatic Indexing; Computer Software

• Source: Information Processing & Management. Mar 2001 37(2):221-230.10

Record details

Fast Algebraic Attacks and Decomposition of Symmetric Boolean Functions.

• Authors : Liu, Meicheng; Lin, Dongdai; Pei, Dingyi

Subjects: BOOLEAN algebra; ALGEBRAIC functions; MATHEMATICAL decomposition

• Source: IEEE Transactions on Information Theory; Jul2011, Vol. 57 Issue 7, p4817-4821, 5p

Record details

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm.

• Authors : Kalaee, Akram¹; Rafe, Vahid¹ v ‐

Subjects: *COMPUTER software; *BOOLEAN functions; *BOOLEAN searching

• Source: Quality & Reliability Engineering International. Nov2016, Vol. 32 Issue 7, p2263-2279. 17p. 1 Black and White Photograph, 11 Diagrams, 11 Charts.

Record details

On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions.

• Authors : Lissovoi, Andrei; Oliveto, Pietro S.

Subjects: SPACETIME; GENETIC programming; HEURISTIC programming

• Source: Journal of Artificial Intelligence Research; 2019, Vol. 66, p655-689, 35p

Record details

Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection.

• Authors : Dietrich, Christian; Schmider, Achim; Pusz, Oskar

Subjects: COMPUTER input-output equipment; COMPUTER software; COMPUTER programming

• Source: DAC: Annual ACM/IEEE Design Automation Conference; 2018, Issue 55, p283-288, 6p

Record details

Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.

• Authors : Kandl, Susanne; Chandrashekar, Sandeep

Subjects: COMPUTER software; PROGRAMMING languages; SHORT circuits

• Source: Computing; Mar2015, Vol. 97 Issue 3, p261-279, 19p

Record details

Generating Range Fixes for Software Configuration.

• Authors : Xiong, Yingfei; Hubaux, Arnaud; She, Steven

Subjects: SOFTWARE configuration management; COMPUTER software; COMPUTER operating systems

• Source: ICSE: International Conference on Software Engineering; Feb2012, p58-68, 11p

Record details

Indexed BDDs: Algorithmic advances in techniques to represent and verify Boolean functions.

• Authors : Jain, Jawahar; Bitner, James

Subjects: COMPUTER software

• Source: IEEE Transactions on Computers. Nov97, Vol. 46 Issue 11, p1230. 16p. 10 Diagrams, 3 Charts.

Record details