4926 search results - page 154 / 986 » Two Graph Algorithms On an Associative Computing Model |
140
Voted
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
133
click to vote
ATVA
2009
Springer
15 years 9 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 ...
136
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
282
click to vote
PVLDB
2011
14 years 12 months ago
2011
With the recent surge of social networks such as Facebook, new forms of recommendations have become possible – recommendations that rely on one’s social connections in order t...
146
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Since Jim Gray introduced the concept of ”data cube” in 1997, data cube, associated with online analytical processing (OLAP), has become a driving engine in data warehouse ind...