/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | AutoResumePanel.java | 46 MillisecondsLabel(BoundedRangeModel model) argument 49 setText(getLabelText(model)); 50 model.addChangeListener(this); 52 private String getLabelText(BoundedRangeModel model) argument 54 return(model.getValue()+"ms");
|
H A D | SpreadSheetSelectionViewletRange.java | 48 SpreadSheetModel model; field in class:SpreadSheetSelectionViewletRange.SelectionIterator 58 this.model = (SpreadSheetModel)(ss.getModel()); 65 if (this.model instanceof ViewletDataStore) { 66 dimensions = ((ViewletDataStore)model).getNDimensions(); 83 //Object o = model.getValueAt(rows[r],columns[c]);
|
H A D | SpreadSheet.java | 96 RowHeaderModel model = new RowHeaderModel(); 97 JTable table = new JTable(model); 101 getModel().addTableModelListener(model); 214 // SpreadSheetModel model = (SpreadSheetModel)(getModel()); 229 // for(r = 0; (r < model.getRowCount()) && (o != null); r++) { 230 // for(c = 0; c < model.getColumnCount(); c++) { 274 // row-header model to keep the header in
|
H A D | ScenarioManager.java | 86 public static void initialise(VisClientStateModel model) { argument 87 stateModel = model ;
|
/barrelfish-2018-10-04/include/int_route/ |
H A D | int_model.h | 8 * device_db.pl contains the information what driver wants to use which model. 22 enum int_model model; member in struct:int_startup_argument
|
/barrelfish-2018-10-04/lib/compiler-rt/builtins/ |
H A D | atomic.c | 162 void __atomic_load_c(int size, void *src, void *dest, int model) { argument 164 *((type*)dest) = __c11_atomic_load((_Atomic(type)*)src, model);\ 176 void __atomic_store_c(int size, void *dest, void *src, int model) { argument 178 __c11_atomic_store((_Atomic(type)*)dest, *(type*)dest, model);\ 214 void __atomic_exchange_c(int size, void *ptr, void *val, void *old, int model) { argument 217 model);\ 241 type __atomic_load_##n(type *src, int model) {\ 243 return __c11_atomic_load((_Atomic(type)*)src, model);\ 254 void __atomic_store_##n(type *dest, type val, int model) {\ 256 __c11_atomic_store((_Atomic(type)*)dest, val, model);\ [all...] |
/barrelfish-2018-10-04/lib/int_route/client/ |
H A D | int_model.c | 30 (int)arg->model, 46 (int*)&(out->model),
|
/barrelfish-2018-10-04/usr/eclipseclp/Eplex/ |
H A D | coinplex.cpp | 254 /* Meaning of model status is as normal 278 static int callBack(CbcModel * model, int whereFrom) argument 284 if (!model->status()&&model->secondaryStatus()) 290 model->setNodeComparison(compare); 318 // model is a new copy of lpd->lp->Solver 319 CbcModel* model = new CbcModel(static_cast<OsiSolverInterface &>(*lpd->lp->Solver)); local 323 model->passInMessageHandler(mipMessageHandler); 325 model->messageHandler()->setLogLevel(0,loglevel); // CBC 326 model 733 CbcModel* model = lp->Solver->getModelPtr(); local 743 CbcModel* model = lp->Solver->getModelPtr(); local 753 CbcModel* model = lp->Solver->getModelPtr(); local 762 CbcModel* model = lp->Solver->getModelPtr(); local 770 CbcModel* model = Solver->getModelPtr(); local 787 CbcModel* model = Solver->getModelPtr(); local 1414 CbcModel* model = lpd->lp->mipmodel; local 1759 CbcModel* model = lp->Solver->getModelPtr(); local 1914 CbcModel* model = lpd->lp->Solver->getModelPtr(); local [all...] |
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | x86.c | 58 arg.int_arg.model = INT_MODEL_LEGACY; 98 arg.int_arg.model = INT_MODEL_LEGACY;
|
H A D | start_pci.c | 257 if(driver_arg->int_arg.model == INT_MODEL_LEGACY || 258 driver_arg->int_arg.model == INT_MODEL_NONE) { 269 } else if(driver_arg->int_arg.model == INT_MODEL_MSI){ 273 } else if(driver_arg->int_arg.model == INT_MODEL_MSIX){ 299 KALUGA_DEBUG("No interrupt model specified. No interrupts" 403 driver_arg.int_arg.model = int_model_in;
|
H A D | driver_startup.c | 81 if(arg != NULL && arg->int_arg.model != 0){ 209 if(arg != NULL && arg->int_arg.model != 0){
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 80 Can we write a formal model of the real world problem? 82 How easily can the model be written, read, understood or modified? 86 %In \eclipse{}, we model problems using a high-level logic-based language. 110 \item Keep the initial formal model as part of the final program 113 The process of enhancing the initial formal model involves for example 213 An alternative model is based on the classical decimal addition algorithm with 282 In CLP, the declarative model is at the same time the constraint setup code. 296 Disjunctions in the model should be avoided. Assume that a naive 297 model would contain the following disjunction: 313 value for the variable. The model cod [all...] |
H A D | search.tex | 36 model(Data, Variables), 40 The model part contains the logical {\em model} of our problem. It defines 45 Once the model is set up, we go into the search phase. 410 We model the problem with one variable per queen, assuming that each queen 434 ?- queens(16, Vars), % model 529 With our model, that can only be achieved by {\bf changing the value selection}, 1135 For exercises 1-3, start from the constraint model for the queens problem 1142 standard model for the queens problem (given below) to find ONE
|
/barrelfish-2018-10-04/lib/int_route/msix_ctrl/ |
H A D | client.c | 65 if(arg->model != INT_MODEL_MSIX) {
|
/barrelfish-2018-10-04/lib/cpuid/ |
H A D | cpuid_amd.c | 101 family->model = cpuid_amd_family_model_extract(f); 106 uint16_t model = cpuid_amd_family_extmodel_extract(f); local 107 family->model += (model << 4);
|
H A D | cpuid_intel.c | 67 family->model = cpuid_intel_family_model_extract(f); 71 uint16_t model = cpuid_intel_family_extmodel_extract(f); local 72 family->model += (model << 4);
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 66 Based on the conceptual model it is easy to construct alternative 68 A design model is a runnable program, whose execution in \ECL 144 We distinguish two kinds of model: the {\em conceptual} model, which 145 captures the problem specification, and the {\em design} model, which 166 %mapping from a conceptual model to alternative design models. 283 and to enable the resulting problem model to be solved efficiently. 285 distinguishing the conceptual model, expressed as a ``pure'' logical 286 \ECL program, from the design model, which is constructed from the 287 conceptual model b [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | queens.pl | 25 % so that no-one can take another one. Our model is:
|
/barrelfish-2018-10-04/include/cpuid/ |
H A D | cpuid.h | 116 uint16_t model; ///< processor model member in struct:cpuid_proc_family
|
/barrelfish-2018-10-04/tools/ |
H A D | qemu-wrapper.sh | 41 echo " --nic-model <name> (nic model to use, defaults to $NIC_MODEL)" 46 echo " NIC_MODEL (Same as --nic-model)" 94 "--nic-model")
|
/barrelfish-2018-10-04/doc/026-device-queues/ |
H A D | devif.tex | 92 approach and define pieces that are ambiguous. These interface do not define a memory model 125 When implementing a backend for the \devif interface, the underlying memory model 136 of the buffer. TSO is still a very strict memory model and only allows limited instruction 139 Our aim with \devif is that the backends support the even more relaxed model of ARM 140 \cite{swell:cacm2016,arm:mm} (and IBM Power). In the memory model of ARM the processor can 143 model so it runs on the most common hardware, but can still increase the strictness 144 of the memory model to improve performance. 316 the weaker memory model is assumed (ARM, IBM Power). The dequeued values 399 In this section we model the system as a transfer of ownership of sets of addresses. We model i [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ms/ |
H A D | uplink.pl | 66 .model FLAT
|
/barrelfish-2018-10-04/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 605 which model of slot-consumption is used (refer 978 \section{Security and trust model} 980 This section discusses the trust model assumed by this bulk transport 1034 \section{Privacy model} 1036 This bulk transport is designed to work in relaxed privacy model with 1037 possibility of tightening the privacy model by either using early 1041 \subsection{Relaxed privacy model} 1044 based the relaxed privacy model. The reason for describing this model 1047 \ref{sec:generator-classification-privacy}) are sub-set of this model [all...] |
/barrelfish-2018-10-04/lib/openssl-1.0.0d/ |
H A D | config | 186 case `/sbin/sysctl -n hw.model` in 202 MACH=`sysctl -n hw.model` 222 echo "`(/usr/sbin/sysctl -n hw.model || /sbin/sysctl -n hw.model) | sed 's,.*\(.\)86-class.*,i\186,'`-whatever-netbsd"; exit 0 563 ISA=`awk '/cpu model/{print$4;exit(0);}' /proc/cpuinfo` 636 if grep '^model.*Pentium' /proc/cpuinfo >/dev/null ; then 639 if grep '^model.*Pentium Pro' /proc/cpuinfo >/dev/null ; then 642 if grep '^model.*K6' /proc/cpuinfo >/dev/null ; then
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | debugger.tex | 29 \index{port model} 30 The debugger presents a {\bf port model} to the user.
|