2523 search results - page 120 / 505 » Correct Development of Embedded Systems |
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
The purpose of this paper is to investigate the issues related to task attribute assignment on an individual processor. The majority of papers on fixed priority scheduling make th...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
CADE
2003
Springer
14 years 10 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
CODES
2004
IEEE
14 years 1 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The analysis of externalities in technology-based networks continues to be of significant managerial importance in e-commerce and traditional IS operations. Competitive strategy, ...