10870 search results - page 451 / 2174 » Model Checking Programs |
230
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
193
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
257
click to vote
TVLSI
2010
15 years 2 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
206
click to vote
SPLC
2004
15 years 9 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
191
click to vote
RECONFIG
2008
IEEE
16 years 2 months ago
2008
IEEE
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a me...