12373 search results - page 103 / 2475 » Semi-Logarithmic Number Systems |
TPHOL
2006
IEEE
14 years 1 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we propose an approach to count the number of pedestrians, given a trajectory data set provided by a tracking system. The tracking process itself is treated as a bla...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...