I agree that this site is using cookies. You can find further informations here.
X
King, Tim
28  results:
Bookchapter (Online) X
Search for persons X
?
1

Nursing Home Patient Monitoring System for Improved Healthc..:

, In: 2024 IEEE International Conference on Consumer Electronics (ICCE),
Frech, Johnathan ; Jackson, Doug ; Naber, John.. - p. 1-4 , 2024
Link: https://doi.org/10.1109/..
 
?
2

FUDGE: fuzz driver generation at scale:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Babić, Domagoj ; Bucur, Stefan ; Chen, Yaohui... - p. 975-985 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

Practical SMT-based type error localization:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,
Pavlinovic, Zvonimir ; King, Tim ; Wies, Thomas - p. 412-423 , 2015
Link: https://dl.acm.org/doi/1..
 
?
4

Leveraging Linear and Mixed Integer Programming for SMT:

, In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
King, Tim ; Barrett, Clark ; Tinelli, Cesare - p. 139-146 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

Finding minimum type error sources:

, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,
Pavlinovic, Zvonimir ; King, Tim ; Wies, Thomas - p. 525-542 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

A tour of CVC4: How it works, and how to use it:

, In: 2014 Formal Methods in Computer-Aided Design (FMCAD),
Deters, Morgan ; Reynolds, Andrew ; King, Tim.. - p. 7-7 , 2014
Link: https://doi.org/10.1109/..
 
?
7

A Tour of CVC4 : How it works, and how to use it:

, In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,
Deters, Morgan ; Reynolds, Andrew ; King, Tim.. - p. 7 ff. , 2014
Link: https://dl.acm.org/doi/1..
 
?
8

Loss performance evaluation in heterogeneous hierarchical n..:

, In: Proceedings of the International Conference on Mobile Technology, Applications, and Systems,
Huang, Qian ; Ko, King-Tim ; Chan, Sammy. - p. 1-7 , 2008
Link: https://dl.acm.org/doi/1..
 
?
9

Mapping of Open Architectures Applied to Military Systems:

, In: 2023 18th Annual System of Systems Engineering Conference (SoSe),
Radoman, Raquel L.V. ; de C. Henshaw, Michael J. ; King, Melanie R. N.. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Demonstration of a High Repetition Rate Solid-State Switche..:

, In: 2023 IEEE Pulsed Power Conference (PPC),
Cohen, Isaac J ; Walker, Jonathan ; King, Aaron... - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Impedance Characterization of a Spiral Generator with a Fre..:

, In: 2023 IEEE Pulsed Power Conference (PPC),
Harthan, Dan ; Cohen, Isaac J ; Walker, Jonathan... - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
12

Authors and Contributors:

, In: The Composting Handbook,
Aber, John ; Alexander, Ron ; Antler, Susan... - p. xxiii-xxvi , 2022
Link: https://doi.org/10.1016/..
 
?
13

The Implementation of an Academic and Applied Esports Progr..:

, In: Advances in Game-Based Learning; Esports Research and Its Integration in Education,
King, Michele R. ; Conner, Karen G. ; Johnson, Lindy L... - p. 186-209 , 2021
Link: https://doi.org/10.4018/..
 
?
14

A Review of Indie Games for Serious Mental Health Game Desi..:

, In: Serious Games; Lecture Notes in Computer Science,
King, Myfanwy ; Marsh, Tim ; Akcay, Zeynep - p. 138-152 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Using Indie Games to Inform Serious Mental Health Games Des..:

, In: Serious Games; Lecture Notes in Computer Science,
King, Myfanwy ; Marsh, Tim ; Akcay, Zeynep - p. 153-166 , 2021
Link: https://doi.org/10.1007/..
 
1-15