8083 search results - page 359 / 1617 » A Formalization of Software Architecture |
172
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
204
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
169
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
191
Voted
PROFES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
207
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The Sony-Toshiba-IBM Cell Broadband Engine is a heterogeneous multicore architecture that consists of a traditional microprocessor (PPE) with eight SIMD coprocessing units (SPEs) ...