3255 search results - page 101 / 651 » Combination of Abstractions in the ASTR |
100
click to vote
VMCAI
2009
Springer
15 years 8 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...
121
Voted
SEUS
2009
IEEE
15 years 8 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...
139
click to vote
CONCUR
2009
Springer
15 years 8 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...
116
Voted
DGCI
2009
Springer
15 years 8 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 ...
95
Voted
ICC
2008
IEEE
15 years 8 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...