2951 search results - page 353 / 591 » Trustable Task Processing Systems |
199
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
182
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
170
click to vote
BIOADIT
2006
Springer
15 years 10 months ago
2006
Springer
We propose a neural network based autoassociative memory system for unsupervised learning. This system is intended to be an example of how a general information processing architec...
169
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
156
click to vote
JAL
2008
15 years 6 months ago
2008
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...