3307 search results - page 515 / 662 » The meaning of concurrent programs |
168
Voted
RAID
2005
Springer
16 years 13 days ago
2005
Springer
We introduce a notion, behavioral distance, for evaluating the extent to which processes—potentially running different programs and executing on different platforms—behave si...
179
click to vote
SAS
2005
Springer
16 years 13 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
155
Voted
SAS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
148
click to vote
UM
2005
Springer
16 years 13 days ago
2005
Springer
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
222
click to vote
UML
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...