3330 search results - page 95 / 666 » software 2010 |
IJACTAICIT
2010
13 years 4 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...
TSE
2010
13 years 3 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
ANNS
2010
13 years 7 months ago
2010
In this contribution we will provide the reader with outcomes of the development of a novel software framework for an unique wafer-scale neuromordware system. The hardware system i...
JUCS
2010
13 years 7 months ago
2010
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
CACM
2010
13 years 6 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...