1140 search results - page 104 / 228 » Embedded Software: Better Models, Better Code |
127
click to vote
SBACPAD
2008
IEEE
15 years 9 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
131
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
135
click to vote
WEBNET
2000
15 years 4 months ago
2000
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
171
Voted
ITNG
2010
IEEE
15 years 1 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
144
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...