Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming logic » programmable logic
logic array » logic arrays, logic carry
computation programming » communication programming, computation programmatic, computing programming
detection computation » detection computational, deduction computation, detection mutation
programming logic » programmable logic
logic array » logic arrays, logic carry
1
Argitaratua 2015
Aurkibidea:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2007
Aurkibidea:
“... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2006
Aurkibidea:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2014
Aurkibidea:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2013
Aurkibidea:
“... Scheme for Maximizing Logical Arrays -- An Efficient Crosstalk-Free Routing Algorithm Based...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2006
Aurkibidea:
“... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2013
Aurkibidea:
“... Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... Reconfigurable Gate Array VLSI -- PISC: Polymorphic Instruction Set Computers -- Networks and Communication...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2012
Aurkibidea:
“... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]