3500 search results - page 200 / 700 » Implementing Java on Clusters |
113
click to vote
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...
113
Voted
SEAA
2008
IEEE
15 years 6 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
104
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
103
Voted
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...