• Documents
  • Authors
  • Tables

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,911
Next 10 →

Table 9: Sim1

in Formal Verification of Condition Data Flow for Assurance of Correct Network Diagrams Protocols ∗
by unknown authors

Table 1: Sim

in Proceedings of the 2000 Winter Simulation Conference
by Joines Barton Kang, J. A. Joines, R. R. Barton, K. Kang, P. A. Fishwick
"... In PAGE 9: ...lowest cos since by i be on av Therefore, best solut Based on solution f are (3212) an the other d Table Reso (4212)* 5 (4212) * (5212) * (5212) * (5212) * *Where: mixers conve Base Table1 , th the simulatio supports y time, simula- manage- ted as a ate some ese tools for deci- he Time- ng rces for a chart is vailable nt s can be kers and t solution. It is different for the other distances ncreasing a cost slightly, the productivity grows to erage 1.... ..."

Table 14: SIM specific behaviour

in unknown title
by unknown authors
"... In PAGE 23: ... Table 13: USIM Output Commands Operational command READ BINARY READ RECORD GET RESPONSE 8.3 SIM specific behaviour for Response Packets (Using SMS-PP) Table14 summarises the behaviour of the SIM apos;s RE/RA with regard to PoR. Table 14: SIM specific behaviour ... ..."

TABLES 44 DisSim CanSim Allit Rhym

in Re-Examining the Phonological Similarity Effect in Immediate Serial Recall: The Roles of Type of Similarity, Category Cueing, and Item Recall Address correspondence to:
by Prahlad Gupta, Prahlad Gupta, John Lipinski, Emrah Aktunc

Table 3 Variables used for numerical thermal simulations Name Comment SIM-1 SIM-2 SIM-3

in VDMOSFETs q
by N. Nenadović A, V. Cuoco B, L. K. Nanver A 2004
"... In PAGE 7: ... Three sets of simulations are performed. The details on the simulation conditions are listed in Table3 . Typ- ical values of the thermal conductivities k for the mate- rials used in the simulations are given in Table 4.... ..."

Table 3: Summary of PraidSim parameters.

in Preemptive RAID Scheduling
by Zoran Dimitrijevi Zoran
"... In PAGE 7: ...Table 3: Summary of PraidSim parameters. Table3 summarizes the configurable parameters in PraidSim. Internal RAID configuration is chosen by specifying the RAID level, number of disks in the array, number of mirror replicas, stripe size, and the name of the simulated disk for Disksim.... ..."

Table 3. 3-SIM Truth Tables

in WSIM: A Symbolic Waveform Simulator
by Piero Franco And, Piero Franco, Edward J. Mccluskey
"... In PAGE 17: ...1 3-SIM 3-SIM uses the values: 0 for a constant zero; 1 for a constant one; and X for possible transitions. Any inputs that are not constant are assigned the value X, and then the gates are traversed in forward levelized order using the truth tables in Table3 . The function performed by 3-SIM is called hazard simulation and was described in [Eichelberger 65], where the value 1/2 was used instead of X.... ..."

Table 2: Performance of ATOM and SyntSim.

in Automatic Synthesis of High-Speed Processor Simulators
by unknown authors
"... In PAGE 8: ... We chose these experiments because counting instructions and warming up caches and branch- predictor tables is useful when fast-forwarding before switching to a cycle-accurate simulation mode. Table2 shows the average slowdown relative to native execution when running the three experiments on ATOM and SyntSim using the reference inputs (lower numbers are better). Table 2: Performance of ATOM and SyntSim.... ..."

Table 2 A possible definition for the function sim

in IME
by Andrea F. Abate, Genny Tortora, Maurizio Tucci
"... In PAGE 7: ... Then, we assume that a value of similarity sim(g1,g2) [ [0,1] is defined between each pair (g1, g2) of spatial relations (these values can be appropriately tuned for specific appli- cations). In our examples, the sim function is defined as in Table2 [9]. The similarity degree between a query Q and a virtual image imvi, denoted by Sim_deg(Q, imvi), is computed according to a formula that considers how many objects of Q are contained in imvi and how similar spatial relations are found in imvi with respect to those of Q, and returns a value in the range [0,1].... ..."

Table 1: Configuration parameters of CT-Sim

in CT-Bus: A Heterogeneous CDMA/TDMA Bus for Future SOC
by Bo-cheng Charles, Lai Patrick, Schaumont Ingrid Verbauwhede
"... In PAGE 3: ... The mapping configuration and the priority of each traffic flow onto the CT-Bus are specified in the mapping configuration section. Table1 lists the parameters that can be configured in each configuration section. Table 1: Configuration parameters of CT-Sim ... ..."
Next 10 →
Results 1 - 10 of 1,911
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University