Results 1 to 10 of about 934,226 (291)
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts [PDF]
International Conference on Automated Software Engineering, 2019 An effective way to maximize code coverage in software tests is through dynamic symbolic execution—a technique that uses constraint solving to systematically explore a program's state space.
Mark Mossberg +7 more
semanticscholar +1 more source
Parameterization of long-period eclipsing binaries
Open Astronomy, 2022 One of the important sources for independent determination of stellar masses is eclipsing binaries with components on the main sequence, and with observable spectral lines of both components.
Pakhomova Polina +4 more
doaj +1 more source
MODULES FOR EXPERIMENTS IN STELLAR ASTROPHYSICS (MESA): BINARIES, PULSATIONS, AND EXPLOSIONS [PDF]
, 2015 We substantially update the capabilities of the open-source software instrument Modules for Experiments in Stellar Astrophysics (MESA). MESA can now simultaneously evolve an interacting pair of differentially rotating stars undergoing transfer and loss ...
B. Paxton +13 more
semanticscholar +1 more source
Formation and Evolution of Compact-object Binaries in AGN Disks [PDF]
Astrophysical Journal, 2019 The astrophysical origin of gravitational wave (GW) events discovered by LIGO/VIRGO remains an outstanding puzzle. In active galactic nuclei (AGNs), compact-object binaries form, evolve, and interact with a dense star cluster and a gas disk. An important
H. Tagawa, Z. Haiman, B. Kocsis
semanticscholar +1 more source
X-Ray Properties of Black-Hole Binaries [PDF]
, 2006 We review the properties and behavior of 20 X-ray binaries that contain a dynamically-confirmed black hole, 17 of which are transient systems.
R. Remillard, J. McClintock
semanticscholar +1 more source
Merger and Mass Ejection of Neutron Star Binaries [PDF]
Annual Review of Nuclear and Particle Science, 2019 Mergers of binary neutron stars and black hole–neutron star binaries are among the most promising sources for ground-based gravitational-wave (GW) detectors and are also high-energy astrophysical phenomena, as illustrated by the observations of GWs and ...
M. Shibata, K. Hotokezaka
semanticscholar +1 more source
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
IEEE Symposium on Security and Privacy, 2020 Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers ...
S. Dinesh +3 more
semanticscholar +1 more source
Merging black hole binaries with the SEVN code [PDF]
Monthly notices of the Royal Astronomical Society, 2018 Studying the formation and evolution of black hole binaries (BHBs) is essential for the interpretation of current and forthcoming gravitational wave (GW) detections.
M. Spera +5 more
semanticscholar +1 more source
Merger Rate Distribution of Primordial Black Hole Binaries [PDF]
Astrophysical Journal, 2018 Up to now several gravitational-wave events from the coalescences of black hole binaries have been reported by LIGO/VIRGO, and imply that black holes should have an extended mass function. We work out the merger rate distribution of primordial black hole
Zu-Cheng Chen, Q. Huang
semanticscholar +1 more source
On Variation Mechanisms in Recurrent Nova IM Normae
Galaxies, 2022 Light curves by Woudt and Warner (WW) of recurrent nova IM Nor show eclipse-like dips that they saw as too wide for eclipses alone, and interpreted as mainly a reflection effect due to irradiation of the companion (mass donor) star with some amplitude ...
R. E. Wilson
doaj +1 more source