1
Veröffentlicht 2014
Inhaltsangabe: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2007
Inhaltsangabe: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
Volltext
Elektronisch E-Book