Results 91 to 100 of about 842,701 (337)
A symbolic semantics for a clculus for service-oriented computing
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
N. Yoshida +4 more
core +1 more source
Advanced Engineering Materials, EarlyView.A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol +5 more
wiley +1 more source
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
International Conference on Software Engineering, 2020 Floating point is widely used in software to emulate arithmetic over reals. Unfortunately, floating point leads to rounding errors that propagate and accumulate during execution.
Hui Guo, Cindy Rubio-González
semanticscholar +1 more source
Blood Biomarkers and Surface‐Enhanced Raman Spectroscopy for Gout: A Comprehensive Review
Advanced Functional Materials, EarlyView.Schematic illustrating gout disease progression from asymptomatic hyperuricemia to chronic tophaceous disease, highlighting the limitations of conventional imaging and biochemical diagnostics and the potential of engineered SERS platforms for ultrasensitive blood‐based detection of urate‐related biomarkers across disease stages, with the color gradient
Isuri Perera +6 more
wiley +1 more source
KLEE symbolic execution engine in 2019
International Journal on Software Tools for Technology Transfer (STTT), 2020 KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London.
Cristian Cadar, M. Nowack
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source
Photothermal‐Activated Antibacterial Amyloid‐Polyphenol‐Iron Hydrogels for Synergistic Wound Healing
Advanced Healthcare Materials, EarlyView.We report a thermally triggered supramolecular hydrogel (LTFe) formed by Fe3+ and tannic acid on lysozyme amyloid fibrils. Fe3+ enables rapid gelation and photothermal transduction with an efficiency of 88.56%. The LTFe hydrogel exhibits excellent biocompatibility, potent antibacterial activity against E. coli and S.
Di Wu +8 more
wiley +1 more source
Program state optimal method based on variable symbolic relation analysis
Tongxin xuebao, 2018 Program analysis is the prime method to program property analysis,which is widely used in the domain of parameter dependent relation,path coverage and test case generation,and a lot of progress has been made.Current program analysis is based on the ...
Xi GUO, Pan WANG
doaj +2 more sources
Advanced Materials, EarlyView.In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal +9 more
wiley +1 more source
Optimizing symbolic execution for malware behavior classification
Computers & security, 2020 Increasingly software correctness, reliability, and security is being analyzed using tools that combine various formal and heuristic approaches. Often such analysis becomes expensive in terms of time and at the cost of high quality results.
Stefano Sebastio +7 more
semanticscholar +1 more source