2432 search results - page 337 / 487 » High-level approach to modeling of observed system behavior |
211
click to vote
NOCS
2007
IEEE
16 years 21 days ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...
153
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
149
click to vote
TACAS
2007
Springer
16 years 16 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
150
click to vote
CIMCA
2006
IEEE
16 years 14 days ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
169
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...