129 search results - page 9 / 26 » Formal performance evaluation of AMBA-based system-on-chip d... |
ICPPW
2002
IEEE
14 years 16 days ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
ISPD
2005
ACM
14 years 1 months ago
2005
ACM
In this paper we introduce the concept of zero-change transformations to quantify the suboptimality of existing placers. Given a netlist and its placement from a placer, we formal...
TCAD
2008
13 years 7 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
CNSM
2010
13 years 5 months ago
2010
1 We address the problem of resource management for a large-scale cloud environment that hosts sites. Our contribution centers around outlining a distributed middleware architectur...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—As wireless power charging technology emerges, some basic principles in sensor network design are changed accordingly. Existing sensor node deployment and data routing strategie...