Symbolic Execution - Articles - Scientific Research Publishing

Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study (Articles)

Koki Hamaya, Satoshi Yamane

Journal of Software Engineering and Applications Vol.10 No.2, February 21, 2017

DOI: 10.4236/jsea.2017.102009 1,809 Downloads 4,331 Views Citations
Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes (Articles)

Ednah Olubunmi Aliyu

Journal of Software Engineering and Applications Vol.16 No.6, June 28, 2023

DOI: 10.4236/jsea.2023.166010 342 Downloads 1,741 Views Citations
SymPcNSGA-Testing: A Hybrid Approach to Mitigate Path Explosion in Software Programs (Articles)

Xaveria Djam Youh Kimbi, Sandra Maïla Modjeu Sipewa, Levinne Clemence Djeumeni Djombissie, Flavie Davila Ndemafo Nkenang

Journal of Software Engineering and Applications Vol.19 No.3, March 16, 2026

DOI: 10.4236/jsea.2026.193004 44 Downloads 266 Views Citations
The Practice of US Execution of Juvenile Delinquents in Dated Times Vis-À-Vis International Human Rights Laws and Case Laws (Articles)

Nuruye Beyan Feleke

Beijing Law Review Vol.6 No.4, December 31, 2015

DOI: 10.4236/blr.2015.64029 4,065 Downloads 5,480 Views Citations
Construction of a System of Reciprocal Recognition of Civil Case Jurisdiction among China, Japan and ROK (Articles)

Yueyao Wu

Beijing Law Review Vol.3 No.2, June 28, 2012

DOI: 10.4236/blr.2012.32007 6,979 Downloads 10,288 Views Citations
Execution and Block Trade Pricing with Optimal Constant Rate of Participation (Articles)

Olivier Guéant

Journal of Mathematical Finance Vol.4 No.4, August 28, 2014

DOI: 10.4236/jmf.2014.44023 3,981 Downloads 5,902 Views Citations
A Trading Execution Model Based on Mean Field Games and Optimal Control (Articles)

Lorella Fatone, Francesca Mariani, Maria Cristina Recchioni, Francesco Zirilli

Applied Mathematics Vol.5 No.19, November 10, 2014

DOI: 10.4236/am.2014.519294 4,909 Downloads 6,942 Views Citations
Optimal Execution in Illiquid Market with the Absence of Price Manipulation (Articles)

Seiya Kuno, Masamitsu Ohnishi

Journal of Mathematical Finance Vol.5 No.1, January 20, 2015

DOI: 10.4236/jmf.2015.51001 4,091 Downloads 5,702 Views Citations
A Model for Enhancing Strategy Execution (Articles)

Lanxing Yang

Journal of Human Resource and Sustainability Studies Vol.7 No.3, July 10, 2019

DOI: 10.4236/jhrss.2019.73023 2,301 Downloads 5,626 Views Citations
On the Nature of Community Correction
—Comments on Article 1 of the Community Correction Law (Articles)

Hong Yang

Beijing Law Review Vol.11 No.1, February 11, 2020

DOI: 10.4236/blr.2020.111010 887 Downloads 2,058 Views Citations
Optimal Off-Exchange Execution with Closing Price (Articles)

Seiya Kuno, Masamitsu Ohnishi, Peilu Shimizu

Journal of Mathematical Finance Vol.7 No.1, January 19, 2017

DOI: 10.4236/jmf.2017.71003 1,573 Downloads 3,004 Views Citations
Specifying the Global Execution Context of Computer-Mediated Tasks: A Visual Notation and a Supporting Tool (Articles)

Demosthenes Akoumianakis

Journal of Software Engineering and Applications Vol.3 No.4, May 6, 2010

DOI: 10.4236/jsea.2010.34037 3,818 Downloads 7,562 Views Citations
Characteristics of Women’s Rhythmic Gymnastics from the Perspective of “Body Difficulty” and Performance Time (Articles)

Mao Hashimoto, Noriyuki Kida, Teruo Nomura

Advances in Physical Education Vol.7 No.3, July 27, 2017

DOI: 10.4236/ape.2017.73021 1,672 Downloads 5,037 Views Citations
Enforcement of Property Punishment in Criminal Cases of China (Articles)

Jing Zhao

Chinese Studies Vol.9 No.1, February 27, 2020

DOI: 10.4236/chnstd.2020.91003 726 Downloads 2,414 Views Citations
Analysis on the Utility and Implementation Path of Copyright Insurance Based on Blockchain (Articles)

Yiding Li

Open Journal of Social Sciences Vol.9 No.7, July 30, 2021

DOI: 10.4236/jss.2021.97039 376 Downloads 1,124 Views Citations
AudiTEE: Efficient, General-Purpose and Privacy-Preserving Audit for Distributed Ledgers (Articles)

Zhufeng Ye, Zhenghao Wu, Xianglan Tian

Journal of Computer and Communications Vol.9 No.8, August 31, 2021

DOI: 10.4236/jcc.2021.98007 413 Downloads 1,399 Views Citations
Unleashing Strategic Leadership Potential: Embracing Stewardship Theory for Strategy Execution and Organizational Growth (Articles)

Liisa Ndapewa Kaapanda

Creative Education Vol.14 No.12, December 22, 2023

DOI: 10.4236/ce.2023.1412157 599 Downloads 3,788 Views Citations
A Note on a Recent Paper by J. S. Respondek (Articles)

Moawwad E. A. El-Mikkawy

Applied Mathematics Vol.3 No.6, June 21, 2012

DOI: 10.4236/am.2012.36076 6,388 Downloads 11,466 Views Citations
Symbolic Deterritorialization: The Case of Gabriel Orozco (Articles)

Jesús Segura Cabañero

Art and Design Review Vol.3 No.1, February 5, 2015

DOI: 10.4236/adr.2015.31001 5,504 Downloads 7,022 Views Citations
Multi-Dimensional Architecture of ERPII Performance Evaluation Based on Symbolic Informatics Theory (Articles)

Xianhao Wu

Journal of Service Science and Management Vol.8 No.4, August 24, 2015

DOI: 10.4236/jssm.2015.84063 5,811 Downloads 7,015 Views Citations

First <12 3 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies