5241 search results - page 379 / 1049 » Embedded Programming with C |
104
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The En Route Automation Modernization (ERAM) program is a real-time Air Traffic Control (ATC) program being developed by Lockheed Martin Corporation. The ERAM program has high ava...
143
Voted
SIAMJO
2010
15 years 2 months ago
2010
Abstract. Sequential quadratic programming (SQP) methods form a class of highly efficient algorithms for solving nonlinearly constrained optimization problems. Although second deri...
139
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
131
Voted
CPM
2010
Springer
15 years 8 months ago
2010
Springer
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
115
Voted
CONCURRENCY
2006
15 years 3 months ago
2006
: This paper evaluates the ability of a variety of commercial and non-commercial software products to detect serial run-time errors in C and C++ programs, to issue meaningful messa...