Rekommenderade teman
Rekommenderade teman
Menade du:
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution data » execution a
data https » java https
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution data » execution a
data https » java https
1
Publicerad 2006
Innehållsförteckning:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2007
Innehållsförteckning:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2007
Innehållsförteckning:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Hämta fulltext
Elektronisk
E-bok
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicerad 2015
Innehållsförteckning:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2005
Innehållsförteckning:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2014
Innehållsförteckning:
“... Execution in Computational Grid -- A Comparative Analysis of Keyword Based and Semantic Based Search Engines...”Hämta fulltext
Elektronisk
E-bok
10
Innehållsförteckning:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2010
Innehållsförteckning:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2006
Innehållsförteckning:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2007
Innehållsförteckning:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2010
Innehållsförteckning:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Hämta fulltext
Elektronisk
E-bok
15
Innehållsförteckning:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2015
Innehållsförteckning:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2014
Innehållsförteckning:
“... Computing Inspired Approach for Executing Scientific Workflow in the Cloud -- P Systems with Anti-Matter...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2008
Innehållsförteckning:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2008
Innehållsförteckning:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2007
Innehållsförteckning:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Hämta fulltext
Elektronisk
E-bok