1837 search results - page 36 / 368 » Architecture = Abstractions over Software |
FPL
2006
Springer
13 years 11 months ago
2006
Springer
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
SAFECOMP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Software engineers think about an existing software system in terms of high-level models. The high-level models are translated to source code and the concepts represented in these...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...