10575 search results - page 1766 / 2115 » Programming Languages |
158
click to vote
CASES
2006
ACM
16 years 21 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
156
click to vote
ERLANG
2006
ACM
16 years 21 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
181
click to vote
GPCE
2005
Springer
16 years 7 days ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
179
click to vote
LCTRTS
2005
Springer
16 years 6 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
149
click to vote
SCOPES
2005
Springer
16 years 6 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...