5241 search results - page 617 / 1049 » Embedded Programming with C |
136
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
109
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
124
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
116
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
121
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...