672 search results - page 58 / 135 » A compiler-based communication analysis approach for multipr... |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Today, due to the increasing demand for more and more complex applications in the consumer electronic market segment, Systems-on-Chip consist of many processing elements and becom...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
ICICS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...