A Simple, Verified Validator for Software Pipelining

ACM SIGPLAN Notices - United States
doi 10.1145/1707801.1706311
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Global Software Pipelining With Iteration Preselection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

High-Level Software-Pipelining in LLVM

2015English

Three Algorithms for Improving the Effectiveness of Software Pipelining: Comparison and Combination

Ruan Jian Xue Bao/Journal of Software
Software
2005English

Ten Simple Rules for Writing a Comparative Software Review

2016English

A Logic Generator and Validator

Nuclear Science and Engineering
EngineeringNuclear Energy
1985English

Worst Case Analysis of Decomposed Software Pipelining for Cyclic Unitary RCPSP With Precedence Delays

Journal of Scheduling
Management ScienceEngineeringOperations ResearchArtificial IntelligenceSoftware
2011English

Ten Simple Rules for Documenting Scientific Software

PLoS Computational Biology
Molecular NeuroscienceEvolutionEcologyGeneticsBehaviorMolecular BiologySystematicsSimulationCellularComputational TheoryMathematicsModeling
2018English

Development of Simple Software for Irrigation Scheduling of a Crop

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy