915 search results - page 30 / 183 » Maximally Abstract Retrenchments |
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
AI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We analyze the capacity of a multiple-input singleoutput system over Rayleigh fading channels. The channels are assumed to be independent and non-identically distribute...
ML
2006
ACM
14 years 1 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
ESA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We provide new tools, such as k-troikas and good subtreerepresentations, that allow us to give fast and simple algorithms computing branchwidth. We show that a graph G ha...