2674 search results - page 381 / 535 » On architecture transparency in operating systems |
158
click to vote
MKM
2007
Springer
16 years 21 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
163
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
158
click to vote
PET
2005
Springer
16 years 1 days ago
2005
Springer
Vehicular Ad hoc NETworks (VANETs) demand a thorough investigation of privacy related issues. On one hand, users of such networks have to be prevented from misuse of their private ...
135
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
172
click to vote
APCSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...