12333 search results - page 586 / 2467 » System Level Modelling for Hardware Software Systems |
191
click to vote
ACSAC
2005
IEEE
16 years 22 days ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
172
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
203
click to vote
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...
224
click to vote
DSD
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
178
click to vote
SPLC
2007
15 years 8 months ago
2007
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...