2007 |
10 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
TPLP 7(6): 633-695 (2007) |
2006 |
9 | EE | David Pengelley,
Inna Pivkina,
Desh Ranjan,
Karen Villaverde:
A project in algorithms based on a primary historical source about catalan numbers.
SIGCSE 2006: 318-322 |
8 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR abs/cs/0607040: (2006) |
7 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006) |
2005 |
6 | EE | Kavitha Tupelly,
Vladik Kreinovich,
Karen Villaverde:
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm.
Reliable Computing 11(4): 291-312 (2005) |
2004 |
5 | | Karen Villaverde,
Enrico Pontelli:
An Investigation of Scheduling in Distributed Constraint Logic Programming.
ISCA PDCS 2004: 98-103 |
2003 |
4 | EE | Karen Villaverde,
Enrico Pontelli,
Hai-Feng Guo,
Gopal Gupta:
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Euro-Par 2003: 694-703 |
2001 |
3 | EE | Karen Villaverde,
Enrico Pontelli,
Hai-Feng Guo,
Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP 2001: 27-42 |
2 | EE | Karen Villaverde,
Hai-Feng Guo,
Enrico Pontelli,
Gopal Gupta:
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
ICPP 2001: 287-294 |
1998 |
1 | EE | Erzsébet Merényi,
Scott A. Starks,
Karen Villaverde:
Hyper-Spectral Satellite Images: Interval Methods May Be Helpful.
Reliable Computing 4(4): 395-397 (1998) |