2784 search results - page 269 / 557 » Light analysis of complex systems |
162
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
170
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
130
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
172
click to vote
ISAS
2004
Springer
15 years 11 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
155
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...