15416 search results - page 25 / 3084 » Embeddings of Computable Structures |
115
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
File systems make use of part of DRAM as the buffer cache to enhance its performance in traditional systems. In this paper, we consider the use of Non-Volatile RAM (NVRAM) as a w...
108
click to vote
FOCS
2004
IEEE
15 years 4 months ago
2004
IEEE
Concurrent with recent theoretical interest in the problem of metric embedding, a growing body of research in the networking community has studied the distance matrix defined by n...
135
click to vote
OPODIS
2004
15 years 2 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
117
click to vote
VLSID
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
104
Voted
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...