Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel runtime » parallel runtimes, parallel time, parallel running
runtime program » hunting program, time program, lifetime program
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
program functionals » programs functional, program functionality, problem functionals
parallel runtime » parallel runtimes, parallel time, parallel running
runtime program » hunting program, time program, lifetime program
function https » functions https, fiction https
1
Được phát hành 2007
Mục lục:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2008
Mục lục:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2005
Mục lục:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2005
Mục lục:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2006
Mục lục:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2010
Mục lục:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2015
Mục lục:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2008
Mục lục:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”lấy văn bản
Điện tử
eBook
10
Được phát hành 2013
Mục lục:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”lấy văn bản
Điện tử
eBook
11
Được phát hành 2010
Mục lục:
“... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2011
Mục lục:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2005
Mục lục:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2010
Mục lục:
“... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2006
Mục lục:
“... for Programming Chip Multiprocessors -- Functional Unit Chaining: A Runtime Adaptive Architecture for Reducing...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2007
Mục lục:
“... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2006
Mục lục:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2007
Mục lục:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2007
Mục lục:
“... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...”lấy văn bản
Điện tử
eBook