Results 71 to 80 of about 211,276 (289)

Symbolic execution optimization method based on input constraint

Tongxin xuebao, 2019
To solve path explosion,low rate of new path’s finding in the software testing,a new vulnerability discovering architecture based on input constraint symbolic execution (ICBSE) was proposed.ICBSE analyzed program source code to extract three types of ...
Sunlyu WANG, Yuqi LIN, Qiusong YANG, Mingshu LI   +3 more
doaj   +2 more sources

A Logic for Constraint-based Security Protocol Analysis [PDF]

, 2006
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core   +5 more sources

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

Advanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source

Static Analysis of Complex Loop Structures

Безопасность информационных технологий, 2013
This paper is devoted to the advance of the existing analysis methods of data flow of software by using static analysis. It introduces a novel method which can calculate possible ranges of values of data in code in dependence on input data which can be ...
Iliya Viktorovich Arzamartsev, Andrey Vladimirovich Moiseev   +1 more
doaj  

Reactive with tags classifier system applied to real robot navigation [PDF]

, 1999
7th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona, 18-21 October 1999.A reactive with tags classifier system (RTCS) is a special classifier system.
Isasi, Pedro, Molina López, José Manuel, Sanchis de Miguel, María Araceli, Segovia, Javier   +3 more
core   +3 more sources

Understanding and Optimizing Li Substitution in P2‐Type Sodium Layered Oxides for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous 
Mingfeng Xu, Giovanni Gammaitoni, Michael Häfner, Eduardo Villalobos‐Portillo, Carlo Marini, Matteo Bianchini   +5 more
wiley   +1 more source

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

, 2020
We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle ...
A Farzan, A Mazurkiewicz, A Miné, C Cadar, D Beyer, D Schemmel, D-H Chu, G Gueta, HTT Nguyen, J Alglave, J Esparza, JC King, K Kähkönen, K Sen, KL McMillan, L Yin, M Nielsen, M Sousa, O Inverso, P Thomson, PA Abdulla, S Prabhu, V Kahlon   +22 more
core   +1 more source

Combining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis [PDF]

, 2006
his paper examines the problem of determining bounds on execution time of real-time programs. Execution time estimation is generally useful in real-time software verification phase, but may be used in other phases of the design and execution of real-time
Compilers and WCET, Kebbal, Djemai, Sainrat, Pascal   +2 more
core   +1 more source

Tuning the Dielectric Properties of Individual Clay Nanosheets by Interlayer Composition: Toward Nano‐Electret Materials

Advanced Functional Materials, EarlyView.
The dielectric properties of clays are studied on the level of individual monolayers and functional double stacks. The material breakdown characteristics and charge storage performance are analyzed. For illustration, a defined charge pattern representing a cuneiform character is produced, written into a microscopic clay tile, referencing the origins of
Sebastian Gödrich, Paul Markus, Matthias Stöter, Bernhard Biersack, Rainer Schobert, Josef Breu, Georg Papastavrou   +6 more
wiley   +1 more source

Meniscus Pixel Printing for Contact‐Lens Vision Sensing and Robotic Control

Advanced Functional Materials, EarlyView.
A visual‐sensing contact lens is enabled by meniscus pixel printing (MPP), which rapidly patterns a 200 µm perovskite photodetector pixel in 1 s without masks, vacuum processing, or bulky equipment. A deep‐learning‐based super‐resolution reconstructs sparse on‐lens signals into 80 × 80 high‐resolution visual information, while AI‐driven eye‐tracking ...
Byung‐Hoon Gong, Dohyean Kim, Jiyun Jeong, Taekyeong Kim, Soon‐sung Kwon, Junyoung Seo, Il Jeon, Im Doo Jung   +7 more
wiley   +1 more source