1
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2007
Tabl Cynhwysion: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2008
Tabl Cynhwysion: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2006
Tabl Cynhwysion: ... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2005
Tabl Cynhwysion: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Cael y testun llawn
Electronig eLyfr
14
Tabl Cynhwysion: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Cael y testun llawn
Electronig eLyfr
15
gan Comninos, Peter., Comninos, Peter.
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2013
Tabl Cynhwysion: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Cael y testun llawn
Electronig eLyfr
18
gan Pace, Larry., Pace, Larry., Wiley, Joshua.
Cyhoeddwyd 2015
Pynciau: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Cael y testun llawn
Electronig eLyfr
19
gan Bjørner, Dines., Bjørner, Dines.
Cyhoeddwyd 2006
Tabl Cynhwysion: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2010
Tabl Cynhwysion: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Cael y testun llawn
Electronig eLyfr