7429 search results - page 388 / 1486 » Embedded System Update |
196
click to vote
IFL
2005
Springer
16 years 8 days 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...
189
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
152
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
This short paper is concerned with the use of patterns to support the development of software for reliable, resource-constrained, embedded systems. The paper introduces one new pa...
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
147
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Reducing the code size of embedded applications is one of the important constraint in embedded system design. Code compression can provide substantial savings in terms of size. In...