1833 search results - page 235 / 367 » Mechanized Verification with Sharing |
196
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
153
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...
152
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
181
click to vote
SSDBM
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. As scientists continue to migrate their work to computational methods, it is important to track not only the steps involved in the computation but also the data consumed ...
189
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...