283 search results - page 40 / 57 » Error Detection Using BMC in a Parallel Environment |
ECOOPW
1999
Springer
14 years 3 days ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of reconļ¬...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
Current paper-based interfaces such as PapierCraft, provide very little feedback and this limits the scope of possible interactions. So far, there has been little systematic explo...
CONCURRENCY
2007
13 years 7 months ago
2007
Runtime veriļ¬cation of multithreaded systems, that is, the process of ļ¬nding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
HPDC
2007
IEEE
14 years 2 months ago
2007
IEEE
In desktop grids the use of oļ¬-the-shelf shared components makes the use of dedicated resources economically nonviable and increases the complexity of design of eļ¬cient storag...