smt-SPRINTS: Software Precomputation with Intelligent Streaming for Resource-Constrained SMTs

Titlesmt-SPRINTS: Software Precomputation with Intelligent Streaming for Resource-Constrained SMTs
Publication TypeConference Paper
Year of Publication2005
AuthorsWang, T., C. D. Antonopoulos, and D. S. Nikolopoulos
Conference NameProceedings of the EuroPar'2007, Lecture Notes in Computer Science Volume 3648
Date PublishedAugust
PublisherSpringer
Conference LocationLisbon, Portugal