571 search results - page 57 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
TROB
2002
2002
DPAC: an object-oriented distributed and parallel computing framework for manufacturing applications
14 years 9 months ago
Parallel and distributed computing infrastructure are increasingly being embraced in the context of manufacturing applications, including real-time scheduling. In this paper, we pr...
PADS
2003
ACM
15 years 3 months ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...
80
Voted
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Parallel processors such as SIMD computers have been successfully used in various areas of high performance image and data processing. Due to their characteristics of highly regula...
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
— Programmable multiprocessor systems-on-chip are becoming the preferred implementation platform for embedded streaming applications. This enables using more software components,...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...