### Table 13: Data for ATUM Traces on 128K Caches [6] Norman P. Jouppi, \Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and Prefetch Bu ers, quot; in Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, Washington, pp. 364{373, IEEE Computer Society and ACM SIGARCH, May 28{31, 1990. Computer Architecture News, 18(2), June 1990. [7] S. Przybylski, M. Horowitz, and J. Hennessy, \Performance Tradeo s in Cache Design, quot; in Proceedings of the 15th Annual International Symposium on Computer Architecture, Honolulu, Hawaii, pp. 290{298, IEEE Computer Society and ACM SIGARCH, May 30{ June 2, 1988. Computer Architecture News, 16(2), May 1988. 36

1993

Cited by 1

### Table 5: Test pattern generation IDDQ statistics (standard cell) VLSI. In Proceedings of International Test Conference, pages 938{947. IEEE, 1990. [SM90] Thomas Storey and Wojciech Maly. CMOS bridging fault detection. In Proceedings of International Test Conference, pages 842{ 851. IEEE, 1990.

1991

"... In PAGE 6: ... Possible solutions are to em- ploy IDDQ testing [Ack83], apply more accurate circuit simulation of faults, detect the bridge as a delay fault, or redesign the cells so that a discrepancy is guaran- teed for at least one input combination for each cell. In Table5 we show the results of our system generating IDDQ test patterns for same set of bridging faults that produced the results in Table 4. We also plan on integrating the testing for breaks on the interconnection lines, and the testing for defects within the cells to Carafe and Nemesis.... ..."

Cited by 41

### Table 2. Switching structure of the optimal trajectory subject to 661:4 C, (tf) = 48:1 deg, max = 64:86 deg; see Figs. 21 and 23.

1996

"... In PAGE 11: ... If there is no extremum, the function ^ H is strictly monotonic yielding either (vi) or (x). Please insert Table2 here. In order to illustrate this lemma, some results are already presented now.... In PAGE 11: ...3. Table2 presents the succession of control laws, called switching structure, of that trajectory. Note that the switching structure can generally not be determined in advance, but must be computed by a homotopy procedure as explained in Section 4.... In PAGE 12: ...lease insert Figs. 1{6 here. The necessary conditions are completed by the natural boundary conditions and the junction conditions at the switching points. It is su cient to give the natural boundary conditions for the combined functional (21) only, (0) = 0 ; (0) = 0 ; (tf) = 0 ; (tf) = ? quot; ; (tf) = quot; ; Hjt=tf = 0 : (36) Since the switching structure frequently changes in the course of the numerical com- putations, the junction conditions at the switching points for the switching structure of Table2 are given as an example, Cmax L = Cheat L jt=t1 ; (37a) Hjt=t? 2 = Hjt=t+ 2 ; (37b) Hjt=t? 3 = Hjt=t+ 3 ; (37c) max = freejt=t4 ; (37d) Cheat L jt=t5 = Cmax L ; (37e) Cmax L = Cheat L jt=t6 ; (37f) Cheat L jt=t7 = Cload L jt=t7 ; (37g) Cload L jt=t8 = Cfree L jt=t8 : (37h) All these conditions follow from the continuity of the Hamiltonian. With these conditions, the necessary conditions form a well-de ned multipoint boundary-value problem for the unknown state and adjoint variables as well as for the unknown terminal time.... ..."

Cited by 5

### Table 4 shows the 10 international conferences in our research area that either belong to the Congresos Notables UPC list and their associated EIC. In addition, the table also shows the number of publications in these conferences generated by researchers in this project. The papers published in international conferences in the 2005-06 period are listed below:

"... In PAGE 10: ...74 ICPP: International Conference on Parallel Processing 3 0.61 PLDI: ACM Conference on Programming Language Design and Implementation 2 Na ICCD: IEEE International Conference of Computer Design 1 Na Table4 : Contributions to the most relevant international conferences in our research area. ... ..."

### Tabletop groupware, Interaction Techniques, Computer Supported Cooperative Work, Coordination, Interference.

### TABLE IV SUMMARY OF FORMAL VERIFICATION FOR THE FORMULAS (21) AND (23) LTL Formula (21) (23)

### Table 9: FIT FOR z=2.014

"... In PAGE 9: ... The small vertical lines above the Si IV 1393 and C IV 1548 transitions denote the velocity centroids of the Gaussian components in the line-pro le solution where we have added 3 components to t the C IV pro les. The VPFIT solution (see Table9 ) yields an excellent reduced 2 = 1:008 with probability P 2 = 0:45. For this system we allowed for the possibility that the Doppler broadening (b values)... ..."

### Table 9: FIT FOR z =2.014

"... In PAGE 9: ... The small vertical lines above the Si IV 1393 and C IV 1548 transitions denote the velocity centroids of the Gaussian components in the line-pro le solution where we have added 3 components to t the C IV pro les. The VPFIT solution (see Table9 ) yields an excellent reduced 2 =1:008 with probability P 2 =0:45. For this system we allowed for the possibility that the Doppler broadening (b values)... ..."

### Tableau Methods. Kluwer Academic Publishers, 1999. 2. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol Conformance for Logic- based Agents. In Proceedings of the 18th International Joint Conference on Arti- cial Intelligence (IJCAI-2003). Morgan Kaufmann, 2003. 3. M. Fitting. First-order Logic and Automated Theorem Proving. Springer-Verlag, 2nd edition, 1996. 4. P. McBurney and S. Parsons. Desiderata for Inter-agent Protocols. In Proceed- ings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), Bologna, Italy, 2002.

2003

Cited by 3