Sciweavers

2136 search results - page 199 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
118
Voted
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
15 years 8 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski
139
Voted
ICDCS
2009
IEEE
16 years 21 days ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han
132
Voted
ICAC
2006
IEEE
15 years 9 months ago
Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
Guofei Jiang, Haifeng Chen, Kenji Yoshihira
SAC
2005
ACM
15 years 9 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ATAL
2008
Springer
15 years 5 months ago
MB-AIM-FSI: a model based framework for exploiting gradient ascent multiagent learners in strategic interactions
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
Doran Chakraborty, Sandip Sen