Sciweavers

2141 search results - page 40 / 429
» Embedded Software
Sort
View
ACSAC
2003
IEEE
14 years 2 months ago
Defending Embedded Systems Against Buffer Overflow via Hardware/Software
Buffer overflow attacks have been causing serious security problems for decades. With more embedded systems networked, it becomes an important research problem to defend embedded ...
Zili Shao, Qingfeng Zhuge, Yi He, Edwin Hsing-Mean...
EMSOFT
2005
Springer
14 years 3 months ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
SCOPES
2007
Springer
14 years 4 months ago
Modelling run-time arbitration by latency-rate servers in dataflow graphs
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
SCOPES
2007
Springer
14 years 4 months ago
Systematic intermediate sequence removal for reduced memory accesses
Christophe Poucet, Stylianos Mamagkakis, David Ati...
SCOPES
2007
Springer
14 years 4 months ago
Whole-program linear-constant analysis with applications to link-time optimization
Ludo Van Put, Dominique Chanet, Koen De Bosschere