1
Udgivet 2010
Indholdsfortegnelse: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Indholdsfortegnelse: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Få fuldtekst
Electronisk eBog
7
Udgivet 2008
Indholdsfortegnelse: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Få fuldtekst
Electronisk eBog
9
Udgivet 2013
Indholdsfortegnelse: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Få fuldtekst
Electronisk eBog
12
Udgivet 2015
Indholdsfortegnelse: ... Opportunities for Participation within and Beyond Community Mental Health Services.-Intervention Program...
Få fuldtekst
Electronisk eBog
13
Udgivet 2007
Indholdsfortegnelse: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
Få fuldtekst
Electronisk eBog
15
Udgivet 2014
Indholdsfortegnelse: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
Få fuldtekst
Electronisk eBog