1109 search results - page 79 / 222 » Software verification for TinyOS |
110
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
216
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
122
click to vote
ISIM
2007
15 years 2 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
121
click to vote
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...