40 search results - page 4 / 8 » emsoft 2005 |
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...