6701 search results - page 185 / 1341 » Medical Embedded Systems |
142
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
139
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
135
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
150
Voted
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
149
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...