Sciweavers

2020 search results - page 16 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
APPINF
2003
13 years 10 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
14 years 1 days ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
CONCUR
2004
Springer
14 years 6 days ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
AES
2011
Springer
232views Cryptology» more  AES 2011»
12 years 8 months ago
Reliable performance prediction for multigrid software on distributed memory systems
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
Giuseppe Romanazzi, Peter K. Jimack, Christopher E...
SIGMETRICS
2002
ACM
105views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Modeling and analysis of dynamic coscheduling in parallel and distributed environments
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
Mark S. Squillante, Yanyong Zhang, Anand Sivasubra...