7892 search results - page 191 / 1579 » Programming with Models |
INFORMS
1998
15 years 1 months ago
1998
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
117
click to vote
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
107
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
106
Voted
WCE
2007
15 years 2 months ago
2007
This paper deals with the identification of best and optimized test cases in program components and software artifacts. Our purpose is to simulate the model on a sample software pr...
124
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...