3307 search results - page 505 / 662 » The meaning of concurrent programs |
165
Voted
PPPJ
2006
ACM
16 years 29 days ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
234
click to vote
PPDP
2005
Springer
16 years 14 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
213
click to vote
ISSTA
2004
ACM
16 years 12 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
202
Voted
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
211
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
Multithreaded parallel system with software Distributed Shared Memory (DSM) is an attractive direction in cluster computing. In these systems, distributing workloads and keeping t...