8874 search results - page 398 / 1775 » A New Implementation of Automath |
173
click to vote
UIST
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
159
click to vote
CC
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
186
click to vote
CHES
2003
Springer
16 years 3 days ago
2003
Springer
The recent developments of side channel attacks have lead implementers to use more and more sophisticated countermeasures in critical operations such as modular exponentiation, or ...
148
click to vote
ECSQARU
2003
Springer
16 years 3 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
185
click to vote
IFIP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...