283 search results - page 14 / 57 » Error Detection Using BMC in a Parallel Environment |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
1 FPGAs are an appealing solution for the space-based remote sensing applications. However, in a low-earth orbit, configuration bits of SRAM-based FPGAs are susceptible to single-e...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—To enable decentralised actions in very large distributed systems, it is often important to provide the nodes with global knowledge about the values of attributes across...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we propose mechanisms to improve the performance of parallel Java applications executing on multiprogrammed shared-memory multiprocessors. The proposal is based on a...
FTDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Mobile clients retrieve and update databases at servers. They use transactions in order to ensure the consistency of shared data in the presence of concurrent accesses. Transactio...