1411 search results - page 231 / 283 » Interactive Coding for Interactive Proofs |
113
click to vote
AMS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
CASES
2009
ACM
15 years 1 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
VRML
2010
ACM
15 years 1 months ago
2010
ACM
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
A large number of network applications today allow several users to interact together using the many-to-many service mode. A many-to-many session consists of group of users (we ref...
HOTOS
2009
IEEE
15 years 1 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...