7961 search results - page 1205 / 1593 » Input-Output Model Programs |
150
click to vote
PPOPP
2005
ACM
16 years 11 days 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...
180
click to vote
SAC
2005
ACM
16 years 11 days 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...
190
click to vote
SC
2005
ACM
16 years 11 days 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...
198
click to vote
CALCO
2005
Springer
16 years 10 days 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 ...
163
click to vote
CP
2005
Springer
16 years 10 days 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...