2483 search results - page 198 / 497 » A design framework to model retinas |
160
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
184
click to vote
IJAR
2010
15 years 5 months ago
2010
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
176
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
159
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
AbstractMost of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...
177
click to vote
EL
2008
15 years 6 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...