12107 search results - page 279 / 2422 » Software That Can Think |
171
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
175
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
169
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
The paper addresses software implementation of large sparse systems of Boolean functions. Fast evaluation of such functions with the smallest memory consumption is often required ...
170
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
141
click to vote
VAMOS
2007
Springer
16 years 22 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...