1226 search results - page 173 / 246 » Proofs, Programs and Abstract Complexity |
112
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
121
click to vote
DATESO
2006
15 years 4 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
129
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
114
click to vote
TCSB
2008
15 years 3 months ago
2008
Abstract. Software systems nowadays are becoming increasingly complex and vulnerable to all sorts of failures and attacks. There is a rising need for robust self-repairing systems ...
131
click to vote
COMPUTER
1998
15 years 2 months ago
1998
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...