495 search results - page 48 / 99 » Translating the Object Constraint Language into the Java Mod... |
SIGADA
1998
Springer
14 years 1 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
Cross-language information retrieval (CLIR) today is dominated by techniques that use token-to-token mappings from bilingual dictionaries. Yet, state-of-the-art statistical transl...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
SCM
1998
13 years 10 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...