Sciweavers

7835 search results - page 344 / 1567
» Software are Processes Too
Sort
View
ANNS
2010
15 years 4 months ago
A Software Framework for Mapping Neural Networks to a Wafer-scale Neuromorphic Hardware System
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...
Matthias Ehrlich, Karsten Wendt, Lukas Zühl, ...
JCDL
2010
ACM
238views Education» more  JCDL 2010»
15 years 12 months ago
BinarizationShop: a user-assisted software suite for converting old documents to black-and-white
Converting a scanned document to a binary format (black and white) is a key step in the digitization process. While many existing binarization algorithms operate robustly for well...
Fanbo Deng, Zheng Wu, Zheng Lu, Michael S. Brown
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 10 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 10 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch