1715 search results - page 134 / 343 » Embedded Systems and Real-Time Programming |
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
148
click to vote
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
142
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
126
click to vote
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
131
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...