Sciweavers

5481 search results - page 842 / 1097
» Application Analysis for Parallel Processing
Sort
View
EWSA
2005
Springer
16 years 5 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
WMPI
2004
ACM
16 years 2 days ago
A low cost, multithreaded processing-in-memory system
This paper discusses die cost vs. performance tradeoffs for a PIM system that could serve as the memory system of a host processor. For an increase of less than twice the cost of ...
Jay B. Brockman, Shyamkumar Thoziyoor, Shannon K. ...
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 1 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 12 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
DESRIST
2009
Springer
142views Education» more  DESRIST 2009»
15 years 11 months ago
Design alternatives for the evaluation of design science research artifacts
Within a consideration of cost effectiveness the evaluation of design science research artifacts is of major importance. In the past, a plenitude of approaches has been developed ...
Anne Cleven, Philipp Gubler, Kai M. Hüner