7961 search results - page 1205 / 1593 » Input-Output Model Programs |
168
click to vote
PPOPP
2005
ACM
16 years 1 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
202
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
216
click to vote
SC
2005
ACM
16 years 1 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
210
click to vote
CALCO
2005
Springer
16 years 1 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
177
Voted
CP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...