-
1
-
2
المؤلفون: Brandon Paulsen, Chao Wang
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::edf1f9ef377c5dcd36489673f16b7aae
https://doi.org/10.1007/978-3-030-99524-9_19 -
3
المؤلفون: Brandon Paulsen, Chao Wang
المصدر: Computer Aided Verification ISBN: 9783031131844
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0929e24214a6b444f6f0beb2be1a27fa
https://doi.org/10.1007/978-3-031-13185-1_8 -
4
المؤلفون: Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang, Sara Mohammadinejad
المصدر: Lecture Notes in Computer Science ISBN: 9783030850364
FORMATSمصطلحات موضوعية: Recurrent neural network, Computer engineering, Artificial neural network, Bounding overwatch, Heuristic, Computer science, Satisfiability modulo theories, Data classification, Memory footprint, Bottleneck
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c843e8aad1e53c7adaf71256651e715a
https://doi.org/10.1007/978-3-030-85037-1_8 -
5
المؤلفون: Jingbo Wang, Brandon Paulsen, Chao Wang, Jiawei Wang
المصدر: ASE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Speedup, Artificial neural network, Computer science, Machine Learning (stat.ML), Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Statistics - Machine Learning, Scalability, Key (cryptography), Differential (infinitesimal), Focus (optics), Equivalence (measure theory), Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2aad9f9021b348138b8ed2cd417059f
http://arxiv.org/abs/2009.09943 -
6
المؤلفون: Jingbo Wang, Chao Wang, Brandon Paulsen
المصدر: ICSE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Speedup, Computer science, Property (programming), Machine Learning (stat.ML), 020207 software engineering, 02 engineering and technology, Energy consumption, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Interval arithmetic, Software Engineering (cs.SE), Computer Science - Software Engineering, Statistics - Machine Learning, 020204 information systems, Compression (functional analysis), 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), Differential (infinitesimal), Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0baa9c85507065057dc2bc1acc3cca5a
https://doi.org/10.1145/3377811.3380337 -
7
المؤلفون: Chungha Sung, Peter A. H. Peterson, Chao Wang, Brandon Paulsen
المصدر: ASE
مصطلحات موضوعية: FOS: Computer and information sciences, Web server, Computer Science - Cryptography and Security, Computer science, business.industry, 020207 software engineering, Data_CODINGANDINFORMATIONTHEORY, 02 engineering and technology, Static analysis, computer.software_genre, Software Engineering (cs.SE), Computer Science - Software Engineering, Taint checking, 0202 electrical engineering, electronic engineering, information engineering, business, Cryptography and Security (cs.CR), computer, Computer hardware
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73d1666bbd73c0f2583b90c6e72e1353
https://doi.org/10.1109/ase.2019.00088 -
8
المؤلفون: Abhinav Palia, Jelena Mirkovic, Brandon Paulsen, Genevieve Bartlett, Rajat Tandon, Jaydeep Ramani
المصدر: ICNP
Applied Cryptography and Network Security ISBN: 9783030783747
ACNS (2)مصطلحات موضوعية: 050101 languages & linguistics, Service (systems architecture), Web server, Forcing (recursion theory), Computer science, 05 social sciences, Botnet, 020206 networking & telecommunications, Denial-of-service attack, 02 engineering and technology, Computer security, computer.software_genre, Flash crowd, Human interaction, Filter (video), 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, 020201 artificial intelligence & image processing, computer, Block (data storage)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e563ffee0d48e81ff81554f97e89b83
https://doi.org/10.1109/icnp.2019.8888105 -
9
المؤلفون: Laura Krebs, Brandon Paulsen, Andrew Brooks
المصدر: ACM SIGSOFT Software Engineering Notes. 41:1-5
مصطلحات موضوعية: Insertion sort, Selection sort, Sorting algorithm, Computer science, Introsort, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, General Medicine, Parallel computing, 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, sort, Bucket sort, Merge sort, Quicksort
-
10
المؤلفون: Brandon Paulsen, Chao Wang, Chungha Sung
المصدر: ASE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Computer science, Programming language, 05 social sciences, 050301 education, Static timing analysis, 020207 software engineering, 02 engineering and technology, computer.software_genre, Symbolic execution, Execution time, Software Engineering (cs.SE), Computer Science - Software Engineering, Transformation (function), 0202 electrical engineering, electronic engineering, information engineering, Cache, Compiler, 0503 education, computer, Cryptography and Security (cs.CR), Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1a9632092269957370f085594a9477f