2523 search results - page 151 / 505 » Correct Development of Embedded Systems |
JCM
2007
14 years 10 months ago
2007
—In this paper, we propose a wireless stand-alone, embedded system design that integrates the monitoring of three biomedical parameters into a single personal medical device. The...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
RTAS
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
CODES
2006
IEEE
14 years 12 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
VLSID
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...