Searched refs:statistics (Results 26 - 41 of 41) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dmegalog.pl692 MegaLog : statistics support
714 statistics_heap :- statistics.
H A Dsystools.pl726 % lib(statistics),
H A Dpaddy.pl1323 open_no_side(statistics(_,_)).
1463 open_no_prop(statistics(_,_)).
H A Dkernel.pl2502 statistics(global_stack_peak, G),
2503 statistics(trail_stack_peak, T),
2514 statistics(local_stack_peak, L),
2515 statistics(control_stack_peak, C),
3725 pri_flag_code(code_size, 29). % statistics
H A Devents.pl2054 (Timer == virtual -> T is cputime ; T is statistics(session_time)).
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dprogramanalysis.tex49 \item[Port Profiler] Collects statistics about program execution in terms
H A Dtkdebug.tex567 \item[Statistics] show statistics. Information is updated dynamically.
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsdeveltools.tex68 \item[Mode Analyser] Collects statistics about the invocation modes of
71 \item[Port Profiler] Collects statistics about the running program in terms
H A Dumsintro.tex330 %One is a port-model based analyser which produces statistics
H A Dumscompiler.tex965 are the most expensive ones, and the statistics tool
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex1171 Enables/disable collection of statistics. Default is off.
1174 Reset statistics counters.
1177 Print statistics counters to the standard output stream.
H A Dextfd.tex906 The profiler and the statistics package can be of a great help here,
H A Dobsman.tex1012 The profiler and the statistics package can be of a great help here,
/barrelfish-master/doc/008-tracing/
H A DTracing.tex549 When developing Aquarium, we initially planned to add a statistics module as
/barrelfish-master/usr/eclipseclp/lib_tcl/
H A Declipse_tools.tcl149 "Interval for updating statistics tool (+ float)"} \
607 # tkecl:add_rb $predprop.f2 disabled statistics {off on}
685 skip spy stability tool type demon parallel statistics start_tracing} {
3069 balloonhelp $textf.gc "Garbage collection statistics"
3070 balloonhelp $textf.times "Timing statistics"
3109 balloonhelp $textf "Memory statistics (in bytes) for the $mname memory area"
3160 wm title $ec_stats "ECLiPSe statistics"
3167 balloonhelp $ec_stats.buttons.change "Change the time interval with which the statistics are updated"
3168 balloonhelp $ec_stats.buttons.close "Close this window and quit monitoring statistics"
3191 balloonhelp $w "Change time interval at which the statistics ar
[all...]
/barrelfish-master/usr/eclipseclp/GecodeInterface/
H A Dgfd.cpp5381 Search::Statistics stat = searchp->statistics();

Completed in 280 milliseconds

12