2057 search results - page 344 / 412 » Quadratic placement using an improved timing model |
160
click to vote
VL
2008
IEEE
16 years 14 days ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
163
click to vote
ASPLOS
2006
ACM
16 years 1 days ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
148
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a performance analysis of marketbased batch schedulers for clusters of workstations. In contrast to previous work, we use user-centric performance metrics as t...
172
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
165
click to vote
CP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...