4814 search results - page 415 / 963 » Combining abstract interpreters |
186
click to vote
SEUS
2009
IEEE
16 years 1 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...
216
click to vote
CONCUR
2009
Springer
16 years 1 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...
175
click to vote
DGCI
2009
Springer
16 years 1 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 ...
153
click to vote
ICC
2008
IEEE
16 years 1 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...
178
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Cooperative manipulation with multiple, independent agents can be complicated by changing dynamics as the agents come in and out of contact with the object they are man...