Computer Laboratory - PDFSEARCH.IO - Document Search Engine

Computer Laboratory
Results: 4525

#	Item
1	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Central processing unit Computer architecture Parallel computing Computing Computer engineering Vector processor Data parallelism Vector Microarchitecture
2	The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation
3	Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Enterprise application integration Computing Oracle SOA Suite Matja Business Process Execution Language Oracle Fusion Middleware Rozman Economy Software architecture
4	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
5	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
6	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
7	Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra Add to Reading List Source URL: cnnlocalization.csail.mit.edu Language: English - Date: 2016-05-16 13:14:18 Computer vision Artificial intelligence Computational neuroscience Artificial neural networks Convolutional neural network Computational statistics Neural networks AlexNet Conference on Computer Vision and Pattern Recognition ImageNet Object detection Receptive field
8	Characterization of TCC on Chip-Multiprocessors Austen McDonald, JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Brian D. Carlstrom Lance Hammond, Christos Kozyrakis, Kunle Olukotun Computer Systems Laboratory Stanford Unive Add to Reading List Source URL: www.austenmcdonald.com Language: English - Date: 2016-01-26 12:43:51 Computing Concurrent computing Cache coherency Computer architecture Transaction processing Cache Parallel computing Concurrency control CPU cache MESI protocol Cache coherence Victim cache
9	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking
10	Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-08-30 07:27:10 Business Economy Queueing theory Management Graph theory Markov chain Service level Service-level agreement Airbag Statistical hypothesis testing Sensitivity analysis PEPA