Searched refs:suspend (Results 51 - 75 of 87) sorted by relevance

1234

/barrelfish-master/usr/eclipseclp/ecrc_solvers/propia/
H A Dcrossword.pl73 suspend(Goal,7,Goal->inst) infers most.
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_probe.pl177 suspend(deviating_bounds_demon(V,Handle,Susp,OwnSusp), Priority,
H A Dprobe.pl175 suspend(deviating_bounds_demon(V,Handle,Susp,OwnSusp), Priority,
H A Deplex_relax.pl118 % Make sure X and Y have IC attributes before we try to suspend on
122 suspend(ic_to_eplex_bounds(X,Pool,S), 7, [X->ic:min,X->ic:max], S),
134 suspend(propagate_hull(X, Y, Chunks, HullInfo, Pool, Susp), 6,
/barrelfish-master/usr/skb/programs/
H A Dbridge_page_orig_naturally_aligned.pl317 suspend(mod(Base, Divisor, 0), 3, Base->inst),
H A Dbridge.pl222 suspend(mod(B1,Size,0),3,B1->inst)
/barrelfish-master/usr/drivers/usb/usb_manager/hub/
H A Dusb_hub.c153 if (ps.wPortStatus.suspend) {
267 assert(!"NYI: don't support suspend / resume at the moment.\n");
580 USB_DEBUG_DEV("NOTICE: suspend/resume device on port %i.\n", i);
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dbranch_and_bound.pl375 suspend(bb_impose_bound(Cost, Handle, Stamp, From),
379 insert_suspension(Cost, Susp, inst of suspend, suspend)
H A Dlists.pl221 suspend(subscript(Mat, Index, X, M), 2, Index->inst)
234 suspend(subscript(Mat,[IExpr|IExprs],X,M), 2, Mat->inst)
H A Dsystools.pl759 % suspend
H A Dtracer.pl412 suspend(monitor_term(I, Term, Module, Susp), 1, Cond, Susp),
H A Dfd.pl338 insert_suspension(NewList, Susp, inst of suspend, suspend)
1518 scheduler and so is the constrained list in the suspend attribute of the
H A Dtracer_tty.pl391 suspend(monitor_term(I, Term, Module, Susp), 1, Term->constrained, Susp),
/barrelfish-master/doc/012-services/
H A DServices.tex327 suspend, wakeup, etc.), thread scheduling and thread local storage.
664 threading services since it must be able to suspend and resume
823 It may also cooperate closely with the locking service to suspend and
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl1030 insert_suspension(Globals, Susp, constrained of suspend, suspend),
1924 insert_suspension(V, Susp, constrained of suspend, suspend),
1934 insert_suspension(V, Susp, constrained of suspend, suspend),
/barrelfish-master/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex1937 [eclipse 2]: suspend(writeln("Wake up!"),1,X->inst),
1945 [eclipse 3]: suspend(writeln("Wake up!"),1,X->inst),
1955 suspend(writeln("Wake up!"),1,X->min),
1984 suspend}. In this case the priority is $1$, which is the highest
2034 :- suspend.
2049 suspend(ndiff(N,X,Y),3,[X,Y] -> any).
2059 suspend} library, so it is not actually necessary to load {\em
2060 suspend} explicitly.}
2114 goals which suspend themselves on these events.
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dhybrid.tex188 % suspend on changes to them
245 % suspend on changes to them
409 % suspend on changes to them
470 % booleans ic bounds in order to suspend on changes to them
H A Dfdintro.tex724 suspend(capacity(Col, Cap), 3, (Col, Cap)->inst)
727 suspend(col_cap_cons(Col, Cap), 3, [Col->inst, Cap->min])
H A Dpropiachr.tex331 propagation it does not suspend any more.
771 CHRs suspend on the variables in the rule head. On waking the CHR
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextpropia.tex513 suspend(Goal,7,Goal->inst) infers most.
H A Drepair.tex403 suspend(my_invariant(In,Out,Susp), 3, [In->ga_chg]),
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dcardinal_util.pl354 (suspend(Goal, Priority, Conditions, Suspension), Goal)).
/barrelfish-master/doc/023-coreboot/
H A Dcoreboot.tex72 functionality to boot, suspend, resume, and power-down the latter. Boot drivers
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsusing.tex568 (suspend) or by calling \bipref{pause/0}{../bips/kernel/opsys/pause-0.html}.
569 This will suspend the {\eclipse} process and return the UNIX prompt.
H A Dumsarith.tex527 comparison to the suspend solver (see section~\ref{suspendsolver}). This

Completed in 223 milliseconds

1234