Results 1 - 10 of 286,073

Table 1. Java Virtual Machines tested.

in HBench:Java: An Application-Specific Benchmarking Framework for Java Virtual Machines
by Xiaolan Zhang, Margo Seltzer 2000
"... In PAGE 5: ...1 Experimental Setup We ran our experiments on a variety of Java Virtual Machines. Table1 shows the list of JVMs tested and their configurations. Three non-trivial Java applications (Table 2) were used to evaluate HBench:Java.... In PAGE 5: ... The machine that hosted the proxy server was at least as fast as the machine that hosted the client, to insure that the proxy server was not the bottleneck. Next we ran the HBench:Java microbenchmarks on the JVMs listed in Table1 and obtained their system vectors. The dot products of the system and application vectors gave the estimated running time for each application on each JVM, which was then compared with the actual running time to evaluate the effectiveness of HBench:Java.... ..."
Cited by 11

Table 2: Virtual machine

in Resource Control for Synchronous Cooperative Threads
by Roberto M. Amadio, Silvano Dal Zilio 2004
"... In PAGE 16: ... Instructions. The set of instructions of the virtual machine are described in Table2 . All instructions operate on the frame of the current thread t and the memory Mt | the only instructions that depend on or a ect the store are read and write.... ..."
Cited by 13

Table 2: Virtual machine interfaces

in A Tractable Scheme Implementation
by Richard A. Kelsey, Jonathan A. Rees
"... In PAGE 4: ... It is written in Pre-Scheme, a Scheme subset that is described in section 4. The implementation of the virtual machine is organized ac- cording to the internal interfaces listed in Table2 . The following sections describe the interfaces and their implementations.... ..."

Table 2. Instructions of the virtual machine.

in A distributed implementation of mobile nets as mobile agents
by Nadia Busi, Luca Padovani 2005
"... In PAGE 12: ... Values of the virtual machine include port, thread, and location handles, as well as native data types (not shown for the sake of brevity). Table2 lists the instructions of the virtual machine, as well as their signature specifying how the instruction manipulates the stack. The notation x :: S represents a stack whose topmost value is x and where the stack underneath x is S.... ..."
Cited by 1

Table 1. Default values for JML clauses in lightweight and heavyweight specifications.

in Checking JML specifications using an extensible software model checking framework
by Edwin Rodríguez, Matthew B. Dwyer 2006
"... In PAGE 5: ... As com- plete behavioral specifications, heavyweight JML specifica- tions always have a well-defined default value for any omitted clause. Table1 defines the default values for missing clauses in both heavyweight and lightweight JML specifications; the special JML tag nnot specified means that the clause is free to take on any legal value. JML is a large and complex specification language.... ..."
Cited by 3

Table 2: Shown is the part of the ICL virtual machine that corresponds to the optional hardware feature set.

in unknown title
by unknown authors 1997
"... In PAGE 4: ... Ex- tending ICL to support more hardware features simply requires adding the appropriate C++ methods. See Table2 for a summary of the language constructs that... ..."
Cited by 4

Table 2: Shown is the part of the ICL virtual machine that corresponds to the optional hardware feature set.

in unknown title
by unknown authors
"... In PAGE 4: ... Ex- tending ICL to support more hardware features simply requires adding the appropriate C++ methods. See Table2 for a summary of the language constructs that... ..."

Table 2 Java virtual machine issues in a transactional memory system.

in Abstract Executing Java Programs with Transactional Memory
by Brian D. Carlstrom, Jaewoong Chung, Hassan Chafi, Austen Mcdonald, Chi Cao Minh, Lance Hammond, Christos Kozyrakis, Kunle Olukotun
"... In PAGE 15: ...2 to execute Java programs with transactional memory. Table2 pro- vides a summary of issues found in the Java virtual machine implementation discussed in Section 3.3.... ..."

Table 2: Characteristics of hosts

in Dedication
by Jongwook Woo 2001
"... In PAGE 8: ...vii Table 1. Characteristics of Benchmark 88 Table2 . Characteristics of hosts 92 Table 3.... In PAGE 104: ...2, three hosts at USC are selected: Ceng, Asadal, and Kottos. Table2 presents properties of the hosts in host type, architecture, operating system, and Java virtual machine. The application codes are compiled by IBM JDK-1.... ..."

Table 3. Lightweight REAIMS Top Ten assessment results in the three companies at three points of time

in Experiences from Lightweight RE Method Evaluations
by Uolevi Nikula 2003
"... In PAGE 5: ... The assessments were conducted in three companies (A, B, and C) at three points of time: in the beginning (P0), in the middle (P1), and in the end of (P2) the evalua- tion phase ( Table3 ). The symbols in the table mean the following (cf.... ..."
Cited by 1
Results 1 - 10 of 286,073