1715 search results - page 145 / 343 » Embedded Systems and Real-Time Programming |
124
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
105
Voted
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
127
click to vote
CODES
2004
IEEE
15 years 5 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...
141
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
114
Voted
DAC
1995
ACM
15 years 5 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...