E-LIB Suche - Ergebnisse für: Mullen, Eric J.

1

Lake trout reflex impairment and physiological status follo..:

Howell, Bradley E. ; Navarroli, Giulio ; Mullen, Eric J...
Canadian Journal of Fisheries and Aquatic Sciences. , 2023

2

Carbon-Aware Computing for Datacenters:

Radovanović, Ana ; Koningstein, Ross ; Schneider, Ian...
IEEE Transactions on Power Systems. 38 (2023) 2 - p. 1270-1280 , 2023

Link: https://doi.org/10.1109/..

3

Angler Experience and Seasonal Effects on the Response of t..:

Mullen, Eric J. ; Schoen, Alexandra N. ; Hauger, McKenzie D...
Transactions of the American Fisheries Society. 149 (2020) 6 - p. 709-720 , 2020

Link: https://doi.org/10.1002/..

4

Continuous Formal Verification of Amazon s2n:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chudnov, Andrey ; Collins, Nathan ; Cook, Byron... - p. 430-446 , 2018

Link: https://doi.org/10.1007/..

5

Œuf: minimizing the Coq extraction TCB:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Mullen, Eric ; Pernsteiner, Stuart ; Wilcox, James R... - p. 172-185 , 2018

Link: https://dl.acm.org/doi/1..

6

Verified peephole optimizations for CompCert:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Mullen, Eric ; Zuniga, Daryl ; Tatlock, Zachary. - p. 448-461 , 2016

Link: https://dl.acm.org/doi/1..

7

Verified peephole optimizations for CompCert:

Mullen, Eric ; Zuniga, Daryl ; Tatlock, Zachary.
ACM SIGPLAN Notices. 51 (2016) 6 - p. 448-461 , 2016

Link: https://doi.org/10.1145/..

8

Muddy hill games:

, In: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education,

Blevins, Jessica ; Kearney, Andy ; Mullen, Eric.. - p. 395 ff. , 2011

Link: https://dl.acm.org/doi/1..

9

Carbon-Aware Computing for Datacenters:

Radovanovic, Ana ; Koningstein, Ross ; Schneider, Ian...
http://arxiv.org/abs/2106.11750. , 2021

Link: http://arxiv.org/abs/210..

10

Angler experience and seasonal effects on the response of l..:

Mullen, Eric
http://hdl.handle.net/1993/34962. , 2020

Link: http://hdl.handle.net/19..

11

Pushing the Limits of Compiler Verification:

Mullen, Eric Alexander
Mullen_washington_0250E_18984.pdf. , 2018

Link: http://hdl.handle.net/17..

12

Geographic Variation and Environmental Predictors of Nontub..:

Mullen, Brendan ; Houpt, Eric R. ; Colston, Josh...
Emerging Infectious Diseases. 30 (2024) 3 - p. , 2024

Link: https://doi.org/10.3201/..

13

Crossflow Instability on a Swept Fin–Cone with Variable Nos..:

Middlebrooks, John Benjamin ; Peck, Madeline McMillan ; Farnan, Emma Lilian...
AIAA Journal. 62 (2024) 6 - p. 2036-2050 , 2024

Link: https://doi.org/10.2514/..

14

Timing and Factors Associated With Revision for Infection A..:

Fricka, Kevin B. ; Yep, Patrick J. ; Donnelly, Patrick C....
The Journal of Arthroplasty. 38 (2023) 6 - p. S308-S313.e2 , 2023

Link: https://doi.org/10.1016/..

15

A Repeat Pattern of Founder Events for SARS-CoV-2 Variants ..:

Haan, Tracie J. ; Smith, Lisa K. ; DeRonde, Stephanie...
Viruses. 15 (2023) 1 - p. 222 , 2023

Link: https://doi.org/10.3390/..