在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
concurrent programming » constraint programming, concurrent programs
array profiling » array processing, microarray profiling
information a » information age
a concurrent » _ concurrent
array using » arrays using
concurrent programming » constraint programming, concurrent programs
array profiling » array processing, microarray profiling
information a » information age
a concurrent » _ concurrent
array using » arrays using
1
出版 2005
书本目录:
“... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”获取全文
电子
电子书
2
出版 2005
书本目录:
“... Selection in a Data Warehouse -- Using Schema Transformation Pathways for Incremental View Maintenance...”获取全文
电子
电子书
3
出版 2010
书本目录:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”获取全文
电子
电子书
5
出版 2006
书本目录:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”获取全文
电子
电子书
6
出版 2008
书本目录:
“... of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon...”获取全文
电子
电子书
7
出版 2010
书本目录:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”获取全文
电子
电子书
8
出版 2005
书本目录:
“... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...”获取全文
电子
电子书
9
出版 2010
书本目录:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”获取全文
电子
电子书
10
出版 2005
书本目录:
“... Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P...”获取全文
电子
电子书
11
出版 2007
书本目录:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”获取全文
电子
电子书
12
出版 2008
书本目录:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”获取全文
电子
电子书
13
出版 2015
书本目录:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”获取全文
电子
电子书
14
出版 2013
书本目录:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”获取全文
电子
电子书
15
出版 2013
书本目录:
“... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”获取全文
电子
电子书



