7961 search results - page 93 / 1593 » Input-Output Model Programs |
135
click to vote
CCO
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
121
Voted
FLAIRS
2006
15 years 4 months ago
2006
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
120
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
111
Voted
IEAAIE
2004
Springer
15 years 8 months ago
2004
Springer
This paper investigates the suitability of linear genetic programming (LGP) technique to model efficient intrusion detection systems, while comparing its performance with artificia...
97
Voted
AC
2008
Springer
15 years 2 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...