IO - PDFSEARCH.IO - Document Search Engine

IO
Results: 17950

#	Item
371	Université Paris-Sud École Doctorale d’Informatiqe Laboratoire de Recherche en Informatiqe Discipline : Informatiqe Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
372	Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software development Aspect-oriented software development Computing Aspect-oriented programming AspectJ Pointcut Join point Aspect Change impact analysis Compiler
373	Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Logic gates Cryptographic protocols Circuit complexity Theoretical computer science Complexity classes Garbled circuit Theory of computation Secure multi-party computation Multiplexer XOR gate OR gate NC
374	Combined Static and Dynamic Automated Test Generation Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
375	Uncovering Performance Problems in Java Applications with Reference Propagation Profiling 1 Dacong Yan1 Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Computing Compiler optimizations Software engineering Data types Memory management Escape analysis Static program analysis Tree Heap Garbage Static single assignment form Node
376	BytomV1.0 Bytom: An Interoperation Protocol for Diversified Byte Assets Bytom An Interoperation Protocol for Add to Reading List Source URL: bytom.io Language: English - Date: 2018-05-28 04:14:36 Cryptocurrencies Blockchains Economy Money Bitcoin Computing Alternative currencies Decentralization SegWit Ethereum Smart contract Asset
377	SMT-Based Verification of Parameterized Systems ∗ Arie Gurfinkel Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18
378	SYNAPTOGENESIS ON THE SPINNAKER, MAYEffects Of Real-time Synaptic Plasticity Using Spiking Neural Network Architecture Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Neuroscience Computational neuroscience Nervous system Neural networks Artificial neural networks Neuroplasticity Computational statistics Spiking neural network Synaptic weight Spike-timing-dependent plasticity Neural circuit Hebbian theory
379	Nishant Shukla Notes November 2, 2016 Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:07 Mathematical analysis Mathematics Calculus Integral calculus Algebraic geometry Differential topology Jet bundle Leibniz integral rule
380	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity

UPDATE