Results 121 to 130 of about 970,866 (376)
Terahertz Volume Plasmon‐Polariton Modulation in All‐Dielectric Hyperbolic Metamaterials
Advanced Optical Materials, EarlyView.THz volume plasmon‐polariton (VPP) propagation through plasmon‐based hyperbolic metamaterials, made of alternating layers of doped and undoped III‐V semiconductors. Abstract The development of plasmonics and related applications in the terahertz range faces limitations due to the intrinsic high electron density of the standard metals.
Stefano Campanaro +3 more
wiley +1 more source
A Survey of Search Strategies in the Dynamic Symbolic Execution
ITM Web of Conferences, 2017 Dynamic symbolic execution (DSE) is an important way to discover software vulnerabilities. One key challenge in DSE is to find proper paths in the huge program execution space to generate effective inputs.
Liu Yu, Zhou Xu, Gong Wei-Wei
doaj +1 more source
Symbolic execution: a semantic approach
Science of Computer Programming, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Advanced Photonics Research, EarlyView.A graphene‐based bowtie plasmonic nanotweezer is designed and optimized using particle swarm optimization and transfer matrix analysis. The structure achieves strong field confinement, delivering trapping forces up to 6 nN W−1 for 10 nm bioparticles with sixfold lower power requirements than conventional designs.
Saba Ebrahimpanah +2 more
wiley +1 more source
Symbolic PathFinder: Symbolic Execution of Java Bytecode [PDF]
, 2010 Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs.
Pasareanu, Corina S., Rungta, Neha
core +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
A Comprehensive Review of Static Memory Analysis
IEEE AccessThis review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management. The tools and techniques under scrutiny include pattern matching, symbolic execution, CppCheck, SharpChecker, FindBugs ...
Temidayo Akinyemi +3 more
doaj +1 more source
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution
, 2015 Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or semantic equivalence of constraints; e.g.
Anand Saswat +7 more
core +1 more source
Formation Control of Multi‐Agent System with Local Interaction and Artificial Potential Field
Advanced Robotics Research, EarlyView.This article proposes a local interaction‐based formation control method for Multi‐Agent system, integrating consensus and leader‐follower strategies with a stress response mechanism—artificial potential field to reduce communication overhead and enable obstacle avoidance. Experimental results on triangular, square, and hexagonal formations confirm its
Luoyin Zhao +3 more
wiley +1 more source
IEEE Access, 2018 In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order logic theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the ...
Zheng Yang, Hang Lei
doaj +1 more source