Sciweavers

18924 search results - page 441 / 3785
» Conformance of Distributed Systems
Sort
View
MSO
2003
15 years 8 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
ESWS
2008
Springer
15 years 8 months ago
Tagster - Tagging-Based Distributed Content Sharing
Abstract. Collaborative tagging systems like Flickr and del.icio.us provide centralized content annotation and sharing which is simple to use and attracts many people. A combinatio...
Olaf Görlitz, Sergej Sizov, Steffen Staab
205
Voted
SIAMSC
2010
125views more  SIAMSC 2010»
15 years 5 months ago
A Parallel Geometric Multigrid Method for Finite Elements on Octree Meshes
Abstract. In this article, we present a parallel geometric multigrid algorithm for solving elliptic partial differential equations (PDEs) on octree based conforming finite elemen...
Rahul S. Sampath, George Biros
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 15 days ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu