Results 61 to 70 of about 34,628,233 (409)

Value-Based Constraint Control Flow Integrity

IEEE Access, 2020
Control flow integrity (CFI) is a generic technique that prevents a control flow hijacking attacks by verifying the legitimacy of indirect branches against a predefined set of targets.
Dongjae Jung, Minsu Kim, Jinsoo Jang, Brent Byunghoon Kang   +3 more
doaj   +1 more source

Assessing urban carbon metabolism using network analysis across Chinese and European cities

Cleaner Production Letters, 2023
Urban metabolism uses the idea that cities are resource consuming systems that are supported by flows of energy and materials, and they produce goods and wastes, which generate greenhouse gas emissions both directly and indirectly.
Brian D. Fath, Nikita Strelkovskii, Saige Wang, Bin Chen   +3 more
doaj   +1 more source

Fast Numerical Program Analysis with Reinforcement Learning

International Conference on Computer Aided Verification, 2018
We show how to leverage reinforcement learning (RL) in order to speed up static program analysis. The key insight is to establish a correspondence between concepts in RL and those in analysis: a state in RL maps to an abstract program state in analysis ...
Gagandeep Singh, Markus Püschel, Martin T. Vechev   +2 more
semanticscholar   +1 more source

Collective program analysis [PDF]

Proceedings of the 40th International Conference on Software Engineering, 2018
Popularity of data-driven software engineering has led to an increasing demand on the infrastructures to support efficient execution of tasks that require deeper source code analysis. While task optimization and parallelization are the adopted solutions, other research directions are less explored.
Ganesha Upadhyaya, Hridesh Rajan
openaire   +1 more source

Heterogeneity in the Global Practice of Central Nervous System Staging in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási, Bernadett Borbála Huszti, Gábor Barna, Marko Kavcic, Janez Jazbec, Lennart Lenk, Vera Münch, Sophia Polychronopoulou, Ágnes Márk, Maria Thastrup, Lüder H. Meyer, Kjeld Schmiegelow, Cornelia Eckert, Christina Halsey, Dániel J. Erdélyi   +14 more
wiley   +1 more source

Current Requirements and Attitudes Toward Research: A Survey-Based Analysis of Orthopedic Surgery Programs [PDF]

, 2022
Ameen Barghi, Eric Gruenberger, Rachel Gottlieb, Kiera Lunn, Kyle D. Paul, Reily Cannon, Brent A. Ponce, George S.M. Dyer, James E. Herndon   +8 more
openalex   +1 more source

Horizontal Code Transfer via Program Fracture and Recombination [PDF]

, 2015
We present a new horizontal code transfer technique, program fracture and recombination, for automatically replacing, deleting, and/or combining code from multiple applications.
Sidiroglou-Douskos, Stelios, Davis, Eli, Rinard, Martin   +2 more
core  

Increased Risk of Sarcomas in Children With Congenital Anomalies: Findings From the Genetic Overlap Between Anomalies and Cancer in Kids (GOBACK) Registry Linkage Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters, Ji Yun Tark, Tiffany M. Chambers, Tania A. Desrosiers, Michael E. Scheurer, Charles Shumate, Wendy N. Nembhard, Mahsa M. Yazdy, Eirini Nestoridi, Amanda E. Janitz, Jean Paul Tanner, Russell S. Kirby, Jason L. Salemi, Yao Yu, Chad D. Huff, Sharon E. Plon, Philip J. Lupo, Jeremy M. Schraw   +17 more
wiley   +1 more source

Balancing Accuracy and Efficiency in Vehicular Network Firmware Vulnerability Detection: A Fuzzy Matching Framework with Standardized Data Serialization

Informatics
Firmware vulnerabilities in embedded devices have caused serious security incidents, necessitating similarity analysis of binary program instruction embeddings to identify vulnerabilities.
Xiyu Fang, Kexun He, Yue Wu, Rui Chen, Jing Zhao   +4 more
doaj   +1 more source

Program Analysis Is Harder Than Verification: A Computability Perspective

International Conference on Computer Aided Verification, 2018
We study from a computability perspective static program analysis, namely detecting sound program assertions, and verification, namely sound checking of program assertions.
P. Cousot, R. Giacobazzi, Francesco Ranzato   +2 more
semanticscholar   +1 more source