5241 search results - page 558 / 1049 » Embedded Programming with C |
157
click to vote
OL
2010
15 years 3 months ago
2010
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufficient conditions for the uniqueness of its integer solution x ∈ {−1,1}n by r...
176
click to vote
IJACTAICIT
2010
15 years 2 months ago
2010
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
151
click to vote
SIAMJO
2010
15 years 17 hour ago
2010
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
151
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
153
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...