Sciweavers

5548 search results - page 73 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
FASE
2000
Springer
15 years 6 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper
IJHPCA
2006
105views more  IJHPCA 2006»
15 years 2 months ago
Advances, Applications and Performance of the Global Arrays Shared Memory Programming Toolkit
This paper describes capabilities, evolution, performance, and applications of the Global Arrays (GA) toolkit. GA was created to provide application programmers with an interface ...
Jarek Nieplocha, Bruce Palmer, Vinod Tipparaju, Ma...
CCGRID
2006
IEEE
15 years 8 months ago
Adapting Distributed Shared Memory Applications in Diverse Environments
A problem with running distributed shared memory applications in heterogeneous environments is that making optimal use of available resources often requires significant changes t...
Daniel Potts, Ihor Kuz
ESANN
2006
15 years 3 months ago
Using distributed genetic programming to evolve classifiers for a brain computer interface
The objective of this paper is to illustrate the application of genetic programming to evolve classifiers for multi-channel time series data. The paper shows how high performance d...
Eva Alfaro-Cid, Anna Esparcia-Alcázar, Ken ...
ICNP
2002
IEEE
15 years 7 months ago
An Ultra-fast Shared Path Protection Scheme - Distributed Partial Information Management, Part II
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...
Dahai Xu, Chunming Qiao, Yizhi Xiong