173 search results - page 9 / 35 » Verification of Distributed Hierarchical Components |
RTCSA
2005
IEEE
14 years 27 days ago
2005
IEEE
We present an approach to the analysis and optimization of heterogeneous distributed embedded systems for hard real-time applications. The systems are heterogeneous not only in te...
BIRTHDAY
2004
Springer
13 years 11 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
ACSC
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper discusses work underway to develop a framework for the use of hierarchical federation communities as a tool for distributed simulation. The Virtual Ship Project is the ...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
KDD
2003
ACM
14 years 7 months ago
2003
ACM
The goal of clustering is to identify distinct groups in a dataset. The basic idea of model-based clustering is to approximate the data density by a mixture model, typically a mix...