Sciweavers

7971 search results - page 75 / 1595
» On unbounded operators and applications
Sort
View
DAC
2002
ACM
16 years 1 months ago
Exploiting operation level parallelism through dynamically reconfigurable datapaths
Increasing non-recurring engineering (NRE) and mask costs are making it harder to turn to hardwired Application Specific Integrated Circuit (ASIC) solutions for high performance a...
Zhining Huang, Sharad Malik
95
Voted
LCTRTS
2010
Springer
15 years 7 months ago
Operation and data mapping for CGRAs with multi-bank memory
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
Yongjoo Kim, Jongeun Lee, Aviral Shrivastava, Yunh...
125
Voted
ICPP
2009
IEEE
15 years 7 months ago
Accelerating Checkpoint Operation by Node-Level Write Aggregation on Multicore Systems
—Clusters and applications continue to grow in size while their mean time between failure (MTBF) is getting smaller. Checkpoint/Restart is becoming increasingly important for lar...
Xiangyong Ouyang, Karthik Gopalakrishnan, Dhabales...
AWCC
2004
Springer
15 years 6 months ago
An Approach to Dynamically Reconfiguring Service-Oriented Applications from a Business Perspective
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
Jianwu Wang, Yanbo Han, Jing Wang 0002, Gang Li
102
Voted
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
15 years 7 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon