Sciweavers

3689 search results - page 30 / 738
» A Language with Distributed Scope
Sort
View
HPCN
2000
Springer
14 years 1 months ago
A Java-Based Parallel Programming Support Environment
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
Kenneth A. Hawick, Heath A. James
CCGRID
2010
IEEE
13 years 11 months ago
SciCloud: Scientific Computing on the Cloud
SciCloud is a project studying the scope of establishing private clouds at universities. With these clouds, researchers can efficiently use the already existing resources in solvin...
Satish Srirama, Oleg Batrasev, Eero Vainikko
ESOP
2009
Springer
14 years 4 months ago
Deny-Guarantee Reasoning
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Vikt...
ECOOP
2010
Springer
14 years 2 months ago
Verifying Generics and Delegates
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
Kasper Svendsen, Lars Birkedal, Matthew Parkinson
OOPSLA
2004
Springer
14 years 3 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek