Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ridge, Tom
53  Ergebnisse:
Personensuche X
?
1

The Case for a Pandemic Moonshot:

Ridge, Tom ; George, Asha M.
The New Atlantis.  , 2022
Link: https://www.jstor.org/st..
 
?
2

Contributors:

, In: Innovations and Emerging Technologies in Wound Care,
Badel, Pierre ; Beeckman, Dimitri ; Berke, Christine Thies... - p. xiii-xv , 2020
Link: https://doi.org/10.1016/..
 
?
3

Method for improving skin color accuracy of three-dimension..:

, In: Innovations and Emerging Technologies in Wound Care,
Krieger, Louis W.M.M. ; Ridge, Tom ; Demers, Alex.. - p. 245-279 , 2020
Link: https://doi.org/10.1016/..
 
?
4

Engineering with Logic: Rigorous Test-Oracle Specification ..:

Bishop, Steve ; Fairbairn, Matthew ; Mehnert, Hannes...
Journal of the ACM.  66 (2018)  1 - p. 1-77 , 2018
Link: https://doi.org/10.1145/..
 
?
5

Engineering with Logic : Rigorous Test-Oracle Specificat..:

Bishop, Steve ; Fairbairn, Matthew ; Mehnert, Hannes...
Journal of the ACM (JACM).  66 (2018)  1 - p. 1-77 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

SibylFS : formal specification and oracle-based testing ..:

, In: Proceedings of the 25th Symposium on Operating Systems Principles,
Ridge, Tom ; Sheets, David ; Tuerk, Thomas... - p. 38-53 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Lem: reusable engineering of real-world semantics:

Mulligan, Dominic P. ; Owens, Scott ; Gray, Kathryn E...
ACM SIGPLAN Notices.  49 (2014)  9 - p. 175-188 , 2014
Link: https://doi.org/10.1145/..
 
?
8

Lem : reusable engineering of real-world semantics:

, In: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming,
Mulligan, Dominic P. ; Owens, Scott ; Gray, Kathryn E... - p. 175-188 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

The semantics of x86-CC multiprocessor machine code:

Sarkar, Susmit ; Sewell, Peter ; Nardelli, Francesco Zappa...
ACM SIGPLAN Notices.  44 (2009)  1 - p. 379-391 , 2009
Link: https://doi.org/10.1145/..
 
?
10

The semantics of x86-CC multiprocessor machine code:

, In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Sarkar, Susmit ; Sewell, Peter ; Nardelli, Francesco Zappa... - p. 379-391 , 2009
Link: https://dl.acm.org/doi/1..
 
?
11

TEN GOVERNORS BACK PUSH TO OPEN ACT, BILIRAKIS PLANS HEARIN..:

Allen, George ; Engler, John ; Symington, Fife...
Inside EPA's Clean Air Report.  7 (1996)  5 - p. 7-8 , 1996
Link: https://www.jstor.org/st..
 
?
12

GOV. RIDGE FACING CRITICISM FOR MODIFIED ENHANCED I/M PROPO..:

Ridge, Tom
Inside EPA's Clean Air Report.  6 (1995)  22 - p. 8-9 , 1995
Link: https://www.jstor.org/st..
 
?
13

Direct Interpretation of Functional Programs for Debugging:

Whitington, John ; Ridge, Tom
http://arxiv.org/abs/1905.06545.  , 2019
Link: http://arxiv.org/abs/190..
 
?
14

Visualizing the Evaluation of Functional Programs for Debug..:

Whitington, John ; Ridge, Tom
doi:10.4230/OASIcs.SLATE.2017.7.  , 2017
Link: https://doi.org/10.4230/..
 
?
15

Never Any Doubt: A Resilient America:

Ridge, Tom
Homeland Security Affairs (September 2011), v.7 no.2.  , 2011
Link: https://hdl.handle.net/1..
 
1-15