0
|
1 \relax
|
|
2 \bibstyle{jplain}
|
|
3 \citation{Cell}
|
|
4 \newlabel{cellarch}{{1.}{1}}
|
|
5 \citation{java-conncurrecy}
|
|
6 \newlabel{amdahl}{{2.\,1}{2}}
|
|
7 \citation{spurs}
|
|
8 \citation{kono08b}
|
|
9 \citation{cbc-sourceforge}
|
|
10 \newlabel{fig000}{{4.}{3}}
|
|
11 \citation{kono01g}
|
|
12 \citation{wolper82}
|
|
13 \citation{synBTTL}
|
|
14 \citation{kono93b}
|
|
15 \citation{holzmann97model}
|
|
16 \citation{havelund98model}
|
|
17 \citation{groce04understanding}
|
|
18 \newlabel{tab:dpp_tableau}{{1}{6}}
|
|
19 \bibdata{ref}
|
|
20 \bibcite{synBTTL}{1}
|
|
21 \bibcite{Cell}{2}
|
|
22 \bibcite{java-conncurrecy}{3}
|
|
23 \bibcite{groce04understanding}{4}
|
|
24 \bibcite{havelund98model}{5}
|
|
25 \bibcite{holzmann97model}{6}
|
|
26 \bibcite{spurs}{7}
|
|
27 \bibcite{kono93b}{8}
|
|
28 \bibcite{wolper82}{9}
|
|
29 \bibcite{cbc-sourceforge}{10}
|
|
30 \bibcite{kono01g}{11}
|
|
31 \bibcite{kono08b}{12}
|
|
32 \newlabel{tab:spin_dpp}{{2}{7}}
|
|
33 \newlabel{tab:jpf_dpp}{{3}{7}}
|