3145 search results - page 180 / 629 » Algebraic Linear Orderings |
134
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
156
Voted
CONSTRAINTS
2010
15 years 4 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
140
Voted
MP
2008
15 years 4 months ago
2008
Abstract. Two corrector-predictor interior point algorithms are proposed for solving monotone linear complementarity problems. The algorithms produce a sequence of iterates in the ...
162
Voted
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
133
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Multicore architectures featuring specialized accelerators are getting an increasing amount of attention, and this success will probably influence the design of future High Perfor...