9626 search results - page 474 / 1926 » Invariant Based Programming |
168
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
199
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
164
click to vote
AINA
2006
IEEE
16 years 28 days ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...
162
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...
189
click to vote
PARELEC
2006
IEEE
16 years 26 days ago
2006
IEEE
High performance computing in heterogeneous environments is a dynamically developing area. A number of highly efficient heterogeneous parallel algorithms have been designed over l...