СТ |
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms |
2003 |
Villaverde K., Pontelli E., Guo H. -F., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
СТ |
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach |
2002 |
Gupta G., Pontelli E. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
СТ |
Semantics-Based Filtering: Logic Programming s Killer App? |
2002 |
Gupta G., Guo H. -F., Karshmer A. I., Pontelli E., Iglesias J. R., Ranjan D., Milligan B., Datta N., El Khatib O., Noamany M., Zhou X. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
СТ |
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures |
2001 |
Villaverde K., Pontelli E., Guo H., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
СТ |
Data Structures for Order-Sensitive Predicates in Parallel Nondeterministic Systems |
2000 |
Ranjan D., Pontelli E., Gupta G. |
|
|
|
Acta Informatica |
29.09.2000 |
СТ |
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs |
2000 |
Gupta G., Akhter S. F. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
СТ |
The Complexity of Late-Binding in Dynamic Object-Oriented Languages |
1998 |
Pontelli E., Ranjan D., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
СТ |
Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism |
1997 |
Pontelli E., Gupta G., Pulvirenti F., Ferro A. |
|
|
|
Logic Programming |
11.03.1998 |
СТ |
Implementation Mechanisms for Dependent And-Parallelism |
1997 |
Pontelli E., Gupta G. |
|
|
|
Logic Programming |
11.03.1998 |
СТ |
Visualization of And/Or-Parallel Execution of Logic Programs |
1997 |
Vaupel R., Pontelli E., Gupta G. |
|
|
|
Logic Programming |
11.03.1998 |
СТ |
On the Complexity of Parallel Implementation of Logic Programs |
1997 |
Pontelli E., Ranjan D., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
СТ |
Determinacy Driven Optimization of And-parallel Prolog Implementation |
1995 |
Pontelli E., Gupta G., Tang D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
СТ |
ACE: And/Or-parallel Copying-based Execution of Logic Program |
1994 |
Gupta G., Hermenegildo M., Pontelli E., Costa V. S. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
СТ |
On the Duality Between Or-parallelism and And-parallelism in Logic Programming |
1995 |
Pontelli E., Gupta G. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
СТ |
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism |
1991 |
Gupta G., Costa V. S., Yang R., Hermenegildo M. V. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
СТ |
Optimizing And-Or Parallel Implementations |
1990 |
Gupta G., Jayaraman B. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
On Criteria for Or-Parallel Execution Models of Logic Programs |
1990 |
Gupta G., Jayaraman B. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
СТ |
Analysis of Or-Parallel Execution Models |
1993 |
Gupta G., Jayaraman B. |
|
|
|
ACM Trans. Programming Languages and Systems |
25.11.1993 |
СТ |
And-Or Parallelism in Full Prolog with Paged Binding Arrays |
1992 |
Gupta G., Costa V. S. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |