Parallel - PDFSEARCH.IO - Document Search Engine

Parallel
Results: 13463

#	Item
1	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:30 Computer architecture System software Chroot Mount Linux kernel Procfs Vmlinux Booting SILO Chrome OS
2	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Add to Reading List Source URL: kadena.io Language: English - Date: 2018-05-11 18:40:04 Cryptocurrencies Computing Concurrent computing Money Bitcoin SegWit Blockchain Merkle tree Proof-of-stake Lightning Network Peercoin Ethereum
3	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
4	SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-21 11:51:07 Algebra Linear algebra Mathematics Numerical linear algebra Matrices Matrix theory Multiplication Gaussian elimination Matrix multiplication Pivot element Invertible matrix Matrix
5	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
6	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:22 Electronic engineering Electronic design automation Digital electronics Hardware acceleration Hardware description languages High-level synthesis Field-programmable gate array Mentor Graphics Synopsys Xilinx Verilog
7	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:20 Linux-based devices Single-board computers Microcontrollers Computer architecture ARM architecture Classes of computers Computing Banana Pi UDOO
8	5 Parallel BLAS Performance Report Jakub Kurzak Mark Gates Asim YarKhan Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-04-10 10:15:06 Numerical software Numerical analysis Numerical linear algebra Mathematical software Software Basic Linear Algebra Subprograms PBLAS LAPACK Netlib Lis Linear algebra Exascale computing
9	Millisort: An Experiment in Granular Computing Seo Jin Park with Yilong Li, Collin Lee and John Ousterhout Massively Parallel Granular Computing Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:53 Sorting algorithms Order theory Mathematics Computing Bucket sort Radix sort Merge sort Partition Merge algorithm Sorting
10	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory