3441 search results - page 25 / 689 » Parallel Logic Programming Systems |
EUROCAST
1994
Springer
14 years 18 days ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
FCCM
2008
IEEE
14 years 3 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
ARC
2009
Springer
14 years 3 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
AC
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...