5111 search results - page 408 / 1023 » The Embedded Systems Design Challenge |
200
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
202
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
180
click to vote
ISLPED
2010
ACM
15 years 7 months ago
2010
ACM
DuraCap is a solar-powered energy harvesting system that stores harvested energy in supercapacitors and is voltage-compatible with lithium-ion batteries. The use of supercapacitor...
164
click to vote
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
194
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...