4263 search results - page 665 / 853 » Learning without Coding |
108
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
117
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
118
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
125
click to vote
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
169
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...