Results 1 - 20 of 471 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
subject:
Optimization
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Sound Gradual Verification with Symbolic ExecutionarXiv.org, 2023-112023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2311.07559Full text available |
| 2 |
Material Type: Article
|
|
Modeling Reachability Types with Logical RelationsarXiv.org, 2023-092023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2309.05885Full text available |
| 3 |
Material Type: Article
|
|
Parallel Dual-Numbers Reverse ADarXiv.org, 2024-052024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2207.03418Full text available |
| 4 |
Material Type: Article
|
|
Pattern-Based Peephole Optimizations with Java JIT TestsarXiv.org, 2024-032024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2403.11283Full text available |
| 5 |
Material Type: Article
|
|
Data optimizations for constraint automataLogical methods in computer science, 2016-01, Vol.12, Issue 3 [Peer Reviewed Journal]ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.2168/LMCS-12(3:11)2016Full text available |
| 6 |
Material Type: Article
|
|
PROMPT: A Fast and Extensible Memory Profiling FrameworkarXiv.org, 2023-112023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2311.03263Full text available |
| 7 |
Material Type: Article
|
|
Revisiting Occurrence TypingarXiv.org, 2022-022022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1907.05590Full text available |
| 8 |
Material Type: Article
|
|
Structured Handling of Scoped Effects: Extended VersionarXiv.org, 2022-012022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2201.10287Full text available |
| 9 |
Material Type: Article
|
|
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic DifferentiationarXiv.org, 2023-042023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2212.09801Full text available |
| 10 |
Material Type: Article
|
|
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional LisparXiv.org, 2023-032023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2303.12254Full text available |
| 11 |
Material Type: Article
|
|
Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code MotionarXiv.org, 2021-052021. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2105.01344Full text available |
| 12 |
Material Type: Article
|
|
Triangulating Python Performance Issues with ScalenearXiv.org, 2022-122022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2212.07597Full text available |
| 13 |
Material Type: Article
|
|
Egglog Python: A Pythonic Library for E-graphsarXiv.org, 2024-042024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2305.04311Full text available |
| 14 |
Material Type: Article
|
|
Compiler generated feedback for Large Language ModelsarXiv.org, 2024-032024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2403.14714Full text available |
| 15 |
Material Type: Article
|
|
COGNAC: Circuit Optimization via Gradients and Noise-Aware CompilationarXiv.org, 2024-032024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2311.02769Full text available |
| 16 |
Material Type: Article
|
|
(Un)Solvable Loop AnalysisarXiv.org, 2024-032024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2306.01597Full text available |
| 17 |
Material Type: Article
|
|
Searching Entangled Program SpacesarXiv.org, 2022-062022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2206.07828Full text available |
| 18 |
Material Type: Article
|
|
SLaDe: A Portable Small Language Model Decompiler for Optimized AssemblyarXiv.org, 2024-022024. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2305.12520Full text available |
| 19 |
Material Type: Article
|
|
Dual-Numbers Reverse AD, EfficientlyarXiv.org, 2022-052022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2205.11368Full text available |
| 20 |
Material Type: Article
|
|
Memory Simulations, Security and Optimization in a Verified CompilerarXiv.org, 2023-122023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2312.08117Full text available |
Results 1 - 20 of 471 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2009 (12)
- 2009 To 2011 (20)
- 2012 To 2014 (44)
- 2015 To 2018 (86)
- After 2018 (310)
-
More options
New Records
Resource Type
- Articles (470)
- Conference Proceedings (1)
-
More options
Subject
- Algorithms (125)
- Compilers (122)
- Computer Science - Learning (94)
- Machine Learning (74)
- Programming Languages (72)
- Computer Science - Distributed, Parallel, And Cluster Computing (63)
- Semantics (59)
- Computer Science - Software Engineering (51)
- Mathematical Analysis (44)
- Computer Science - Performance (41)
- Computer Science - Artificial Intelligence (40)
- Hardware (38)
- Transformations (35)
- Optimization Techniques (35)
- Computer Science - Logic In Computer Science (31)
- Run Time (30)
- Domain Specific Languages (29)
- Data Structures (28)
-
More options
Databases
Journal Title
- Arxiv (211)
- arXiv.org (469)
- Logical Methods In Computer Science (1)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||