933 search results - page 101 / 187 » How compilers and tools differ for embedded systems |
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ECRTS
2010
IEEE
13 years 10 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
JUCS
2000
13 years 8 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Intrusion detection is an important part of networkedsystems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with l...
VAMOS
2007
Springer
14 years 3 months ago
2007
Springer
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...