1
Udgivet 2010
Indholdsfortegnelse: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... Procedures -- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function...
Få fuldtekst
Electronisk eBog
3
Udgivet 2015
Indholdsfortegnelse: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... of Executing Star Operators in XPath Query Expressions -- Exploit Sequencing to Accelerate XML Twig Query...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... Grounded Procedure for Managing Data and Sample Size of a Home Medical Device Assessment -- Usability...
Få fuldtekst
Electronisk eBog