1
Udgivet 2005
Indholdsfortegnelse: ... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...
Få fuldtekst
Electronisk eBog
2
Udgivet 2012
Indholdsfortegnelse: ... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Indholdsfortegnelse: ... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... Standard Hardware Description Language -- Parameterised Indexed FOR-Loops in Genetic Programming...
Få fuldtekst
Electronisk eBog
5
Udgivet 2012
Indholdsfortegnelse: ... for Automatic Construction of Ontology -- Statistical Analysis of Arabic Phonemes Used in Arabic Speech...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... in Parallel Programs -- A Combined Technique of Non-uniform Loops -- Session 6: Ad Hoc Networks -- Neighbor...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Få fuldtekst
Electronisk eBog