1138 search results - page 33 / 228 » Parallel Implementation of Constraint Solving |
156
click to vote
ISPD
1997
ACM
15 years 6 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
106
click to vote
HOTI
2005
IEEE
15 years 8 months ago
2005
IEEE
— A crucial part of any high-performance computing system is its interconnection network. In the OSMOSIS project, Corning and IBM are jointly developing a demonstrator interconne...
100
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
108
click to vote
PPAM
2005
Springer
15 years 7 months ago
2005
Springer
We address a generalization of the classical 1- and 2-processor UET scheduling problem on dedicated machines. In our chromatic model of scheduling machines have non-simultaneous av...
114
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...