Pesquisas alternativas:
parallel programming » parallel processing
programming event » programming recent, programming agent, programming agents
function function » function functional, functions functional, function dysfunction
event function » evens functional, agent functions, bent functions
function https » functions https, fiction https
1
Publicado em 2012
Sumário: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2008
Sumário: ... -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2015
Sumário: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2015
Sumário: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2013
Sumário: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2010
Sumário: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2008
Sumário: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2008
Sumário: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2008
Sumário: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2005
Sumário: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2005
Sumário: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Obter o texto integral
Recurso Electrónico livro electrónico