1992 search results - page 112 / 399 » On the (limited) power of non-equivocation |
109
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
122
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Software configuration management (SCM) products have evolved over the years and have become large and powerful, but they are not flexible enough to allow the user to pick the kind...
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
We propose a novel approach to bus energy minimization that targets crosstalk effects. Unlike previous approaches, we try to reduce energy through capacitance optimization, by ad ...
105
click to vote
CSL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
117
click to vote
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
Recently a planetary rover returned important scientific information from Mars. More ambitious missions are planned. New planning methods are required that allow rovers to explore...