Sciweavers

11063 search results - page 141 / 2213
» On the existence of universal models
Sort
View
FMSD
2010
123views more  FMSD 2010»
15 years 5 months ago
Analog property checkers: a DDR2 case study
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...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
SIGCSE
2010
ACM
164views Education» more  SIGCSE 2010»
16 years 1 months ago
A breadth-first course in multicore and manycore programming
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....
Suzanne Rivoire
TREC
2004
15 years 7 months ago
UB at TREC 13: Genomics Track
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...
WSC
2004
15 years 7 months ago
A Web-Based Virtual Factory and Simulator for Industrial Statistics
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...
JSYML
2008
112views more  JSYML 2008»
15 years 6 months ago
Internal consistency for embedding complexity
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 ...
Sy-David Friedman, Katherine Thompson