2532 search results - page 430 / 507 » Implementation and applications of the distortion operator |
145
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Abstract— High-level synthesis (HLS) of memory-intensive applications has featured several innovations in terms of enhancements made to the basic memory organization and data lay...
213
click to vote
SIGCOMM
2009
ACM
16 years 28 days ago
2009
ACM
This paper presents BCube, a new network architecture specifically designed for shipping-container based, modular data centers. At the core of the BCube architecture is its serve...
189
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
152
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
193
click to vote
SENSYS
2006
ACM
16 years 11 days ago
2006
ACM
Sensor networks exhibit a unique funneling effect which is a product of the distinctive many-to-one, hop-by-hop traffic pattern found in sensor networks, and results in a signific...