1411 search results - page 160 / 283 » Interactive Coding for Interactive Proofs |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
103
click to vote
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...
CGO
2009
IEEE
15 years 4 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
ISAAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
SIPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this contribution iteratively detected spatial division multiplexing is investigated under the constraint of a fixed data throughput. Existing bit loading and transmit power a...