8874 search results - page 284 / 1775 » A New Implementation of Automath |
179
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
For developers debugging their own code, augmenting the code of others, or trying to learn the implementation details of interactive behaviors, understanding how web pages work is...
165
click to vote
PVM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract This paper proposes a new fine-grained data distribution operation MPI Alltoall specific that allows an element-wise distribution of data elements to specific target pro...
178
click to vote
TPHOL
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
175
click to vote
ADAEUROPE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
180
click to vote
SOFSEM
2007
Springer
16 years 24 days ago
2007
Springer
We provide the implementation results of the distributed mutual exclusion algorithm based on Ricart-Agrawala algorithm for mobile ad hoc networks (MANETs) using the ns2 simulator d...