Travelled to:1 × Australia
1 × Israel
2 × USA
Collaborated with:∅ D.M.Meyer
Talks about:parallel (3) logic (3) program (2) non (2) multiprocessor (1) determinist (1) implement (1) architect (1) backward (1) environ (1)
Person: John S. Conery
DBLP: Conery:John_S=
Contributed to:
1990198819871987Wrote 4 papers:
- CLP-1990-MeyerC90 #architecture #logic programming #source code
- Architected Failure Handling for AND-Parallel Logic Programs (DMM, JSC), pp. 271–290.
- JICSCP-1988-Conery88 #logic
- Logical Objects (JSC), pp. 420–434.
- ICLP-1987-Conery87 #execution #implementation #nondeterminism
- Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
- SLP-1987-Conery87 #logic programming #memory management #parallel #source code
- Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors (JSC), pp. 457–467.