3255 search results - page 101 / 651 » Combination of Abstractions in the ASTR |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
SEUS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
DGCI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Watershed segmentation of spectral images is typically achieved by first transforming the high-dimensional input data into a scalar boundary indicator map which is used ...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We propose a closed–loop scheme that combines opportunistic beamforming (OBF) and closed–loop (CL) transmit–diversity (TD) techniques. This quantized OBF scheme is...