Computing - PDFSEARCH.IO - Document Search Engine

Computing
Results: 372271

#	Item
51	Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-02 17:25:13 Electrical engineering Network flow problem Clock synchronization Clocks Synchronization Distributed computing Clock skew Time-Triggered Protocol Distributed algorithm Flow network Physics Electromagnetism
52	To appear in ACM TOGVizGen: Accelerating Visual Computing Prototypes in Dynamic Languages Yuting Yang1 1 ours Add to Reading List Source URL: www.connellybarnes.com Language: English Software engineering Computing Computer programming Compiler optimizations Compiler construction Object-oriented programming languages Programming language implementation High-level programming languages Optimizing compiler Compiler Automatic parallelization Array data type
53	Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Order theory Algebra Abstract algebra Lattice theory Lattice Partially ordered set KnasterTarski theorem Complete lattice Binary relation Join and meet Monotonic function
54	Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS† Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Process calculi Mathematics Theoretical computer science Logic -calculus Computability theory Number theory Process calculus Join-calculus Lambda calculus Distribution Substitution
55	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
56	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Add to Reading List Source URL: publications.aston.ac.uk Language: English - Date: 2017-02-05 19:13:20 Mathematical analysis Probability and statistics Probability theory Machine learning Computational neuroscience Computational statistics Artificial neural networks Bayesian statistics Gaussian function Mixture model Mixture distribution Joint probability distribution
57	2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Uniﬁed Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:49 Computing Information and communications technology Data transmission Decentralization Local area networks Computer networking PerfSONAR Network architecture File sharing Computer network Network topology Distributed computing
58	Language-Based Isolation of Untrusted JavaScript Sergio Maffeis Department of Computing Imperial College London London, UK Email: Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-08-10 13:17:44 Software engineering Computing Computer programming Cross-platform software Scripting languages Ajax JavaScript Web programming Scope Closure Prototype JavaScript Framework Eval
59	1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Routing protocols Data transmission Network architecture Internet architecture Internet Standards Internet protocols Routing algorithms Constraint Open Shortest Path First Link-state routing protocol Router
60	HES-SO \| Master of Science in Engineering Cloud Computing — NoSQL and database as a service Academic year Add to Reading List Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com Language: English - Date: 2015-12-14 05:10:03 Data management Computing Data Structured storage Database management systems NoSQL Cloud computing Cloud database Data store Database Bigtable Distributed data store