3473 search results - page 342 / 695 » Aspect-Oriented Programming with C |
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 25 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 24 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...
152
click to vote
TACAS
2007
Springer
16 years 24 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...
139
click to vote
TGC
2007
Springer
16 years 24 days 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 ...