Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,455,451 papers from all fields of science
Search
Sign In
Create Free Account
Programming model
A Programming Model refers to the style of programming where execution is invoked by making what appear to be library calls. Examples include the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
ASP.NET Core
Ambric
C++/CX
Cloud-based design and manufacturing
Expand
Broader (1)
Computer programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Achieving Accountable MapReduce in cloud computing
Zhifeng Xiao
,
Yang Xiao
Future generations computer systems
2014
Corpus ID: 11841255
Highly Cited
2010
Highly Cited
2010
Optimizing and tuning the fast multipole method for state-of-the-art multicore architectures
Aparna Chandramowlishwaran
,
Samuel Williams
,
L. Oliker
,
I. Lashuk
,
G. Biros
,
R. Vuduc
IEEE International Parallel and Distributed…
2010
Corpus ID: 6957303
This work presents the first extensive study of single-node performance optimization, tuning, and analysis of the fast multipole…
Expand
Highly Cited
2009
Highly Cited
2009
Real-Time Dense and Accurate Parallel Optical Flow using CUDA
J. Marzat
,
Yann Dumortier
,
A. Ducrot
2009
Corpus ID: 64031635
ABSTRACTA large number of processes in computer vision are based on the image motion measurement, which is the projection of…
Expand
Highly Cited
2008
Highly Cited
2008
Operational optimization of the utility system of an oil refinery
S. Micheletto
,
M. C. Carvalho
,
J. M. Pinto
Computers and Chemical Engineering
2008
Corpus ID: 45727186
Highly Cited
2008
Highly Cited
2008
Scheduling multistage batch plants with parallel units and no interstage storage
Yu Liu
,
I. Karimi
Computers and Chemical Engineering
2008
Corpus ID: 37896115
Highly Cited
2006
Highly Cited
2006
Minimizing fleet operating costs for a container transportation company
Luca Coslovich
,
R. Pesenti
,
W. Ukovich
European Journal of Operational Research
2006
Corpus ID: 2657376
Highly Cited
2005
Highly Cited
2005
A hybrid method for solving stochastic job shop scheduling problems
R. Tavakkoli-Moghaddam
,
F. Jolai
,
F. Vaziri
,
P. Ahmed
,
A. Azaron
Applied Mathematics and Computation
2005
Corpus ID: 18957521
Highly Cited
2003
Highly Cited
2003
Tool capacity planning in semiconductor manufacturing
B. Çatay
,
S. Erengüç
,
A. Vakharia
Computers & Operations Research
2003
Corpus ID: 5941863
2001
2001
Workload balancing and loop layout in the design of a flexible manufacturing system
C. Potts
,
J. Whitehead
European Journal of Operational Research
2001
Corpus ID: 27289635
1995
1995
Practical symbolic model checking of the full µ-calculus using compositional abstractions
Peter Kelb
,
D. Dams
,
R. Gerth
1995
Corpus ID: 17483779
We apply abstract interpretation techniques to reduce the time and space requirements for model checking the full J-l-calculus…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE