2302 search results - page 121 / 461 » The Evolution of Concurrent Programs |
140
click to vote
ISCOPE
1997
Springer
15 years 10 months ago
1997
Springer
The original specification for the Message Passing Interface (MPI) included language bindings for C and Fortran 77. C++ programs that used MPI were thus required to use the C bin...
155
click to vote
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
157
click to vote
ICES
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose a new modification of Cartesian Genetic Programming (CGP) that enables to optimize digital circuits more significantly than standard CGP. We argue that co...
139
click to vote
APLAS
2009
ACM
16 years 24 days ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
148
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...