1
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2010
Tabl Cynhwysion: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2010
Tabl Cynhwysion: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2006
Tabl Cynhwysion: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion: ... in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2011
Tabl Cynhwysion: ... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2006
Tabl Cynhwysion: ... rate: a systematic comparison for microarray data -- A unifying model for biclustering -- Image...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2012
Tabl Cynhwysion: ... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...
Cael y testun llawn
Electronig eLyfr
15
Tabl Cynhwysion: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2012
Tabl Cynhwysion: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2006
Tabl Cynhwysion: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Cael y testun llawn
Electronig eLyfr