8874 search results - page 393 / 1775 » A New Implementation of Automath |
199
Voted
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— The Intelligent Robotics Group at NASA Ames Research Center has developed a new mobile robot hardware architecture designed for extensibility and reconfigurability. Currently ...
192
click to vote
SC
2005
ACM
16 years 13 days ago
2005
ACM
The paper proposes a novel approach for optimizing performance of all-to-all collective communication by taking advantage of concurrency available in modern networks such as Infin...
192
Voted
EPIA
2005
Springer
16 years 12 days ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
159
click to vote
FPL
2005
Springer
16 years 12 days ago
2005
Springer
Due to their layered approach, Networks-on-Chip (NoC) are a promising communication backbone in the field of heterogeneous dynamically reconfigurable systems. In this paper a fu...
169
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...