Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Shriver, David A.
13  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Deeper Notions of Correctness in Image-Based DNNs: Lifting ..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Toledo, Felipe ; Shriver, David ; Elbaum, Sebastian. - p. 2122-2126 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

DNNV: A Framework for Deep Neural Network Verification:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 137-150 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Distribution models for falsification and verification of D..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,
Toledo, Felipe ; Shriver, David ; Elbaum, Sebastian. - p. 317-329 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Artifact : reducing DNN properties to enable falsificati..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 162-163 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Reducing DNN Properties to Enable Falsification with Advers..:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 275-287 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Systematic Generation of Diverse Benchmarks for DNN Verific..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Xu, Dong ; Shriver, David ; Dwyer, Matthew B.. - p. 97-121 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Toward the development of richer properties for recommender..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,
Shriver, David - p. 173-174 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

At the end of synthesis : narrowing program candidates:

, In: Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track,
Shriver, David ; Elbaum, Sebastian ; Stolee, Kathryn T. - p. 19-22 , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

Contributors:

, In: Anesthesia and Analgesia in Laboratory Animals,
Abelson, Klas ; Adami, Chiara ; Adamson, Trinka W.... - p. xvii-xix , 2023
Link: https://doi.org/10.1016/..
 
?
10

Power and CAD considerations for the 1.75mbyte, 1.2ghz L2 c..:

, In: Proceedings of the 12th ACM Great Lakes symposium on VLSI,
Grodstein, Joel ; Rayess, Rachid ; Truex, Tad... - p. 1-6 , 2002
Link: https://dl.acm.org/doi/1..
 
?
11

Microcode compaction : looking backward and looking forw..:

, In: Proceedings of the May 4-7, 1981, national computer conference,
Fisher, Joseph A. ; Landskov, David ; Shriver, Bruce D. - p. 95-102 , 1981
Link: https://dl.acm.org/doi/1..
 
?
12

Simulated execution of dataflow programs on processors havi..:

, In: Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems,
Langan, David D. ; Shriver, Bruce D. - p. 141-149 , 1979
Link: https://dl.acm.org/doi/1..
 
?
13

SIGOPS/SIGMINI(Paper Session):

, In: Proceedings of the 1976 annual conference,
Shriver, B. D. ; Anderson, J. W. ; Waguespack, L. J.... - p. 225 ff. , 1976
Link: https://dl.acm.org/doi/1..
 
1-13