1199 search results - page 171 / 240 » Software Verification and Software Engineering a Practitione... |
163
click to vote
CODES
2008
IEEE
15 years 7 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...
134
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
158
Voted
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
145
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
191
click to vote
CODES
2008
IEEE
15 years 7 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...