1199 search results - page 232 / 240 » Software Verification and Software Engineering a Practitione... |
133
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
108
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
150
click to vote
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
127
Voted
RECONFIG
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...
125
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...