1
Pubblicazione 2007
Sommario: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testo
Elettronico eBook
2
Pubblicazione 2012
Soggetti: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Testo
Elettronico eBook
3
Pubblicazione 2013
Sommario: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testo
Elettronico eBook
4
Pubblicazione 2005
Sommario: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Testo
Elettronico eBook
7
Pubblicazione 2010
Sommario: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Testo
Elettronico eBook
8
Pubblicazione 2010
Sommario: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testo
Elettronico eBook
10
Pubblicazione 2013
Sommario: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Testo
Elettronico eBook
11
Pubblicazione 2014
Sommario: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Testo
Elettronico eBook
12
Pubblicazione 2008
Sommario: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Testo
Elettronico eBook
13
Pubblicazione 2014
Sommario: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Testo
Elettronico eBook
14
Pubblicazione 2013
Sommario: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Testo
Elettronico eBook
15
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
16
Pubblicazione 2006
Sommario: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Testo
Elettronico eBook
18
Pubblicazione 2015
Sommario: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Testo
Elettronico eBook
19
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
20
Pubblicazione 2008
Sommario: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Testo
Elettronico eBook