Search results for "CHOPS"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	John Danielsen, David B. Hoffman	Simulation of a cold heavy oil production with sand (CHOPS) separation system.	SpringSim	2009	DBLP BibTeX RDF	iThink™, CHOPS, North Slope, Alaska, continuous simulation, heavy oil
63	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
36	Jingzhe Shi, Jialuo Li, Qinwei Ma, Zaiwen Yang, Huan Ma, Lei Li	CHOPS: CHat with custOmer Profile Systems for Customer Service with LLMs.	CoRR	2024	DBLP DOI BibTeX RDF
36	Yongxiang Cai, Xin Wang 0004, Kezhen Hu, Mingzhe Dong	A data mining approach to finding relationships between reservoir properties and oil production for CHOPS.	Comput. Geosci.	2014	DBLP DOI BibTeX RDF
36	Sean F. Lawlor, Patrick Diez, Frank P. Ferrie	Real-time distributed computing: ChoPS.	CCECE	2012	DBLP DOI BibTeX RDF
36	Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah	Marking the chops: an unambiguous temporal logic.	IFIP TCS	2008	DBLP DOI BibTeX RDF
26	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
26	Jing Luan, Xuan Cheng, Junzhong Gu	iCDMdt: Focused the Model Mapping and Performance Optimization in Embedded System Design.	CIT	2005	DBLP DOI BibTeX RDF
26	Jens Krinke	Visualization of Program Dependence and Slices.	ICSM	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )