A formal specification and a proof of correctness of the widely-used force-directed list scheduling (FDLS) algorithm for resource-constrained scheduling in ...
This paper presents a formal specification and a proof of correctness for the widely-used Force-Directed List Scheduling (FDLS) algorithm for resource-cons.
Resource-Constrained Scheduler for High{Level Synthesis ... We propose a Formal Assertions approach to building a formal high{level synthesis System.
Theorem Proving Guided Development of Formal Assertions ...
www.c-s-a.org.cn › csaen › view_reference
Abstract: This paper presents a formal specification and a proof of correctness for the widely-used Force-Directed List Scheduling (FDLS) algorithm for resource ...
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. Naren Narasimhan; Elena Teica; Ranga ...
This paper presents a formal specification and a proof of correctness for the widely-used Force-Directed List Scheduling (FDLS) algorithm for resource- ...
Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis. N Narasimhan, E Teica, R Radhakrishnan ...
Apr 25, 2024 · Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. Formal Methods Syst.
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. ... Theorem proving guided development of ...
Theorem proving guided development of formal assertions in aresource-constrained scheduler for high-level synthesis. Conference Paper. Nov 1998.