3708 search results - page 391 / 742 » Programming with C Exceptions |
181
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
154
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
165
Voted
IFIP
2007
Springer
16 years 26 days 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...
138
Voted
OOPSLA
2007
Springer
16 years 25 days 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...
156
click to vote
TACAS
2007
Springer
16 years 25 days 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...