Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming invited » programming inside, programming finite, programming induced
invited array » nested array
array a » array _
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming invited » programming inside, programming finite, programming induced
invited array » nested array
array a » array _
1
Publicat 2014
Taula de continguts:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...”Obtenir text complet
Electrònic
eBook
4
Publicat 2015
Taula de continguts:
“...Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through...”Obtenir text complet
Electrònic
eBook
5
Publicat 2012
Taula de continguts:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“...Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“...Invited Program -- Keynote: Grand Challenges of Computer Engineering -- Keynote: The Impact...”Obtenir text complet
Electrònic
eBook
14
Publicat 2006
Taula de continguts:
“... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Logic: A Hardware Based Technique for Filtering Access to Branch Logic -- Exploiting Intra-function...”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Obtenir text complet
Electrònic
eBook