2943 search results - page 174 / 589 » Software Implementation of Synchronous Programs |
114
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
121
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
132
click to vote
LCPC
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
114
click to vote
IWPC
1996
IEEE
15 years 7 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
129
click to vote
IFIP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...