Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
The technique of scaling hardware performance through increasing the number of cores on a chip requires programmers to learn to write parallel code that can exploit this hardware....
This paper describes the experiments of the State University of New York at Buffalo in TREC 13. We participated in the Genomics track and submitted official runs to the Adhoc retri...
Miguel E. Ruiz, Munirathnam Srikanth, Rohini K. Sr...
An educational web-based virtual factory and simulator environment is presented in this paper. It has been developed for university students to apply various statistical quality c...
Xuesong Chi, Matthew P. J. Pepper, Trevor A. Spedd...
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...