Douglas - PDFSEARCH.IO - Document Search Engine

Douglas
Results: 14716

#	Item
11	Guarded Transitions in Evolving Specications Dusko Pavlovic? and Douglas R. Smith?? Kestrel Institute, Palo Alto, CaliforniaUSA We represent state machines in the category of specications, where assignment state Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:51:33 Category theory Abstract algebra Algebra Mathematics Morphism Category Group action Natural transformation Limit Subcategory Functor Universal property
12	Comprehension by Derivation Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:40:20 Computing Software engineering Formal methods Refinement Specification language Specification Exception handling Programming language Software design Domain-specific language
13	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
14	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:40:49 Scheduling Operations research Business Economy Production planning Combinatorial optimization Planning Mathematics Schedule Branch and bound Mathematical optimization Linear programming
15	to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R. Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:41:38 Software development Aspect-oriented software development Aspect-oriented programming AspectJ Invariant Cross-cutting concern Pointcut
16	Theory and Te hniques for Synthesizing E ient Breadth-First Sear h AlgorithmsSrinivas Nedunuri , Douglas R. Smith , William R. Cook Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:44:28
17	Planware II: Synthesis of Schedulers for Complex Resource Systems Marcel Becker Limei Gilham Douglas R. Smith Kestrel Technology Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:44:21 Scheduling Information technology management Business Economy Production planning Computing Schedule Job scheduler Local consistency Business process management Constraint programming Windows Task Scheduler
18	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:23:28 Knowledge representation Memory management Tree Mutator Garbage collection Computing Automatic memory management Information science Software engineering
19	Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:43 Graph theory Mathematics Discrete mathematics Directed graph Graph Centrality Topological graph theory Degree Sequence Sequential pattern mining Directed acyclic graph Pathwidth
20	PDF Document Add to Reading List Source URL: www.co.douglas.or.us - Date: 2017-07-27 12:24:35