6978 search results - page 1021 / 1396 » On Proofs in System P |
188
click to vote
DATE
2010
IEEE
16 years 24 days ago
2010
IEEE
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...
172
click to vote
DATE
2010
IEEE
16 years 24 days ago
2010
IEEE
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...
197
click to vote
DATE
2002
IEEE
16 years 20 days ago
2002
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
208
click to vote
ISORC
2002
IEEE
16 years 18 days ago
2002
IEEE
Two limitations of the current implementations of adaptive QoS behaviors are complexity associated with inserting them into common application contexts and lack of reusability acr...
187
click to vote
CHI
2010
ACM
16 years 16 days ago
2010
ACM
Establishing a grassroots innovation pipeline has come to the fore as strategy for nurturing innovation within large organizations. A key element of such pipelines is the use of a...