Sciweavers

2672 search results - page 134 / 535
» Hybridizing Concept Languages
Sort
View
SC
2000
ACM
14 years 1 months ago
Performance of Hybrid Message-Passing and Shared-Memory Parallelism for Discrete Element Modeling
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
D. S. Henty
TOOLS
2000
IEEE
14 years 1 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
ERLANG
2007
ACM
14 years 1 months ago
Learning programming with Erlang
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...
Frank Huch
TSMC
2010
13 years 3 months ago
An Architecture for Adaptive Algorithmic Hybrids
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...
Nicholas L. Cassimatis, Perrin G. Bignoli, Magdale...
ICALP
2010
Springer
13 years 11 months ago
Noetherian Spaces in Verification
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
Jean Goubault-Larrecq