18 search results - page 3 / 4 » Towards an Understanding of EASE and Its Properties |
SIAMSC
2008
13 years 10 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
SPAA
2009
ACM
14 years 11 months ago
2009
ACM
This paper takes a step toward developing a theory for understanding aborts in transactional memory systems (TMs). Existing TMs may abort many transactions that could, in fact, co...
NIPS
2001
14 years 6 days ago
2001
In many scientific and engineering applications, detecting and understanding differences between two groups of examples can be reduced to a classical problem of training a classif...
SIAMREV
2010
13 years 5 months ago
2010
Abstract. The main thrust of the paper is the design and the numerical analysis of new capand-trade schemes for the control and the reduction of atmospheric pollution. The tools de...
CONCUR
2004
Springer
14 years 4 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...