10148 search results - page 1822 / 2030 » Optimal sub-graphical models |
170
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
169
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
The Cell Broadband Engine (Cell BE) is a heterogeneous multi-core processor specifically designed to exploit thread-level parallelism. Its memory model comprehends a common shared ...
160
click to vote
ICAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...
185
Voted
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Wireless sensor networks (WSNs) introduce new challenges to topology control due to the prevalence of lossy links. We propose a new topology control formulation for lossy WSNs that...
195
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Wireless Mesh Networks (WMNs) is a promising key technology for next generation wireless backhauling that is expected to support various types of applications with different qualit...