3441 search results - page 190 / 689 » Parallel Logic Programming Systems |
116
click to vote
SIGMETRICS
1992
ACM
15 years 7 months ago
1992
ACM
To cope with the increasing difference between processor and main memory speeds, modern computer systems use deep memory hierarchies. In the presence of such hierarchies, the perf...
121
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
134
click to vote
IOR
2007
15 years 3 months ago
2007
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve an important class of planning and scheduling problems. Tasks are allocated to faciliti...
125
click to vote
PADS
1996
ACM
15 years 7 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
116
click to vote
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...