15635 search results - page 185 / 3127 » Modelling and Design of VAML |
169
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
175
click to vote
INFOCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...
201
click to vote
IPPS
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...
155
click to vote
NCA
2008
IEEE
16 years 23 days ago
2008
IEEE
In this work, using a game-theoretic approach, costsensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based mast...
165
click to vote
ICDE
2007
IEEE
16 years 21 days ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...