Sciweavers

799 search results - page 74 / 160
» Bound Performance Models of Heterogeneous Parallel Processin...
Sort
View
ICDE
1994
IEEE
127views Database» more  ICDE 1994»
15 years 6 months ago
Approximate Analysis of Real-Time Database Systems
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
Jayant R. Haritsa
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
14 years 8 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
SIMUTOOLS
2008
15 years 3 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon
130
Voted
ICWE
2005
Springer
15 years 7 months ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben
ICS
2005
Tsinghua U.
15 years 7 months ago
Improved automatic testcase synthesis for performance model validation
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
Robert H. Bell Jr., Lizy Kurian John