3500 search results - page 400 / 700 » Implementing Java on Clusters |
177
Voted
ECOOP
2005
Springer
16 years 11 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
192
Voted
ICLP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
190
click to vote
LCPC
2005
Springer
16 years 10 days ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
164
click to vote
SPIN
2005
Springer
16 years 10 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
151
click to vote
VIZSEC
2005
Springer
16 years 9 days ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...