1
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2012
Tabl Cynhwysion: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2013
Tabl Cynhwysion: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Cael y testun llawn
Electronig eLyfr
6
Tabl Cynhwysion: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2014
Tabl Cynhwysion: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion: ... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2014
Tabl Cynhwysion: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Cael y testun llawn
Electronig eLyfr
17
Tabl Cynhwysion: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2010
Tabl Cynhwysion: ...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...
Cael y testun llawn
Electronig eLyfr
19
Tabl Cynhwysion: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Cael y testun llawn
Electronig eLyfr
20
Tabl Cynhwysion: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Cael y testun llawn
Electronig eLyfr