544 search results - page 84 / 109 » Testing concurrent programs using value schedules |
CAV
2012
Springer
13 years 4 days ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
SIGOPS
2010
14 years 8 months ago
2010
Reports of NAND flash device testing in the literature have for the most part been limited to examination of circuit-level parameters on raw flash chips or prototypes, and syste...
IFM
2005
Springer
15 years 3 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
101
click to vote
FLAIRS
2007
15 years 1 days ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...