Stephen - PDFSEARCH.IO - Document Search Engine

Stephen
Results: 18079

#	Item
1	Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2 Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2007-10-09 09:14:24 Process calculi Stochastic probe Measuring instruments Scanning probe microscopy
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	Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-08-07 20:34:08 Artificial neural networks Artificial intelligence Computational neuroscience Learning Machine learning Applied mathematics Long short-term memory Deep learning Recurrent neural network Dropout Rnn Highway network
4	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
5	Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-07 15:32:17 Computing Software engineering Theoretical computer science Software testing Formal methods Software design Software bug Software quality
6	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-11-17 20:46:33 Constraint programming Software engineering Computer programming Constraint satisfaction Local consistency Theoretical computer science Constraint Theory of constraints Schaefer's dichotomy theorem Constraint logic programming
7	Pervasive Health Editors: Jesús Favela n CICESE n Stephen Intille n Northeastern University n Population-Scale Pervasive Health Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-11-06 19:32:51 Health Human behavior Humancomputer interaction Wearable computers Wearable devices Big data Data management Technology forecasting Transaction processing Ubiquitous computing Social network Public health
8	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP
9	Synthesis of Propositional Satisfiability Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA, 94304 USA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Logic in computer science Constraint programming Boolean satisfiability problem Electronic design automation DPLL algorithm Conjunctive normal form Boolean
10	Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-05-11 23:26:18 Software engineering Computing Programming language theory Type theory Type systems Lambda calculus Subroutines Data types Gradual typing Racket Go Programming language