Sciweavers

2956 search results - page 17 / 592
» Asim: A Performance Model Framework
Sort
View
129
Voted
IPPS
2007
IEEE
15 years 10 months ago
Software Tools for Performance Modeling of Parallel Programs
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
Diego Rodriguez Martínez, Vicente Blanco P&...
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 4 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
150
Voted
MASCOTS
1993
15 years 5 months ago
Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
Christos Bouras, Paul G. Spirakis
CORR
2008
Springer
96views Education» more  CORR 2008»
15 years 4 months ago
Performance Modeling and Evaluation for Information-Driven Networks
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
Kui Wu, Yuming Jiang, Guoqiang Hu
ICN
2009
Springer
15 years 1 months ago
Design and Validation of an Analytical Model to Evaluate Monitoring Frameworks Limits
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
Abdelkader Lahmadi, Laurent Andrey, Olivier Festor