Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Hardin, David S."'
Autor:
Hardin, David S.
Publikováno v:
EPTCS 393, 2023, pp. 161-174
Dancing Links connotes an optimization to a circular doubly-linked list data structure implementation which provides for fast list element removal and restoration. The Dancing Links optimization is used primarily in fast algorithms to find exact cove
Externí odkaz:
http://arxiv.org/abs/2311.08862
Autor:
Hardin, David S.
Publikováno v:
EPTCS 192, 2015, pp. 79-92
This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Li
Externí odkaz:
http://arxiv.org/abs/1509.06083
Publikováno v:
EPTCS 152, 2014, pp. 163-177
In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual
Externí odkaz:
http://arxiv.org/abs/1406.1566
Autor:
Hardin, David S., Hardin, Samuel S.
Publikováno v:
EPTCS 114, 2013, pp. 127-142
As Graphics Processing Units (GPUs) have gained in capability and GPU development environments have matured, developers are increasingly turning to the GPU to off-load the main host CPU of numerically-intensive, parallelizable computations. Modern GP
Externí odkaz:
http://arxiv.org/abs/1304.7863
Autor:
HARDIN, DAVID s.
Publikováno v:
Southeastern Geographer, 2008 May 01. 48(1), 125-127.
Externí odkaz:
https://www.jstor.org/stable/26225510
Autor:
Hardin, David S.
Publikováno v:
2013 46th Hawaii International Conference on System Sciences; 2013, p5059-5067, 9p
Publikováno v:
SIGAda: Annual International Conference on Ada; Jan2012, p53-62, 10p
Publikováno v:
Design & Verification of Microprocessor Systems for High-Assurance Applications; 2010, p175-191, 17p