Sciweavers

5210 search results - page 311 / 1042
» Tools for Distributed Facilitation
Sort
View
STTT
2010
115views more  STTT 2010»
15 years 5 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ISPDC
2005
IEEE
16 years 8 days ago
Enforcing consistency during the adaptation of a parallel component
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
Jérémy Buisson, Françoise And...
IPPS
2000
IEEE
15 years 11 months ago
A Requirements Analysis for Parallel KDD Systems
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
William Maniatty, Mohammed Javeed Zaki
CAISE
2006
Springer
15 years 8 months ago
Process Support in eHome Systems: Empowering Providers to Handle a Future Mass Market
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
Ibrahim Armac, Michael Kirchhof
ENTCS
2010
120views more  ENTCS 2010»
15 years 6 months ago
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. A...