1547 search results - page 123 / 310 » Randomized Variable Elimination |
180
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
139
Voted
CSFW
1998
IEEE
15 years 7 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
128
Voted
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
Spot noise is a technique for texture synthesis, which is very useful for vector field visualization. This paper describes improvements and extensions of the basic principle of s...
148
Voted
WCRE
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes how a program called dup can be used to locate instances of duplication or nearduplication in a software system. D u p reports both textually identical sectio...
116
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we describe load scheduling, a novel method that balances load among register files by residual resources. Load scheduling can reduce register pressure for clustered...