5343 search results - page 701 / 1069 » Keyword programming in java |
194
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
214
click to vote
ASPLOS
2004
ACM
16 years 7 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
188
click to vote
CF
2004
ACM
16 years 7 days ago
2004
ACM
Many parallel applications from scientific computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...
187
click to vote
EMSOFT
2004
Springer
16 years 5 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
191
Voted
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...