5904 search results - page 620 / 1181 » Requirements for a Composition Language |
230
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
269
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
Algebraic transformation and optimization techniques have been the method of choice in relational query execution, but applying them in OODBMS is difficult due to the complexity o...
164
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
176
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
302
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...