University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
491	Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:27 Computing Cluster analysis Data mining Geostatistics Data analysis Computational statistics Hierarchical clustering K-means clustering Computer cluster Consensus clustering Spectral clustering
492	Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t Add to Reading List Source URL: afnom.net Language: English - Date: 2018-10-16 09:54:50 Computing Hacking Human behavior Information and communications technology Telephone tapping Computer programming Hacker Internet security Wargame Security hacker
493	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {haihaoshen, saizhan Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Aspect-oriented software development Software engineering Aspect-oriented programming AspectJ Pointcut FindBugs Join point Spring Framework Cross-cutting concern Software design pattern
494	c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011. 467 doi:S0956796811000153 First published online 29 June 2011 Add to Reading List Source URL: thev.net Language: English - Date: 2012-04-02 13:21:01 Mathematics Algebra Lambda calculus Category Function Monad Arrow Morphism Sheaf Combinatory logic Functor Commutative property
495	AMBER ELLEN BOYDSTUN Associate Professor, Dept. of Political Science Affiliated Faculty, Dept. of Communication Chancellor’s Fellow University of California, Davis Add to Reading List Source URL: www.amber-boydstun.com Language: English - Date: 2018-10-01 20:55:57 Timothy Jurka American Political Science Association The Chronicles of Amber Agenda-setting theory Framing Political communication Culture Political philosophy Human behavior
496	Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-21 09:45:07 Complexity classes Mathematics Theoretical computer science Discrete mathematics EXPTIME P Reachability problem Matrix Controllability Decidability Reachability Word problem
497	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
498	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2017-06-29 11:28:39 Mathematics Geometry Algebra Analytic geometry Linear algebra Algebraic curves Cone Surfaces Conic section Convex cone Line Hybrid system
499	∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Temporal logic Theoretical computer science Mathematics Linear temporal logic Probability Computation tree logic IP Probabilistic CTL PRISM model checker Markov decision process Model checking Markov chain
500	INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section, Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2014-04-11 16:22:00 Computing Computer systems Edsger W. Dijkstra Software architecture Software engineering Scalability Big data Database Information and communications technology Computer engineering

UPDATE