Search
Skip to Search Results- 1Geotechnical and Geoenvironmental Engineering Program
- 1Geotechnical and Geoenvironmental Engineering Program/Other Research Publications (Geotechnical & Geoenvironmental Engineering)
- 1Computing Science, Department of
- 1Computing Science, Department of/Technical Reports (Computing Science)
- 1Nursing, Faculty of
- 1Nursing, Faculty of/Chronicity
-
Accelerated Verification of Integrated Circuits Against the Effects of Process, Voltage and Temperature Variations
DownloadSpring 2016
As Moore's Law continues to drive the advancement of new complementary metal-oxide semiconductor (CMOS) technology generations toward feature sizes in the sub 10 nm regime, the role of process, voltage and temperature (PVT) variations have become increasingly important when designing integrated...
-
2013
Gouda, Mohamed, Elmallah, Ehab
We identify 13 problems whose solutions can significantly enhance our ability to design and analyze firewalls and other packet classifiers. These problems include the firewall equivalence problem, the firewall redundancy problem, the firewall verification problem, and the firewall completeness...
-
TMSim Consol Benchmark Data
2023-10-14
Benchmarking dataset against UNSATCON (Carleton University), SoilVision (Bentley) and CONDENS0 (University of Colorado Boulder). GoldSim Player Version 12 is required to view the model file. Note that the unit for Ksat is in m/day.
-
2002
Spiers, J., Olson, K., Mayan, M., Morse, J., Barrett, M.
The rejection of reliability and validity in qualitative inquiry in the 1980s has resulted in an interesting shift for “ensuring rigor” from the investigator’s actions during the course of the research, to the reader or consumer of qualitative inquiry. The emphasis on strategies that are...