485 search results - page 48 / 97 » Embedded intelligent SRAM |
104
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
100
click to vote
CIMCA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...
141
Voted
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...
114
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, int...
124
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...