774 search results - page 32 / 155 » Experiences of low power design implementation and verificat... |
ICNP
2007
IEEE
14 years 3 months ago
2007
IEEE
Security and privacy are two major concerns in supporting roaming users across administrative domains. In current practices, a roaming user often uses encrypted tunnels, e.g., Virt...
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Resource Description Framework (RDF) is a general description technology that can be applied to many application domains. Redland is a software library for RDF which implements a ...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
Energy consumption is a major concern in embedded computing systems. Several studies have shown that cache memories account for about 40% or more of the total energy consumed in t...
FBIT
2007
IEEE
14 years 3 months ago
2007
IEEE
This article reports on a neural prosthesis stimulation system for long-term use in animal electrical stimulation experiments. The presented system consists of an implantable stim...