1376 search results - page 185 / 276 » Model-Driven Software Verification |
153
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
125
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
127
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
134
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
143
click to vote
ENTCS
2008
15 years 3 months ago
2008
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...