26496 search results - page 329 / 5300 » An Approach to Computing Ethics |
170
click to vote
ACSC
2003
IEEE
16 years 1 days ago
2003
IEEE
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
166
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
abstract Due to the large scale of Grid environment and its rapid expansion, both in Grid resources and Grid network environment, it is getting more imperative to provide a Grid m...
189
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
160
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Classical mesh partitioning algorithms were designed for rather static situations, and their straightforward application in a dynamical framework may lead to unsatisfactory result...
166
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...