1109 search results - page 19 / 222 » Software verification for TinyOS |
DAC
2005
ACM
13 years 9 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
TCAD
2008
13 years 7 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
DAC
1999
ACM
13 years 11 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
PST
2008
13 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
STTT
2002
13 years 7 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...